Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Four Decades of Mizar

Four Decades of Mizar This special issue is dedicated to works related to Mizar, the theorem proving project started by Andrzej Trybulec in the 1970s, and other automated proof checking systems used for formalizing mathematics. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Journal of Automated Reasoning Springer Journals

Loading next page...
 
/lp/springer-journals/four-decades-of-mizar-rsp1IKNXX3

References (5)

Publisher
Springer Journals
Copyright
Copyright © 2015 by The Author(s)
Subject
Computer Science; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Mathematical Logic and Foundations; Symbolic and Algebraic Manipulation
ISSN
0168-7433
eISSN
1573-0670
DOI
10.1007/s10817-015-9345-1
Publisher site
See Article on Publisher Site

Abstract

This special issue is dedicated to works related to Mizar, the theorem proving project started by Andrzej Trybulec in the 1970s, and other automated proof checking systems used for formalizing mathematics.

Journal

Journal of Automated ReasoningSpringer Journals

Published: Sep 15, 2015

There are no references for this article.