Facet browsing currently unavailable
Page 10 of 379 results
Sort by: relevance publication year
Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics |
Small Inductive Dimension of Topological Spaces JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics |
Some Properties of Some Special Matrices. Part II JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics |
Arrow's Impossibility Theorem JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics |
Alexandroff One Point Compactification JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics |
Complex Integral JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics |
The Jordan-Hölder Theorem JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics |
Operations of Points on Elliptic Curve in Projective Coordinates JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics |
The Vector Space of Subsets of a Set Based on Symmetric Difference JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics |
Binary Relations-based Rough Sets – an Automated Approach JOURNAL ARTICLE published 1 June 2016 in Formalized Mathematics |
The Catalan Numbers. Part II1 JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics |
Euler's Polyhedron Formula JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics |
Klein-Beltrami Model. Part II JOURNAL ARTICLE published 1 April 2018 in Formalized Mathematics |
Preliminaries to Classical First Order Model Theory JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics |
The Matiyasevich Theorem. Preliminaries JOURNAL ARTICLE published 20 December 2017 in Formalized Mathematics |
Diophantine Sets. Part II JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics |
Tarski Geometry Axioms – Part II JOURNAL ARTICLE published 1 June 2016 in Formalized Mathematics |
Tarski Geometry Axioms. Part IV – Right Angle JOURNAL ARTICLE published 1 April 2019 in Formalized Mathematics |
Continuity of Barycentric Coordinates in Euclidean Topological Spaces JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics |
Characteristic of Rings. Prime Fields JOURNAL ARTICLE published 1 December 2015 in Formalized Mathematics |