Small Inductive Dimension of Topological Spaces

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Karol Pąk

Some Properties of Some Special Matrices. Part II

JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics

Authors: Xiaopeng Yue | Dahai Hu | Xiquan Liang

Arrow's Impossibility Theorem

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Freek Wiedijk

Alexandroff One Point Compactification

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Czesław Byliński

Complex Integral

JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics

Authors: Masahiko Yamazaki | Hiroshi Yamazaki | Yasunari Shidama | Katsumi Wasaki

The Jordan-Hölder Theorem

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Marco Riccardi

Operations of Points on Elliptic Curve in Projective Coordinates

JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics

Authors: Yuichi Futa | Hiroyuki Okazaki | Daichi Mizushima | Yasunari Shidama

Banach’s Continuous Inverse Theorem and Closed Graph Theorem

JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics

Authors: Hideki Sakurai | Hiroyuki Okazaki | Yasunari Shidama

The Vector Space of Subsets of a Set Based on Symmetric Difference

JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics

Authors: Jesse Alama

Dynamic Programming for the Subset Sum Problem

JOURNAL ARTICLE published 1 April 2020 in Formalized Mathematics

Authors: Hiroshi Fujiwara | Hokuto Watari | Hiroaki Yamamoto

Klein-Beltrami Model. Part II

JOURNAL ARTICLE published 1 April 2018 in Formalized Mathematics

Authors: Roland Coghetto

Basic Properties of the Rank of Matrices over a Field

JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics

Authors: Karol Pąk

Preliminaries to Classical First Order Model Theory

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Marco Caminati

Tarski Geometry Axioms. Part IV – Right Angle

JOURNAL ARTICLE published 1 April 2019 in Formalized Mathematics

Authors: Roland Coghetto | Adam Grabowski

Tarski Geometry Axioms – Part II

JOURNAL ARTICLE published 1 June 2016 in Formalized Mathematics

Authors: Roland Coghetto | Adam Grabowski

Continuity of Barycentric Coordinates in Euclidean Topological Spaces

JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics

Authors: Karol Pąk

Diophantine sets. Preliminaries

JOURNAL ARTICLE published 1 April 2018 in Formalized Mathematics

Authors: Karol Pąk

Characteristic of Rings. Prime Fields

JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics

Authors: Christoph Schwarzweller | Artur Korniłowicz

The Matiyasevich Theorem. Preliminaries

JOURNAL ARTICLE published 20 December 2017 in Formalized Mathematics

Authors: Karol Pak

Diophantine Sets. Part II

JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics

Authors: Karol Pąk