According to Wikipedia, Andrzej Wojciech Trybulec was a Polish mathematician and computer scientist noted for work on the Mizar system. Early years His parents Jan W. Trybulec and Barbara H. Kurlus both were professional pharmacists who owned a chemists shop in a small town Szczucin near the city of Tarnów in the south-eastern Poland where they dispensed medicines. He went to high school in Ruda Śląska and then, on his own initiative, he transferred to a prestigious high school in Kraków, where he matriculated. He studied mathematics at the University of Warsaw, from 1964 to 1966 he lectured at the Chair of Geometry, in 1966 he graduated to the magister degree. Until 1967 he lectured at the Institute of Mathematics at the University of Warsaw, from 1967 to 1971 he was an assistant professor at the Warsaw University of Technology, since 1971 he worked at the Institute of Library and Information Science of the University of Warsaw. In September and October 1973, Trybulec was a visiting professor to the All-Russian Scientific and Technical Information Institute in Moscow, then the USSR, where he invented the idea of machine-readability of a mathematical text. He earned the doctoral degree in 1974 from the Institute of Mathematics of the Polish Academy of Sciences under Karol Borsuk.
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
Tarski Grothendieck Set Theory (1990) (1065)
Binary Operations Applied to Functions (1990) (372)
Domains and Their Cartesian Products (1990) (350)
Tuples, Projections and Cartesian Products (1990) (270)
Many-sorted Sets (1993) (177)
Function Domains and Frænkel Operator (1990) (134)
Miscellaneous Facts about Functions (1996) (132)
A Borsuk Theorem on Homotopy Types (1991) (127)
A Mathematical Model of CPU (1992) (127)
On the Sets Inhabited by Numbers 1 (2003) (122)
Many Sorted Algebras (1994) (103)
Computer Assisted Reasoning with MIZAR (1985) (100)
Semilattice Operations on Finite Subsets (1990) (67)
