Custom automations in Mizar

Caminati, Marco Bright and Rosolini, Giuseppe (2012) Custom automations in Mizar. Journal of Automated Reasoning, 50. 147–160. ISSN 0168-7433

Full text not available from this repository.

Abstract

The central aim of the Mizar project is to produce strictly formalized mathematical statements with mechanically certified proofs. When writing a Mizar formalization, a significant amount of the user’s time typically goes into browsing the Mizar Mathematical Library (MML) for the already-proved results he needs. Here a few techniques to reduce this time are illustrated.

Item Type:
Journal Article
Journal or Publication Title:
Journal of Automated Reasoning
Uncontrolled Keywords:
/dk/atira/pure/subjectarea/asjc/1700/1702
Subjects:
?? artificial intelligencecomputational theory and mathematicssoftware ??
ID Code:
185176
Deposited By:
Deposited On:
01 Feb 2023 12:35
Refereed?:
Yes
Published?:
Published
Last Modified:
28 Nov 2023 10:37