Andrzej Wojciech Trybulec (29 January 1941 in Kraków, Poland – 11 September 2013 in Białystok, Poland) was a Polish mathematician and computer scientist...
8 KB (717 words) - 00:46, 9 February 2023
by the Mizar Project, formerly under the direction of its founder Andrzej Trybulec. In 2009 the Mizar Mathematical Library was the largest coherent body...
13 KB (1,213 words) - 19:09, 12 August 2024
Włodzimierz Kuperberg, Stanisław Spież, Krystyna Kuperberg, Jerzy Dydak, Andrzej Trybulec, Marian Orłowski, Alfred Surzycki. Geometria analityczna w n wymiarach...
5 KB (379 words) - 19:53, 23 May 2024
parents, Jan W. and Barbara H. Trybulec, were pharmacists and owned a pharmacy in Tarnów. Her older brother is Andrzej Trybulec. Her husband Włodzimierz Kuperberg...
7 KB (530 words) - 18:04, 23 March 2024
curve theorem" (PDF). From Insight to Proof: Festschrift in Honour of Andrzej Trybulec. Studies in Logic, Grammar and Rhetoric. 10 (23). University of Białystok...
27 KB (3,282 words) - 02:32, 8 October 2024
curve theorem" (PDF). From Insight to Proof: Festschrift in Honour of Andrzej Trybulec. Studies in Logic, Grammar and Rhetoric. 10 (23). University of Białystok...
31 KB (3,199 words) - 01:11, 17 October 2024
Albert Jacquard, French geneticist and biologist (b. 1925) 2013 – Andrzej Trybulec, Polish mathematician and computer scientist (b. 1941) 2014 – Bob Crewe...
64 KB (6,391 words) - 04:56, 2 November 2024
Zalewska (eds.). From Insight to Proof: Festschrift in Honour of Andrzej Trybulec. Studies in Logic, Grammar and Rhetoric. pp. 1–19. ISBN 978-83-7431-128-1...
8 KB (1,000 words) - 19:51, 26 August 2023
(editors) (2007): From Insight to Proof: Festschrift in Honour of Andrzej Trybulec. Studies of Logic, Grammar, and Rhetoric, Volume 10, Issue 23 Švejdar...
36 KB (2,886 words) - 17:46, 8 October 2024
and lawyer, member of the Kentucky Senate (1954–1958, 1966–1982). Andrzej Trybulec, 72, Polish mathematician and computer scientist. Tom Vernon, 74, British...
135 KB (9,310 words) - 20:01, 6 November 2024
Polish), Wikidata Q105192847 O'Connor, John J.; Robertson, Edmund F., "Andrzej Alexiewicz", MacTutor History of Mathematics Archive, University of St...
5 KB (1,501 words) - 23:18, 8 October 2024
Maciej Tomczyk ala Lech Wałęsa, in the 1981 film Man of Iron, directed by Andrzej Wajda Pan Twardowski, a Faust-like figure of Polish legend, literature...
180 KB (1,690 words) - 23:23, 3 November 2024
air forces of Poland and India (1960) Lim-6, attack aircraft (1955) Andrzej Trybulec, Polish mathematician who designed the Mizar system in 1973. The system...
123 KB (12,246 words) - 07:43, 10 November 2024
Kraków branch of Sokół Jerzy Vetulani – pharmacologist and biochemist Andrzej Trybulec – mathematician, founder of MIZAR formalization system Agata Kornhauser-Duda...
6 KB (680 words) - 22:21, 26 October 2024
Fundamenta Mathematicae. 32: 176–183. doi:10.4064/fm-32-1-176-783. Trybulec, Andrzej, 1989, "Tarski–Grothendieck Set Theory", Journal of Formalized Mathematics...
8 KB (1,036 words) - 00:22, 7 September 2024
plotki, ścianki" Margaret Małgorzata Jamroży ‡ Piotr Kozieradzki Mikołaj Trybulec Marek Walaszek Gaja Hornby 2019 "Błyszczę" † Brodka, Rosalie. and Margaret...
75 KB (1,931 words) - 12:55, 8 November 2024
naturally isomorphic. Cartesian product Tarski–Grothendieck set theory Trybulec, Andrzej, 1989, "Tarski–Grothendieck Set Theory", Journal of Formalized Mathematics...
25 KB (3,798 words) - 05:27, 6 November 2024
of Mathematical Knowledge". In Andréa Asperti; Bancerek, Grzegorz; Trybulec, Andrzej (eds.). Mathematical knowledge management: third international conference...
13 KB (1,576 words) - 20:25, 20 August 2023
"Friend of a Friend" English Albert Černý Jan Steinsdoerfer Maciej Mikołaj Trybulec 11 (2 †) 1530 7 * — Hungary 17 Joci Pápai "Az én apám" Hungarian Ferenc...
259 KB (3,388 words) - 18:08, 29 August 2024