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...
12 KB (1,169 words) - 08:35, 19 February 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 (385 words) - 14:12, 14 May 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
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,270 words) - 09:17, 29 April 2024
Albert Jacquard, French geneticist and biologist (b. 1925) 2013 – Andrzej Trybulec, Polish mathematician and computer scientist (b. 1941) 2014 – Bob Crewe...
60 KB (6,064 words) - 14:12, 15 May 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) - 04:56, 28 January 2024
Polish), Wikidata Q105192847 O'Connor, John J.; Robertson, Edmund F., "Andrzej Alexiewicz", MacTutor History of Mathematics Archive, University of St...
5 KB (1,462 words) - 18:51, 25 November 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,887 words) - 23:52, 5 February 2024