Andrzej Trybulec
Encyclopedia
Andrzej Trybulec, is a Polish
mathematician and computer scientist
, at the University of Bialystok, in Białystok, Poland
, noted for development of the Mizar system
.
His first mathematical papers were in the domain of different 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's sister, Krystyna Kuperberg, his brother in law, Włodzimierz Kuperberg, and their son, Greg Kuperberg
, are all noted mathematicians.
Poland
Poland , officially the Republic of Poland , is a country in Central Europe bordered by Germany to the west; the Czech Republic and Slovakia to the south; Ukraine, Belarus and Lithuania to the east; and the Baltic Sea and Kaliningrad Oblast, a Russian exclave, to the north...
mathematician and computer scientist
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
, at the University of Bialystok, in Białystok, Poland
Poland
Poland , officially the Republic of Poland , is a country in Central Europe bordered by Germany to the west; the Czech Republic and Slovakia to the south; Ukraine, Belarus and Lithuania to the east; and the Baltic Sea and Kaliningrad Oblast, a Russian exclave, to the north...
, noted for development of the Mizar system
Mizar system
The Mizar system consists of a language for writing strictly formalized mathematical definitions and proofs, a computer program which is able to check proofs written in this language, and a library of definitions and proved theorems which can be referenced and used in new articles. Mizar has goals...
.
His first mathematical papers were in the domain of different topological
Topology
Topology is a major area of mathematics concerned with properties that are preserved under continuous deformations of objects, such as deformations that involve stretching, but no tearing or gluing...
and metric space
Metric space
In mathematics, a metric space is a set where a notion of distance between elements of the set is defined.The metric space which most closely corresponds to our intuitive understanding of space is the 3-dimensional Euclidean space...
topics of Karol Borsuk
Karol Borsuk
Karol Borsuk was a Polish mathematician.His main interest was topology.Borsuk introduced the theory of absolute retracts and absolute neighborhood retracts , and the cohomotopy groups, later called Borsuk-Spanier cohomotopy groups. He also founded the so called Shape theory...
. Not much later, and in parallel to his topological research, he worked also in the field of mathematical linguistics.
Trybulec's sister, Krystyna Kuperberg, his brother in law, Włodzimierz Kuperberg, and their son, Greg Kuperberg
Greg Kuperberg
Greg Kuperberg is an American mathematician of Polish birth known for his contributions to geometric topology, quantum algebra, and combinatorics. Kuperberg is a professor of mathematics at the University of California, Davis....
, are all noted mathematicians.