Edit Profile (opens in new tab) Bancerek, Grzegorz Co-Author Distance Author ID: bancerek.grzegorz Published as: Bancerek, Grzegorz Documents Indexed: 23 Publications since 2001 1 Contribution as Editor Co-Authors: 11 Co-Authors with 9 Joint Publications 182 Co-Co-Authors all top 5 Co-Authors 15 single-authored 4 Urban, Josef 3 Korniłowicz, Artur 3 Naumowicz, Adam 2 Byliński, Czesław 2 Grabowski, Adam 2 Matuszewski, Roman 2 Pąk, Karol 2 Rudnicki, Piotr 1 Asperti, Andrea 1 Kobayashi, Hidetsune 1 Trybulec, Andrzej Serials 13 Formalized Mathematics 2 Journal of Automated Reasoning 1 Lecture Notes in Computer Science all top 5 Fields 20 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 3 General algebraic systems (08-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 General and overarching topics; collections (00-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 19 Publications have been cited 500 times in 350 Documents Cited by ▼ Year ▼ Mizar: state-of-the-art and beyond. Zbl 1417.68201 Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol; Urban, Josef 156 2015 The role of the Mizar mathematical library for interactive proof development in Mizar. Zbl 1433.68530 Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol 132 2018 Semantics of MML query – ordering. Zbl 1364.68157 Bancerek, Grzegorz 122 2013 A compendium of continuous lattices in MIZAR. Zbl 1064.68082 Bancerek, Grzegorz; Rudnicki, Piotr 15 2002 Information retrieval in MML. Zbl 1022.68610 Bancerek, Grzegorz; Rudnicki, Piotr 14 2003 Integrated semantic browsing of the Mizar mathematical library for authoring Mizar articles. Zbl 1108.68583 Bancerek, Grzegorz; Urban, Josef 11 2004 Information retrieval and rendering with MML Query. Zbl 1188.68125 Bancerek, Grzegorz 10 2006 Analysis of algorithms: an example of a sort algorithm. Zbl 1296.68204 Bancerek, Grzegorz 8 2013 Mathematical knowledge management. Third international conference, MKM 2004, Białowieża, Poland, September 19–21, 2004. Proceedings. Zbl 1053.68003 6 2004 On the structure of Mizar types. Zbl 1264.03040 Bancerek, Grzegorz 6 2003 Free term algebras. Zbl 1296.68085 Bancerek, Grzegorz 4 2012 Veblen hierarchy. Zbl 1276.03044 Bancerek, Grzegorz 4 2011 Development of the theory of continuous lattices in MIZAR. Zbl 0986.68127 Bancerek, Grzegorz 3 2001 Program algebra over an algebra. Zbl 1364.08001 Bancerek, Grzegorz 2 2012 Sorting by exchanging. Zbl 1276.68065 Bancerek, Grzegorz 2 2011 Presenting and explaining Mizar. Zbl 1278.68283 Urban, Josef; Bancerek, Grzegorz 2 2007 System description: XSL-based translator of Mizar to LATEX. Zbl 1417.68202 Bancerek, Grzegorz; Naumowicz, Adam; Urban, Josef 1 2018 Semantics of MML query. Zbl 1364.68156 Bancerek, Grzegorz 1 2012 Representation theorem for stacks. Zbl 1276.14019 Bancerek, Grzegorz 1 2011 The role of the Mizar mathematical library for interactive proof development in Mizar. Zbl 1433.68530 Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol 132 2018 System description: XSL-based translator of Mizar to LATEX. Zbl 1417.68202 Bancerek, Grzegorz; Naumowicz, Adam; Urban, Josef 1 2018 Mizar: state-of-the-art and beyond. Zbl 1417.68201 Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol; Urban, Josef 156 2015 Semantics of MML query – ordering. Zbl 1364.68157 Bancerek, Grzegorz 122 2013 Analysis of algorithms: an example of a sort algorithm. Zbl 1296.68204 Bancerek, Grzegorz 8 2013 Free term algebras. Zbl 1296.68085 Bancerek, Grzegorz 4 2012 Program algebra over an algebra. Zbl 1364.08001 Bancerek, Grzegorz 2 2012 Semantics of MML query. Zbl 1364.68156 Bancerek, Grzegorz 1 2012 Veblen hierarchy. Zbl 1276.03044 Bancerek, Grzegorz 4 2011 Sorting by exchanging. Zbl 1276.68065 Bancerek, Grzegorz 2 2011 Representation theorem for stacks. Zbl 1276.14019 Bancerek, Grzegorz 1 2011 Presenting and explaining Mizar. Zbl 1278.68283 Urban, Josef; Bancerek, Grzegorz 2 2007 Information retrieval and rendering with MML Query. Zbl 1188.68125 Bancerek, Grzegorz 10 2006 Integrated semantic browsing of the Mizar mathematical library for authoring Mizar articles. Zbl 1108.68583 Bancerek, Grzegorz; Urban, Josef 11 2004 Mathematical knowledge management. Third international conference, MKM 2004, Białowieża, Poland, September 19–21, 2004. Proceedings. Zbl 1053.68003 6 2004 Information retrieval in MML. Zbl 1022.68610 Bancerek, Grzegorz; Rudnicki, Piotr 14 2003 On the structure of Mizar types. Zbl 1264.03040 Bancerek, Grzegorz 6 2003 A compendium of continuous lattices in MIZAR. Zbl 1064.68082 Bancerek, Grzegorz; Rudnicki, Piotr 15 2002 Development of the theory of continuous lattices in MIZAR. Zbl 0986.68127 Bancerek, Grzegorz 3 2001 all cited Publications top 5 cited Publications all top 5 Cited by 130 Authors 54 Shidama, Yasunari 38 Korniłowicz, Artur 34 Pąk, Karol 31 Okazaki, Hiroyuki 28 Coghetto, Roland 28 Nakasho, Kazuhisa 27 Endou, Noboru 27 Grabowski, Adam 21 Schwarzweller, Christoph 20 Futa, Yuichi 16 Koch, Sebastian 15 Bancerek, Grzegorz 14 Naumowicz, Adam 12 Kaliszyk, Cezary 12 Urban, Josef 12 Watase, Yasushige 10 Narita, Keiko 10 Yamazaki, Hiroshi 7 Giero, Mariusz 7 Jaeger, Peter 7 Ziobro, Rafał 6 Caminati, Marco Bright 5 Ivanov, Ievgen 5 Miyajima, Keiichi 5 Nikitchenko, Mykola S. 4 Arai, Kenichi 4 Jaszczak, Adrian 4 Rabe, Florian 3 Kawamoto, Pauline Naomi 3 Mitsuishi, Takashi 3 Paulson, Lawrence Charles 3 Riccardi, Marco 3 Rowinska-Schwarzweller, Agnieszka 3 Sacerdoti Coen, Claudio 2 Acewicz, Marcin 2 Brown, Chad Edward 2 Byliński, Czesław 2 Guidi, Ferruccio 2 Iancu, Mihnea 2 Jakubův, Jan 2 Liang, Xiquan 2 Maletzky, Alexander 2 Matuszewski, Roman 2 Nelson, Alexander M. 2 Piliszek, Radosław 2 Rudnicki, Piotr 2 Sawicki, Damian 2 Stewart, Lorna K. 2 Vyskočil, Jiří 2 Wasaki, Katsumi 1 Abraham, Uri 1 Adachi, Ryota 1 Affeldt, Reynald 1 Alama, Jesse 1 Aoki, Yosiki 1 Asperti, Andrea 1 Aspinall, David 1 Blaauwbroek, Lasse 1 Brink, Kasper 1 Burgoa, Sara 1 Cairns, Paul 1 Carette, Jacques 1 Chen, Xiaoyu 1 Chojecki, Przemyslaw 1 Chvalovský, Karel 1 Cohen, Cyril 1 Czajka, Łukasz 1 Derakhshan, Farzaneh 1 Dietrich, Dominik 1 Dixon, Lucas 1 Dunchev, Cvetan 1 Dunne, Ciarán 1 Farmer, William M. 1 Ford, Ian J. 1 Fujiwara, Hiroshi 1 Furushima, Hideharu 1 Gauthier, Thibault 1 Geuvers, Jan Herman 1 Gow, Jeremy 1 Grov, Gudmund 1 Hanaoka, Riku 1 Huuskonen, Taneli 1 Inoué, Takao 1 Ishida, Kazuhisa 1 Jitsukawa, Mitsuru 1 Kamareddine, Fairouz D. 1 Kato, Takahiro 1 Khan Afshar, Sanaz 1 Kobayashi, Hidetsune 1 Koepke, Peter 1 Kohlhase, Michael 1 Kulesza, Dominik 1 Kunčar, Ondřej 1 Kuśmierowski, Wojciech 1 Li, Dailu 1 Ma, Na 1 Mamane, Lionel Elie 1 Nagao, Koh-ichi 1 Nipkow, Tobias 1 Nittka, Robin ...and 30 more Authors all top 5 Cited in 10 Serials 289 Formalized Mathematics 17 Journal of Automated Reasoning 2 Journal of Symbolic Computation 2 Journal of Applied Logic 1 Formal Aspects of Computing 1 Mathematical Structures in Computer Science 1 Fundamenta Informaticae 1 Sādhanā 1 Computer Languages, Systems & Structures 1 Mathematics in Computer Science all top 5 Cited in 35 Fields 197 Computer science (68-XX) 178 Mathematical logic and foundations (03-XX) 52 Number theory (11-XX) 24 Real functions (26-XX) 21 Field theory and polynomials (12-XX) 21 Commutative algebra (13-XX) 19 Combinatorics (05-XX) 16 General topology (54-XX) 15 Functional analysis (46-XX) 15 Geometry (51-XX) 14 Linear and multilinear algebra; matrix theory (15-XX) 13 Group theory and generalizations (20-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 11 Measure and integration (28-XX) 10 Operator theory (47-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Sequences, series, summability (40-XX) 7 Probability theory and stochastic processes (60-XX) 5 Information and communication theory, circuits (94-XX) 4 Algebraic geometry (14-XX) 4 Manifolds and cell complexes (57-XX) 4 Systems theory; control (93-XX) 3 General and overarching topics; collections (00-XX) 2 General algebraic systems (08-XX) 2 Associative rings and algebras (16-XX) 2 Topological groups, Lie groups (22-XX) 2 Operations research, mathematical programming (90-XX) 1 Category theory; homological algebra (18-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Difference and functional equations (39-XX) 1 Algebraic topology (55-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Numerical analysis (65-XX) 1 Optics, electromagnetic theory (78-XX) Citations by Year