Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Andrzej_Trybulec> ?p ?o. }
Showing items 1 to 93 of
93
with 100 items per page.
- 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 1975 at the University of Warsaw.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%C3%B3w.
- Andrzej_Trybulec birthPlace Poland.
- Andrzej_Trybulec birthYear "1941".
- Andrzej_Trybulec deathDate "2013-09-11".
- Andrzej_Trybulec deathPlace Bia%C5%82ystok.
- 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%C5%82ystok.
- Andrzej_Trybulec thumbnail AndrzejTrybulec.jpg?width=300.
- Andrzej_Trybulec viafId "85468733".
- Andrzej_Trybulec wikiPageExternalLink ~trybulec.
- Andrzej_Trybulec wikiPageExternalLink mizar.uwb.edu.pl.
- Andrzej_Trybulec wikiPageID "5235558".
- Andrzej_Trybulec wikiPageRevisionID "598498536".
- 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 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:People_from_Białystok.
- Andrzej_Trybulec subject Category:Polish_computer_scientists.
- Andrzej_Trybulec subject Category:Polish_mathematicians.
- Andrzej_Trybulec type CausalAgent100007347.
- Andrzej_Trybulec type ComputerScientist109951070.
- Andrzej_Trybulec type ComputerUser109951274.
- Andrzej_Trybulec type LivingPeople.
- Andrzej_Trybulec type LivingThing100004258.
- Andrzej_Trybulec type Mathematician110301261.
- Andrzej_Trybulec type Object100002684.
- Andrzej_Trybulec type Organism100004475.
- Andrzej_Trybulec type PeopleFromBia%C5%82ystok.
- Andrzej_Trybulec type Person100007846.
- Andrzej_Trybulec type PhysicalEntity100001930.
- Andrzej_Trybulec type PolishComputerScientists.
- Andrzej_Trybulec type PolishMathematicians.
- Andrzej_Trybulec type Scientist110560637.
- Andrzej_Trybulec type Whole100003553.
- Andrzej_Trybulec type YagoLegalActor.
- Andrzej_Trybulec type YagoLegalActorGeo.
- Andrzej_Trybulec type Agent.
- Andrzej_Trybulec type Person.
- Andrzej_Trybulec type Scientist.
- Andrzej_Trybulec type Person.
- Andrzej_Trybulec type Q215627.
- Andrzej_Trybulec type Q5.
- Andrzej_Trybulec type Agent.
- Andrzej_Trybulec type NaturalPerson.
- Andrzej_Trybulec type Thing.
- 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 1975 at the University of Warsaw.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 label "Andrzej Trybulec".
- Andrzej_Trybulec sameAs Andrzej_Trybulec.
- Andrzej_Trybulec sameAs m.0d99nd.
- Andrzej_Trybulec sameAs Q4759721.
- Andrzej_Trybulec sameAs Q4759721.
- Andrzej_Trybulec sameAs Andrzej_Trybulec.
- Andrzej_Trybulec wasDerivedFrom Andrzej_Trybulec?oldid=598498536.
- Andrzej_Trybulec depiction AndrzejTrybulec.jpg.
- Andrzej_Trybulec givenName "Andrzej".
- Andrzej_Trybulec isPrimaryTopicOf Andrzej_Trybulec.
- Andrzej_Trybulec name "Andrzej Trybulec".
- Andrzej_Trybulec name "Andrzej W. Trybulec".
- Andrzej_Trybulec name "Trybulec, Andrzej".
- Andrzej_Trybulec surname "Trybulec".