Adam Grabowski

Fundam. Informaticae, 2016

Binary Relations-based Rough Sets - an Automated Approach.

[BibT_eX]

[DOI]

Formaliz. Math., 2016

Tarski Geometry Axioms - Part II.

[BibT_eX]

[DOI]

Roland Coghetto

Formaliz. Math., 2016

On algebraic hierarchies in mathematical repository of Mizar.

[BibT_eX]

[DOI]

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

Tarski's geometry modelled in Mizar computerized proof assistant.

[BibT_eX]

[DOI]

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

Tarski's Geometry and the Euclidean Plane in Mizar.

[BibT_eX]

[DOI]

Roland Coghetto

Proceedings of the Joint Proceedings of the FM4M, 2016

2015

Four Decades of Mizar - Foreword.

[BibT_eX]

[DOI]

Adam Naumowicz

J. Autom. Reason., 2015

Mechanizing Complemented Lattices Within Mizar Type System.

[BibT_eX]

[DOI]

J. Autom. Reason., 2015

Stone Lattices.

[BibT_eX]

[DOI]

Formaliz. Math., 2015

Two Axiomatizations of Nelson Algebras.

[BibT_eX]

[DOI]

Formaliz. Math., 2015

Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets.

[BibT_eX]

[DOI]

Takashi Mitsuishi

Proceedings of the Rough Sets and Knowledge Technology - 10th International Conference, 2015

Mizar: State-of-the-art and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Initial Comparison of Formal Approaches to Fuzzy and Rough Sets.

[BibT_eX]

[DOI]

Takashi Mitsuishi

Proceedings of the Artificial Intelligence and Soft Computing, 2015

Equality in computer proof-assistants.

[BibT_eX]

[DOI]

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

Lattice Theory for Rough Sets - An Experiment in Mizar.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Concurrency, 2015

2014

Efficient Rough Set Theory Merging.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

Tarski Geometry Axioms.

[BibT_eX]

[DOI]

William Richter

Jesse Alama

Formaliz. Math., 2014

Definition of Flat Poset and Existence Theorems for Recursive Call.

[BibT_eX]

[DOI]

Kazuhisa Ishida

Yasunari Shidama

Formaliz. Math., 2014

Preface.

[BibT_eX]

[DOI]

Yasunari Shidama

Formaliz. Math., 2014

The Formal Construction of Fuzzy Numbers.

[BibT_eX]

[DOI]

Formaliz. Math., 2014

Formalization of Generalized Almost Distributive Lattices.

[BibT_eX]

[DOI]

Formaliz. Math., 2014

Cauchy Mean Theorem.

[BibT_eX]

[DOI]

Formaliz. Math., 2014

Topological Interpretation of Rough Sets.

[BibT_eX]

[DOI]

Formaliz. Math., 2014

2013

Automated Discovery of Properties of Rough Sets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

Introduction to Formal Preference Spaces.

[BibT_eX]

[DOI]

Eliza Niewiadomska

Formaliz. Math., 2013

Prime Filters and Ideals in Distributive Lattices.

[BibT_eX]

[DOI]

Formaliz. Math., 2013

On Square-Free Numbers.

[BibT_eX]

[DOI]

Formaliz. Math., 2013

Polygonal Numbers.

[BibT_eX]

[DOI]

Formaliz. Math., 2013

Relational Formal Characterization of Rough Sets.

[BibT_eX]

[DOI]

Formaliz. Math., 2013

On the computer certification of fuzzy numbers.

[BibT_eX]

[DOI]

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

2012

Towards Automatically Categorizing Mathematical Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Federated Conference on Computer Science and Information Systems, 2012

Computer-Driven Searching for Axiomatization of Rough Sets.

[BibT_eX]

[DOI]

Proceedings of the 21th International Workshop on Concurrency, 2012

2010

Mizar in a Nutshell.

[BibT_eX]

[DOI]

Adam Naumowicz

J. Formaliz. Reason., 2010

A Note on a Formal Approach to Rough Operators.

[BibT_eX]

[DOI]

Magdalena Jastrzebska

Proceedings of the Rough Sets and Current Trends in Computing, 2010

On Duplication in Mathematical Repositories.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

On the Lattice of Intervals and Rough Sets.

[BibT_eX]

[DOI]

Magdalena Jastrzebska

Formaliz. Math., 2009

2008

Orthomodular Lattices.

[BibT_eX]

[DOI]

Elzbieta Madra

Formaliz. Math., 2008

2007

Rough Set Theory from a Math-Assistant Perspective.

[BibT_eX]

[DOI]

Magdalena Jastrzebska

Proceedings of the Rough Sets and Intelligent Systems Paradigms, International Conference, 2007

Revisions as an Essential Tool to Maintain Mathematical Repositories.

[BibT_eX]

[DOI]

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2005

Translating Mathematical Vernacular into Knowledge Repositories.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

2004

Solving Two Problems in General Topology Via Types.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, International Workshop, 2004

On the Computer-Assisted Reasoning about Rough Sets.

[BibT_eX]

[DOI]

Proceedings of the Monitoring, Security, and Rescue Techniques in Multiagent Systems, 2004

Rough Concept Analysis - Theory Development in the Mizar System.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

Managing Heterogeneous Theories within a Mathematical Knowledge Repository.

[BibT_eX]

[DOI]

Markus Moschner

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

1999

Lattice of Substitutions.

[BibT_eX]

[DOI]