Edit Profile (opens in new tab) Bancerek, Grzegorz Compute Distance To: Compute 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 18 Publications have been cited 394 times in 290 Documents Cited by ▼ Year ▼ Semantics of MML query – ordering. Zbl 1364.68157Bancerek, Grzegorz 121 2013 Mizar: state-of-the-art and beyond. Zbl 1417.68201Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol; Urban, Josef 110 2015 The role of the Mizar mathematical library for interactive proof development in Mizar. Zbl 1433.68530Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol 82 2018 Information retrieval in MML. Zbl 1022.68610Bancerek, Grzegorz; Rudnicki, Piotr 13 2003 Integrated semantic browsing of the Mizar mathematical library for authoring Mizar articles. Zbl 1108.68583Bancerek, Grzegorz; Urban, Josef 11 2004 A compendium of continuous lattices in MIZAR. Zbl 1064.68082Bancerek, Grzegorz; Rudnicki, Piotr 11 2002 Information retrieval and rendering with MML Query. Zbl 1188.68125Bancerek, Grzegorz 10 2006 Analysis of algorithms: an example of a sort algorithm. Zbl 1296.68204Bancerek, Grzegorz 8 2013 On the structure of Mizar types. Zbl 1264.03040Bancerek, Grzegorz 6 2003 Free term algebras. Zbl 1296.68085Bancerek, Grzegorz 4 2012 Mathematical knowledge management. Third international conference, MKM 2004, Białowieża, Poland, September 19–21, 2004. Proceedings. Zbl 1053.68003 4 2004 Development of the theory of continuous lattices in MIZAR. Zbl 0986.68127Bancerek, Grzegorz 3 2001 Veblen hierarchy. Zbl 1276.03044Bancerek, Grzegorz 3 2011 Program algebra over an algebra. Zbl 1364.08001Bancerek, Grzegorz 2 2012 Sorting by exchanging. Zbl 1276.68065Bancerek, Grzegorz 2 2011 Presenting and explaining Mizar. Zbl 1278.68283Urban, Josef; Bancerek, Grzegorz 2 2007 Semantics of MML query. Zbl 1364.68156Bancerek, Grzegorz 1 2012 Representation theorem for stacks. Zbl 1276.14019Bancerek, Grzegorz 1 2011 The role of the Mizar mathematical library for interactive proof development in Mizar. Zbl 1433.68530Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol 82 2018 Mizar: state-of-the-art and beyond. Zbl 1417.68201Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol; Urban, Josef 110 2015 Semantics of MML query – ordering. Zbl 1364.68157Bancerek, Grzegorz 121 2013 Analysis of algorithms: an example of a sort algorithm. Zbl 1296.68204Bancerek, Grzegorz 8 2013 Free term algebras. Zbl 1296.68085Bancerek, Grzegorz 4 2012 Program algebra over an algebra. Zbl 1364.08001Bancerek, Grzegorz 2 2012 Semantics of MML query. Zbl 1364.68156Bancerek, Grzegorz 1 2012 Veblen hierarchy. Zbl 1276.03044Bancerek, Grzegorz 3 2011 Sorting by exchanging. Zbl 1276.68065Bancerek, Grzegorz 2 2011 Representation theorem for stacks. Zbl 1276.14019Bancerek, Grzegorz 1 2011 Presenting and explaining Mizar. Zbl 1278.68283Urban, Josef; Bancerek, Grzegorz 2 2007 Information retrieval and rendering with MML Query. Zbl 1188.68125Bancerek, Grzegorz 10 2006 Integrated semantic browsing of the Mizar mathematical library for authoring Mizar articles. Zbl 1108.68583Bancerek, 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 4 2004 Information retrieval in MML. Zbl 1022.68610Bancerek, Grzegorz; Rudnicki, Piotr 13 2003 On the structure of Mizar types. Zbl 1264.03040Bancerek, Grzegorz 6 2003 A compendium of continuous lattices in MIZAR. Zbl 1064.68082Bancerek, Grzegorz; Rudnicki, Piotr 11 2002 Development of the theory of continuous lattices in MIZAR. Zbl 0986.68127Bancerek, Grzegorz 3 2001 all cited Publications top 5 cited Publications all top 5 Cited by 117 Authors 51 Shidama, Yasunari 31 Korniłowicz, Artur 31 Pąk, Karol 29 Okazaki, Hiroyuki 25 Coghetto, Roland 25 Nakasho, Kazuhisa 23 Grabowski, Adam 22 Endou, Noboru 19 Futa, Yuichi 16 Schwarzweller, Christoph 15 Bancerek, Grzegorz 12 Koch, Sebastian 11 Naumowicz, Adam 10 Narita, Keiko 10 Urban, Josef 8 Kaliszyk, Cezary 8 Watase, Yasushige 8 Yamazaki, Hiroshi 7 Giero, Mariusz 7 Jaeger, Peter 7 Ziobro, Rafał 6 Caminati, Marco Bright 5 Ivanov, Ievgen 5 Nikitchenko, Mykola S. 4 Arai, Kenichi 4 Miyajima, Keiichi 3 Kawamoto, Pauline Naomi 3 Rabe, Florian 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 Jaszczak, Adrian 2 Liang, Xiquan 2 Maletzky, Alexander 2 Matuszewski, Roman 2 Piliszek, Radosław 2 Rudnicki, Piotr 2 Sawicki, Damian 2 Stewart, Lorna K. 2 Wasaki, Katsumi 1 Abraham, Uri 1 Adachi, Ryota 1 Alama, Jesse 1 Aoki, Yosiki 1 Asperti, Andrea 1 Aspinall, David 1 Brink, Kasper 1 Cairns, Paul 1 Carette, Jacques 1 Chojecki, Przemyslaw 1 Chvalovský, Karel 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 Huuskonen, Taneli 1 Inoué, Takao 1 Ishida, Kazuhisa 1 Jakubův, Jan 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 Mitsuishi, Takashi 1 Nagao, Koh-ichi 1 Nipkow, Tobias 1 Nittka, Robin 1 Otsuki, Sora 1 Paulson, Lawrence Charles 1 Popescu, Andrei 1 Rosolini, Giuseppe 1 Rothgang, Colin 1 Schlöder, Julian J. 1 Schulz, Ewaryst 1 Shah, Pratima K. 1 Shigenaka, Seigo ...and 17 more Authors all top 5 Cited in 10 Serials 240 Formalized Mathematics 15 Journal of Automated Reasoning 2 Journal of Symbolic Computation 2 Journal of Applied Logic 1 Formal Aspects of Computing 1 MSCS. 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 33 Fields 166 Mathematical logic and foundations (03-XX) 138 Computer science (68-XX) 38 Number theory (11-XX) 19 Real functions (26-XX) 18 Commutative algebra (13-XX) 17 Combinatorics (05-XX) 16 Field theory and polynomials (12-XX) 15 General topology (54-XX) 14 Geometry (51-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 11 Linear and multilinear algebra; matrix theory (15-XX) 10 Group theory and generalizations (20-XX) 10 Measure and integration (28-XX) 10 Functional analysis (46-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Sequences, series, summability (40-XX) 8 Operator theory (47-XX) 7 Probability theory and stochastic processes (60-XX) 5 Information and communication theory, circuits (94-XX) 4 Manifolds and cell complexes (57-XX) 3 General and overarching topics; collections (00-XX) 3 Algebraic geometry (14-XX) 2 General algebraic systems (08-XX) 2 Topological groups, Lie groups (22-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 Associative rings and algebras (16-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 Optics, electromagnetic theory (78-XX) Citations by Year