Piotr Rudnicki

Available identifiers

zbMath Open rudnicki.piotrMaRDI QIDQ467775

List of research outcomes

Publication	Date of Publication	Type
Characteristic classes of Borel orbits of square-zero upper-triangular matrices	2022-03-02	Paper
Some properties of the Sorgenfrey line and the Sorgenfrey plane	2014-11-05	Paper
The Mycielskian of a graph	2013-12-03	Paper
Simple graphs as simplicial complexes: the Mycielskian of a graph	2013-10-08	Paper
ATP and presentation service for Mizar formalizations	2013-04-17	Paper
Licensing the Mizar Mathematical Library	2011-07-29	Paper
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype	2010-08-24	Paper
Towards Automatic Exception Safety Verification	2008-06-17	Paper
Alternative Aggregates in Mizar	2007-11-28	Paper
Commutative algebra in the Mizar system	2004-08-06	Paper
The Post correspondence problem over a unary alphabet	2004-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4413887	2003-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4413892	2003-07-21	Paper
A compendium of continuous lattices in MIZAR	2003-04-27	Paper
Mathematical knowledge management in MIZAR	2002-02-14	Paper
Defining power series and polynomials in Mizar	2001-10-21	Paper
On equivalents of well-foundedness. An experiment in MIZAR	2000-03-27	Paper
A fast algorithm for constructing trees from distance matrices	1989-01-01	Paper
Obvious inferences	1987-01-01	Paper
Erratum to: Proving properties of Pascal programs in MIZAR 2	1986-01-01	Paper
Proving properties of Pascal programs in MIZAR 2	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3040508	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3040509	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3664452	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3947155	1981-01-01	Paper

Research outcomes over time

This page was built for person: Piotr Rudnicki