Matches in DBpedia 2015-10 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 birthYear "1941".
- Andrzej_Trybulec deathDate "2013-09-11".
- Andrzej_Trybulec deathPlace Białystok.
- Andrzej_Trybulec deathPlace Poland.
- Andrzej_Trybulec deathYear "2013".
- 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 "2905".
- Andrzej_Trybulec wikiPageOutDegree "34".
- Andrzej_Trybulec wikiPageRevisionID "660192565".
- 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 Information_science.
- Andrzej_Trybulec wikiPageWikiLink Karol_Borsuk.
- Andrzej_Trybulec wikiPageWikiLink Kraków.
- Andrzej_Trybulec wikiPageWikiLink Krystyna_Kuperberg.
- Andrzej_Trybulec wikiPageWikiLink Mathematical.
- Andrzej_Trybulec wikiPageWikiLink Mathematical_linguistics.
- 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 Topological.
- 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 dateOfBirth "1941-01-29".
- Andrzej_Trybulec dateOfDeath "2013-09-11".
- 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 hasPhotoCollection Andrzej_Trybulec.
- Andrzej_Trybulec knownFor Mizar_system.
- Andrzej_Trybulec name "Andrzej W. Trybulec".
- Andrzej_Trybulec name "Trybulec, Andrzej".
- Andrzej_Trybulec nationality Poles.
- Andrzej_Trybulec placeOfBirth "Krakow, Poland".
- Andrzej_Trybulec placeOfDeath "Białystok".
- Andrzej_Trybulec residence Białystok.
- Andrzej_Trybulec shortDescription "Polish mathematician".
- Andrzej_Trybulec wikiPageUsesTemplate Template:Authority_control.
- Andrzej_Trybulec wikiPageUsesTemplate Template:Infobox_scientist.
- Andrzej_Trybulec wikiPageUsesTemplate Template:MathGenealogy.
- Andrzej_Trybulec wikiPageUsesTemplate Template:Persondata.
- Andrzej_Trybulec wikiPageUsesTemplate Template:Poland-mathematician-stub.
- Andrzej_Trybulec wikiPageUsesTemplate Template:Reflist.
- Andrzej_Trybulec workInstitution University_of_Białystok.
- Andrzej_Trybulec description "Polish mathematician".
- Andrzej_Trybulec description "Polish mathematician".
- 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 Article.
- Andrzej_Trybulec type List.
- Andrzej_Trybulec type Person.
- Andrzej_Trybulec type Scientist.
- Andrzej_Trybulec type Article.
- Andrzej_Trybulec type List.
- Andrzej_Trybulec type Mathematician.
- Andrzej_Trybulec type Scientist.
- Andrzej_Trybulec type Person.
- Andrzej_Trybulec type Agent.
- Andrzej_Trybulec type NaturalPerson.