Andrzej Trybulec
Andrzej Wojciech Trybulec (* 29. Januar 1941; † 11. September 2013) war ein polnischer Mathematiker. Er war der Initiator und Entwickler des Mizar-Systems.Seine hauptsächlichen Interessenfelder waren Computer oriented formalization of mathematics (computergestützte Formalisierung von Mathematik), Computerlinguistik und die Semantik von Programmiersprachen.
designer
influenced
notable student
Wikipage redirect
designer
influenced
notable students
primaryTopic
Andrzej Trybulec
Andrzej Wojciech Trybulec (* 29. Januar 1941; † 11. September 2013) war ein polnischer Mathematiker. Er war der Initiator und Entwickler des Mizar-Systems.Seine hauptsächlichen Interessenfelder waren Computer oriented formalization of mathematics (computergestützte Formalisierung von Mathematik), Computerlinguistik und die Semantik von Programmiersprachen.
has abstract
Andrzej Wojciech Trybulec (* 2 ...... antik von Programmiersprachen.
@de
Andrzej Wojciech Trybulec (né ...... ir développé le système Mizar.
@fr
Andrzej Wojciech Trybulec (ur. ...... go dowodzenia twierdzeń Mizar.
@pl
academic discipline
alma mater
birth date
1941-01-29
death date
2013-09-11
doctoral advisor
known for
nationality
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
987.965.118
Link from a Wikipage to another Wikipage
alma mater
awards
Golden Medal of Merit of the Warsaw Voivodeship, 1978
@en
Golden Order of Merit, 1988
@en
Kapitsa Medal, Russian Academy of Natural Sciences, 1995
@en
Silver Order of Merit, 1978
@en
Śleszyński Prize, Mizar Users Association, 1994
@en
birth date
1941-01-29
birth place
Kraków, Poland
@en
caption
Trybulec ca. 1975
@en
children
Michał J. Trybulec
@en
Wojciech A. Trybulec
@en
death date
2013-09-11
death place
Białystok, Poland
@en
doctoral advisor
footnotes
known for
Computer-oriented formalization of mathematics
@en
name
Andrzej W. Trybulec
@en
nationality
spouse
Zinaida Trybulec
@en
thesis title
On some properties of the movable compacta
@en
thesis year
wikiPageUsesTemplate
subject
hypernym
sameAs
comment
Andrzej Wojciech Trybulec (* 2 ...... antik von Programmiersprachen.
@de
Andrzej Wojciech Trybulec (né ...... ir développé le système Mizar.
@fr
Andrzej Wojciech Trybulec (ur. ...... go dowodzenia twierdzeń Mizar.
@pl
label
Andrzej Trybulec
@de
Andrzej Trybulec
@en
Andrzej Trybulec
@fr
Andrzej Trybulec
@pl
sameAs
wasDerivedFrom
isPrimaryTopicOf
name
Andrzej W. Trybulec
@en