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 ??

Departments:

Faculty of Science and Technology > School of Computing & Communications

ID Code:

185176

Deposited By:

ep_importer_pure

Deposited On:

01 Feb 2023 12:35

Refereed?:

Yes

Published?:

Published

Last Modified:

15 Jul 2024 23:29

URI:

https://eprints.lancs.ac.uk/id/eprint/185176