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
https://portal.mardi4nfdi.de/entity/Q2767928	2002-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q2751549	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

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: Piotr Rudnicki