We stand with Ukraine  

Grzegorz Bancerek

According to our database1, Grzegorz Bancerek authored at least 27 papers between 2002 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar.
[BibTeX]
[DOI]
Grzegorz Bancerek
,
Czeslaw Bylinski
,
Adam Grabowski
,
Artur Kornilowicz
,
Roman Matuszewski
,
Adam Naumowicz
,
Karol Pak
J. Autom. Reason., 2018

System Description: XSL-Based Translator of Mizar to LaTeX.
[BibTeX]
[DOI]
Grzegorz Bancerek
,
Adam Naumowicz
,
Josef Urban
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

2016
On Multiset Ordering.
[BibTeX]
[DOI]
Grzegorz Bancerek
Formaliz. Math., 2016

2015
Mizar: State-of-the-art and Beyond.
[BibTeX]
[DOI]
Grzegorz Bancerek
,
Czeslaw Bylinski
,
Adam Grabowski
,
Artur Kornilowicz
,
Roman Matuszewski
,
Adam Naumowicz
,
Karol Pak
,
Josef Urban
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

2014
Algebraic Approach to Algorithmic Logic.
[BibTeX]
[DOI]
Grzegorz Bancerek
Formaliz. Math., 2014

Term Context.
[BibTeX]
[DOI]
Grzegorz Bancerek
Formaliz. Math., 2014

Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm.
[BibTeX]
[DOI]
Grzegorz Bancerek
Formaliz. Math., 2014

2013
Semantics of MML Query - Ordering.
[BibTeX]
[DOI]
Grzegorz Bancerek
Formaliz. Math., 2013

Analysis of Algorithms: An Example of a Sort Algorithm.
[BibTeX]
[DOI]
Grzegorz Bancerek
Formaliz. Math., 2013

2012
Valuation Theory. Part I.
[BibTeX]
[DOI]
Grzegorz Bancerek
,
Hidetsune Kobayashi
,
Artur Kornilowicz
Formaliz. Math., 2012

Program Algebra over an Algebra.
[BibTeX]
[DOI]
Grzegorz Bancerek
Formaliz. Math., 2012

Free Term Algebras.
[BibTeX]
[DOI]
Grzegorz Bancerek
Formaliz. Math., 2012

Semantics of MML Query.
[BibTeX]
[DOI]
Grzegorz Bancerek
Formaliz. Math., 2012

2011
Representation Theorem for Stacks.
[BibTeX]
[DOI]
Grzegorz Bancerek
Formaliz. Math., 2011

Sorting by Exchanging.
[BibTeX]
[DOI]
Grzegorz Bancerek
Formaliz. Math., 2011

Veblen Hierarchy.
[BibTeX]
[DOI]
Grzegorz Bancerek
Formaliz. Math., 2011

2010
A Model of Mizar Concepts - Unification.
[BibTeX]
[DOI]
Grzegorz Bancerek
Formaliz. Math., 2010

2009
Epsilon Numbers and Cantor Normal Form.
[BibTeX]
[DOI]
Grzegorz Bancerek
Formaliz. Math., 2009

2008
Introduction to Matroids.
[BibTeX]
[DOI]
Grzegorz Bancerek
,
Yasunari Shidama
Formaliz. Math., 2008

Towards the Construction of a Model of Mizar Concepts.
[BibTeX]
[DOI]
Grzegorz Bancerek
Formaliz. Math., 2008

Mizar Analysis of Algorithms: Algorithms over Integers.
[BibTeX]
[DOI]
Grzegorz Bancerek
Formaliz. Math., 2008

2006
Presenting and Explaining Mizar.
[BibTeX]
[DOI]
Josef Urban
,
Grzegorz Bancerek
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006

Information Retrieval and Rendering with.
[BibTeX]
[DOI]
Grzegorz Bancerek
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

2004
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles.
[BibTeX]
[DOI]
Grzegorz Bancerek
,
Josef Urban
Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

2003
On the structure of Mizar types.
[BibTeX]
[DOI]
Grzegorz Bancerek
Proceedings of the Mathematics, 2003

Information Retrieval in MML.
[BibTeX]
[DOI]
Grzegorz Bancerek
,
Piotr Rudnicki
Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003

2002
A Compendium of Continuous Lattices in MIZAR.
[BibTeX]
[DOI]
Grzegorz Bancerek
,
Piotr Rudnicki
J. Autom. Reason., 2002


  Loading...