Grzegorz Bancerek

Publication Activity (10 Years)

Years Active: 2002-2018
Publications (10 Years): 3

Top Topics

Algebraic Operations

Algorithms Require

Semantically Relevant

Top Venues

Formaliz. Math.

J. Autom. Reason.

Publications

Grzegorz Bancerek, Adam Naumowicz, Josef Urban
System Description: XSL-Based Translator of Mizar to LaTeX. CICM (2018)
Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. J. Autom. Reason. 61 (1-4) (2018)
Grzegorz Bancerek
On Multiset Ordering. Formaliz. Math. 24 (2) (2016)
Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, Josef Urban
Mizar: State-of-the-art and Beyond. CICM (2015)
Grzegorz Bancerek
Algebraic Approach to Algorithmic Logic. Formaliz. Math. 22 (3) (2014)
Grzegorz Bancerek
Term Context. Formaliz. Math. 22 (2) (2014)
Grzegorz Bancerek
Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm. Formaliz. Math. 22 (1) (2014)
Grzegorz Bancerek
Analysis of Algorithms: An Example of a Sort Algorithm. Formaliz. Math. 21 (1) (2013)
Grzegorz Bancerek
Semantics of MML Query - Ordering. Formaliz. Math. 21 (1) (2013)
Grzegorz Bancerek, Hidetsune Kobayashi, Artur Kornilowicz
Valuation Theory. Part I. Formaliz. Math. 20 (1) (2012)
Grzegorz Bancerek
Free Term Algebras. Formaliz. Math. 20 (3) (2012)
Grzegorz Bancerek
Program Algebra over an Algebra. Formaliz. Math. 20 (4) (2012)
Grzegorz Bancerek
Semantics of MML Query. Formaliz. Math. 20 (2) (2012)
Grzegorz Bancerek
Veblen Hierarchy. Formaliz. Math. 19 (2) (2011)
Grzegorz Bancerek
Sorting by Exchanging. Formaliz. Math. 19 (2) (2011)
Grzegorz Bancerek
Representation Theorem for Stacks. Formaliz. Math. 19 (4) (2011)
Grzegorz Bancerek
A Model of Mizar Concepts - Unification. Formaliz. Math. 18 (1-4) (2010)
Grzegorz Bancerek
Epsilon Numbers and Cantor Normal Form. Formaliz. Math. 17 (1-4) (2009)
Grzegorz Bancerek
Mizar Analysis of Algorithms: Algorithms over Integers. Formaliz. Math. 16 (1-4) (2008)
Grzegorz Bancerek, Yasunari Shidama
Introduction to Matroids. Formaliz. Math. 16 (1-4) (2008)
Grzegorz Bancerek
Towards the Construction of a Model of Mizar Concepts. Formaliz. Math. 16 (1-4) (2008)
Josef Urban, Grzegorz Bancerek
Presenting and Explaining Mizar. Electron. Notes Theor. Comput. Sci. 174 (2) (2007)
Grzegorz Bancerek
Information Retrieval and Rendering with. MKM (2006)
Grzegorz Bancerek, Josef Urban
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles. MKM (2004)
Grzegorz Bancerek
On the structure of Mizar types. Electron. Notes Theor. Comput. Sci. 85 (7) (2003)
Grzegorz Bancerek, Piotr Rudnicki
Information Retrieval in MML. MKM (2003)
Grzegorz Bancerek, Piotr Rudnicki
A Compendium of Continuous Lattices in MIZAR. J. Autom. Reason. 29 (3-4) (2002)