Facet browsing currently unavailable
Page 5 of 379 results
Sort by: relevance publication year
Probability on Finite and Discrete Set and Uniform Distribution JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics |
Elementary Introduction to Stochastic Finance in Discrete Time JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics |
Some Remarks about Product Spaces JOURNAL ARTICLE published 1 October 2018 in Formalized Mathematics |
Cross-Ratio in Real Vector Space JOURNAL ARTICLE published 1 April 2019 in Formalized Mathematics |
About Quotient Orders and Ordering Sequences JOURNAL ARTICLE published 1 July 2017 in Formalized Mathematics |
Basic Properties of Even and Odd Functions JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics |
The Quaternion Numbers JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics |
Conway's Games and Some of their Basic Properties JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics |
Natural Addition of Ordinals JOURNAL ARTICLE published 1 July 2019 in Formalized Mathematics |
Kolmogorov's Zero-One Law JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics |
Morphology for Image Processing. Part I JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics |
Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics |
Miscellaneous Facts about Open Functions and Continuous Functions JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics |
Cayley-Dickson Construction JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics |
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics |
Some Basic Properties of Some Special Matrices. Part III JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics |
On Roots of Polynomials and Algebraically Closed Fields JOURNAL ARTICLE published 1 October 2017 in Formalized Mathematics |
Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics |
Algebraic Numbers JOURNAL ARTICLE published 1 December 2016 in Formalized Mathematics |
Some Special Matrices of Real Elements and Their Properties JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics |