Grzegorz Bancerek

Available identifiers

zbMath Open bancerek.grzegorzMaRDI QIDQ467810

List of research outcomes

Publication	Date of Publication	Type
System description: XSL-based translator of Mizar to {\LaTeX}	2018-10-18	Paper
The role of the Mizar mathematical library for interactive proof development in Mizar	2018-08-21	Paper
On multiset ordering	2017-01-06	Paper
Term context	2017-01-06	Paper
Mizar: State-of-the-art and Beyond	2015-11-20	Paper
Algebraic approach to algorithmic logic	2015-05-12	Paper
Abstract reduction systems and idea of Knuth-Bendix completion algorithm	2014-11-05	Paper
Presenting and Explaining Mizar	2013-12-20	Paper
Veblen Hierarchy	2013-12-03	Paper
Sorting by Exchanging	2013-12-03	Paper
Representation Theorem for Stacks	2013-12-03	Paper
Valuation Theory. Part I	2013-12-03	Paper
Semantics of MML Query	2013-10-08	Paper
Free Term Algebras	2013-10-08	Paper
Program Algebra over an Algebra	2013-10-08	Paper
Analysis of Algorithms: An Example of a Sort Algorithm	2013-10-08	Paper
Semantics of MML Query - Ordering	2013-10-08	Paper
On the Structure of Mizar Types	2013-06-06	Paper
Information Retrieval and Rendering with MML Query	2007-09-05	Paper
Mathematical Knowledge Management	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4413887	2003-07-21	Paper
A compendium of continuous lattices in MIZAR	2003-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q2751538	2001-10-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Grzegorz Bancerek