scientific article; zbMATH DE number 5486212
From MaRDI portal
Publication:5302561
zbMath1188.68267MaRDI QIDQ5302561
Publication date: 7 January 2009
Full work available at URL: http://www.ams.org/notices/200811/tx081101408p.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (17)
A Formalization of Properties of Continuous Functions on Closed Intervals ⋮ Mizar: State-of-the-art and Beyond ⋮ SEPIA: Search for Proofs Using Inferred Automata ⋮ MATHEMATICAL RIGOR AND PROOF ⋮ Computer Certification of Generalized Rough Sets Based on Relations ⋮ Checking Proofs ⋮ Formalization of functional variation in HOL Light ⋮ A certified proof of the Cartan fixed point theorems ⋮ Experimental mathematics, computers and the a priori ⋮ Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets ⋮ An introduction to mechanized reasoning ⋮ Automated Comparative Study of Some Generalized Rough Approximations ⋮ Diagrams in mathematics ⋮ Initial Comparison of Formal Approaches to Fuzzy and Rough Sets ⋮ Formal Proof: Reconciling Correctness and Understanding ⋮ Mining State-Based Models from Proof Corpora ⋮ NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
This page was built for publication:
