Amanote Research
Register
Sign In
Progress in the Independent Certification of Mizar Mathematical Library in Isabelle
doi 10.15439/2017f289
Full Text
Open PDF
Abstract
Available in
full text
Date
September 24, 2017
Authors
Cezary Kaliszyk
Karol Pąk
Publisher
IEEE
Related search
Recent Progress in Mathematical Diffraction
Acta Physica Polonica A
Astronomy
Physics
MizAR 40 for Mizar 40
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Formalization of Pell's Equations in the Mizar System
Progress in Educating the Library User (Book Review)
College and Research Libraries
Library
Information Sciences
Building a National Library Website: Work in Progress at the National Library of Australia
Australian Academic and Research Libraries
Library
Information Sciences
Commutative Algebra in the Mizar System
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Formalization of the MRDP Theorem in the Mizar System
Formalized Mathematics
Computational Mathematics
Applied Mathematics
Progress in Mathematical Modeling of Gastrointestinal Slow Wave Abnormalities
Frontiers in Physiology
Physiology
Attack Trees in Isabelle
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
