Piotr Rudnicki

zbMath Openrudnicki.piotrMaRDI QIDQ467775

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Characteristic classes of Borel orbits of square-zero upper-triangular matrices Journal of Algebra	2022-03-02	Paper
Some properties of the Sorgenfrey line and the Sorgenfrey plane Formalized Mathematics	2014-11-05	Paper
The Mycielskian of a graph Formalized Mathematics	2013-12-03	Paper
Simple graphs as simplicial complexes: the Mycielskian of a graph Formalized Mathematics	2013-10-08	Paper
ATP and presentation service for Mizar formalizations Journal of Automated Reasoning	2013-04-17	Paper
Licensing the Mizar Mathematical Library (MML) Lecture Notes in Computer Science	2011-07-29	Paper
A Wiki for Mizar: motivation, considerations, and initial prototype Lecture Notes in Computer Science	2010-08-24	Paper
Towards Automatic Exception Safety Verification FM 2006: Formal Methods	2008-06-17	Paper
Alternative Aggregates in Mizar Towards Mechanized Mathematical Assistants	2007-11-28	Paper
Commutative algebra in the Mizar system Journal of Symbolic Computation	2004-08-06	Paper
The Post correspondence problem over a unary alphabet Applied Mathematics Letters	2004-06-11	Paper
scientific article; zbMATH DE number 1951634 (Why is no real title available?)	2003-07-21	Paper
scientific article; zbMATH DE number 1951637 (Why is no real title available?)	2003-07-21	Paper
A compendium of continuous lattices in MIZAR Journal of Automated Reasoning	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 Journal of Automated Reasoning	2000-03-27	Paper
A fast algorithm for constructing trees from distance matrices Information Processing Letters	1989-01-01	Paper
Obvious inferences Journal of Automated Reasoning	1987-01-01	Paper
Erratum to: Proving properties of Pascal programs in MIZAR 2 Acta Informatica	1986-01-01	Paper
Proving properties of Pascal programs in MIZAR 2 Acta Informatica	1985-01-01	Paper
scientific article; zbMATH DE number 3835338 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3835339 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3817064 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3765194 (Why is no real title available?)	1981-01-01	Paper

Research outcomes over time

This page was built for person: Piotr Rudnicki