Andrzej Trybulec

Andrzej Trybulec

Andrzej Trybulec, (born January 29, 1941) is a Polish mathematician and computer scientist, noted for development of the Mizar system [http://www.mizar.org/system/] .

His first mathematical papers were in the domain of different topological and metric spaces topics of Karol Borsuk. Not much later, and in parallel to his topological research, he worked also in the field of mathematical linguistics.

Trybulec's sister, Krystyna Kuperberg, his brother in law, Włodzimierz Kuperberg, and their son, Greg Kuperberg, are all three noted mathematicians.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Kuperberg — Krystyna Kuperberg Krystyna Kuperberg, geb. Trybulec (* 17. Juli 1944 in Tarnów) ist eine amerikanische Mathematikerin polnischer Herkunft. Ihre Eltern, Jan W. und Barbara H. Trybulec, waren Apotheker mit einer eigenen Apotheke in Tarnów. Ihr… …   Deutsch Wikipedia

  • Krystyna Kuperberg — Infobox Scientist name = Krystyna M. Kuperberg image width = 200px caption = Prof. Krystyna Kuperberg giving a lecture during Spring Topology Conference 2004 , Birmingham (Alabama) birth date = Birth date and age|1944|7|17 birth place = residence …   Wikipedia

  • Krystyna Kuperberg — K. Kuperberg, 1990 Krystyna Kuperberg, geb. Trybulec (* 17. Juli 1944 in Tarnów) ist eine amerikanische Mathematikerin polnischer Herkunft. Ihre Eltern, Jan W. und Barbara H. Trybulec, waren Apotheker mit einer eigenen Apotheke in Tarnów. Ihr… …   Deutsch Wikipedia

  • Pologne — 52° 08′ 49″ N 19° 22′ 41″ E / 52.1469, 19.3781 …   Wikipédia en Français

  • Karol Borsuk — (né le 8 mai 1905 à Varsovie, mort le 24 janvier 1982 dans cette même ville) est un mathématicien polonais spécialiste de la topologie et de l homotopie. En 1927, puis en 1930, il est lauréat du Master de mathématiques puis soutient un doctorat… …   Wikipédia en Français

  • Antipolonais — Pologne Pour les articles homonymes, voir Poland. Polska …   Wikipédia en Français

  • La Pologne — Pologne Pour les articles homonymes, voir Poland. Polska …   Wikipédia en Français

  • Rzeczpospolita Polska — Pologne Pour les articles homonymes, voir Poland. Polska …   Wikipédia en Français

  • Culture de la Pologne — Cet article présente différents aspects de la culture de la Pologne. Sommaire 1 Musique polonaise 2 Théâtre polonais 3 Folklore polonais 4 Cuisine polonaise …   Wikipédia en Français

  • Mizar system — For the star system, see Mizar (star). The Mizar system consists of a language for writing strictly formalized mathematical definitions and proofs, a computer program which is able to check proofs written in this language, and a library of… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”