Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Andrzej_Trybulec> ?p ?o }
- Andrzej_Trybulec abstract "Andrzej Wojciech Trybulec, (January 29, 1941 – September 11, 2013) was a Polish mathematician and computer scientist, at the University of Białystok, in Białystok, Poland, noted for development of the Mizar system. He received his Ph.D. in the field of topology from Karol Borsuk in 1974 at the Institute of Mathematics of the Polish Academy of Sciences.His first mathematical papers were in the domain of various topological and metric space topics of Karol Borsuk. Not much later, and in parallel to his topological research, he worked also in the field of mathematical linguistics.Trybulec was the founder and developer of the formalization system Mizar based on the Tarski–Grothendieck set theory axioms and the founder of the Mizar Mathematical Library (MML) the world’s largest repository of formalized and computer-checked mathematics.Trybulec's sister, Krystyna Kuperberg, his brother in law, Włodzimierz Kuperberg, and their son, Greg Kuperberg, are all noted mathematicians.".
- Andrzej_Trybulec almaMater University_of_Warsaw.
- Andrzej_Trybulec birthDate "1941-01-29".
- Andrzej_Trybulec birthPlace Kraków.
- Andrzej_Trybulec birthPlace Poland.
- Andrzej_Trybulec deathDate "2013-09-11".
- Andrzej_Trybulec deathPlace Białystok.
- Andrzej_Trybulec deathPlace Poland.
- Andrzej_Trybulec doctoralAdvisor Karol_Borsuk.
- Andrzej_Trybulec field Information_science.
- Andrzej_Trybulec field Mathematics.
- Andrzej_Trybulec knownFor Mizar_system.
- Andrzej_Trybulec nationality Poles.
- Andrzej_Trybulec residence Białystok.
- Andrzej_Trybulec thumbnail AndrzejTrybulec.jpg?width=300.
- Andrzej_Trybulec wikiPageExternalLink ~trybulec.
- Andrzej_Trybulec wikiPageExternalLink mizar.uwb.edu.pl.
- Andrzej_Trybulec wikiPageID "5235558".
- Andrzej_Trybulec wikiPageLength "2586".
- Andrzej_Trybulec wikiPageOutDegree "34".
- Andrzej_Trybulec wikiPageRevisionID "707742478".
- Andrzej_Trybulec wikiPageWikiLink Białystok.
- Andrzej_Trybulec wikiPageWikiLink Category:1941_births.
- Andrzej_Trybulec wikiPageWikiLink Category:2013_deaths.
- Andrzej_Trybulec wikiPageWikiLink Category:20th-century_Polish_mathematicians.
- Andrzej_Trybulec wikiPageWikiLink Category:21st-century_Polish_mathematicians.
- Andrzej_Trybulec wikiPageWikiLink Category:People_from_Białystok.
- Andrzej_Trybulec wikiPageWikiLink Category:Polish_computer_scientists.
- Andrzej_Trybulec wikiPageWikiLink Computational_linguistics.
- Andrzej_Trybulec wikiPageWikiLink Computer_scientist.
- Andrzej_Trybulec wikiPageWikiLink Greg_Kuperberg.
- Andrzej_Trybulec wikiPageWikiLink Information_science.
- Andrzej_Trybulec wikiPageWikiLink Karol_Borsuk.
- Andrzej_Trybulec wikiPageWikiLink Kraków.
- Andrzej_Trybulec wikiPageWikiLink Krystyna_Kuperberg.
- Andrzej_Trybulec wikiPageWikiLink Mathematics.
- Andrzej_Trybulec wikiPageWikiLink Metric_space.
- Andrzej_Trybulec wikiPageWikiLink Mizar_system.
- Andrzej_Trybulec wikiPageWikiLink Poland.
- Andrzej_Trybulec wikiPageWikiLink Poles.
- Andrzej_Trybulec wikiPageWikiLink Tarski–Grothendieck_set_theory.
- Andrzej_Trybulec wikiPageWikiLink Topology.
- Andrzej_Trybulec wikiPageWikiLink University_of_Białystok.
- Andrzej_Trybulec wikiPageWikiLink University_of_Warsaw.
- Andrzej_Trybulec wikiPageWikiLink Włodzimierz_Kuperberg.
- Andrzej_Trybulec wikiPageWikiLinkText "Andrzej Trybulec".
- Andrzej_Trybulec wikiPageWikiLinkText "Trybulec, Andrzej".
- Andrzej_Trybulec almaMater University_of_Warsaw.
- Andrzej_Trybulec birthDate "1941-01-29".
- Andrzej_Trybulec birthPlace "Kraków, Poland".
- Andrzej_Trybulec caption "Trybulec ca. 1975".
- Andrzej_Trybulec deathDate "2013-09-11".
- Andrzej_Trybulec deathPlace "Białystok, Poland".
- Andrzej_Trybulec doctoralAdvisor Karol_Borsuk.
- Andrzej_Trybulec field "Mathematics and Information Science".
- Andrzej_Trybulec knownFor Mizar_system.
- Andrzej_Trybulec name "Andrzej W. Trybulec".
- Andrzej_Trybulec nationality Poles.
- Andrzej_Trybulec residence Białystok.
- Andrzej_Trybulec wikiPageUsesTemplate Template:Authority_control.
- Andrzej_Trybulec wikiPageUsesTemplate Template:Birth_date.
- Andrzej_Trybulec wikiPageUsesTemplate Template:Death_date_and_age.
- Andrzej_Trybulec wikiPageUsesTemplate Template:Infobox_scientist.
- Andrzej_Trybulec wikiPageUsesTemplate Template:MathGenealogy.
- Andrzej_Trybulec wikiPageUsesTemplate Template:Poland-mathematician-stub.
- Andrzej_Trybulec wikiPageUsesTemplate Template:Reflist.
- Andrzej_Trybulec workInstitution University_of_Białystok.
- Andrzej_Trybulec subject Category:1941_births.
- Andrzej_Trybulec subject Category:2013_deaths.
- Andrzej_Trybulec subject Category:20th-century_Polish_mathematicians.
- Andrzej_Trybulec subject Category:21st-century_Polish_mathematicians.
- Andrzej_Trybulec subject Category:People_from_Białystok.
- Andrzej_Trybulec subject Category:Polish_computer_scientists.
- Andrzej_Trybulec hypernym Mathematician.
- Andrzej_Trybulec type Agent.
- Andrzej_Trybulec type List.
- Andrzej_Trybulec type Person.
- Andrzej_Trybulec type Scientist.
- Andrzej_Trybulec type Surname.
- Andrzej_Trybulec type Person.
- Andrzej_Trybulec type List.
- Andrzej_Trybulec type Mathematician.
- Andrzej_Trybulec type Scientist.
- Andrzej_Trybulec type Surname.
- Andrzej_Trybulec type Agent.
- Andrzej_Trybulec type NaturalPerson.
- Andrzej_Trybulec type Thing.
- Andrzej_Trybulec type Q215627.
- Andrzej_Trybulec type Q5.
- Andrzej_Trybulec type Q901.
- Andrzej_Trybulec type Person.
- Andrzej_Trybulec comment "Andrzej Wojciech Trybulec, (January 29, 1941 – September 11, 2013) was a Polish mathematician and computer scientist, at the University of Białystok, in Białystok, Poland, noted for development of the Mizar system. He received his Ph.D. in the field of topology from Karol Borsuk in 1974 at the Institute of Mathematics of the Polish Academy of Sciences.His first mathematical papers were in the domain of various topological and metric space topics of Karol Borsuk.".
- Andrzej_Trybulec label "Andrzej Trybulec".
- Andrzej_Trybulec sameAs Q4759721.
- Andrzej_Trybulec sameAs Andrzej_Trybulec.
- Andrzej_Trybulec sameAs Andrzej_Trybulec.
- Andrzej_Trybulec sameAs Andrzej_Trybulec.
- Andrzej_Trybulec sameAs m.0d99nd.
- Andrzej_Trybulec sameAs Q4759721.
- Andrzej_Trybulec wasDerivedFrom Andrzej_Trybulec?oldid=707742478.