We thank Kimberlee Moran (Rutgers University, Camden) for technical assistance, proof-reading, and helpful comments on the manuscript.
The authors wish to thank Mr. Prasath Jayakaran for assistance with proof reading.
We would like to thank Dr Anthony Moody for his assistance with proof reading the manuscript and Katie Bowen and Jennie Hall for their assistance with recruitment.
The pre-publication history for this paper can be accessed here: http://www.biomedcentral.com/1471-2474/13/154/prepub The authors thank Mrs. Kaye Schreyer for editorial assistance and proof reading.
With this in mind, and while the automated reasoning community continues to try to meet the grand challenge of building increasingly powerful theorem provers, mathematicians can draw now some of the benefits offered by current systems, including assistance in completing proof gaps or formalizing and checking the correctness of proposed proofs.
This article describes the MizarMode and focuses on the proof assistance functions and tools available in it.
Nuprl (Constable et al. 1986) is a computer system supporting a particular mathematical theory, namely constructive type theory, and whose aim is to provide assistance in the proof development process.
Cameroonian Communications Minister Issa Tchiroma Bakary referred to this assistance as "concrete proof of the solidarity, of the perfect harmony between two heads of state whose people are friends, and who are economically interdependent".
With the assistance of Feather Proof Books, Robert Ryan will be produce a book of his paintings entitled The Inborn Absolute, with interviews by Freddy Corbin and Genesis P-Orridge, available this summer.
We thank Marina Frömming for excellent technical assistance, Jodie Urcioli for proof reading the manuscript, and Jean Pierre Kinet for helpful discussions.
The authors thank David Main (Crops and Livestock Research Centre, Charlottetown, PEI), Leonardo Galindo (University of Alberta, Edmonton, AB) and Elsa Reimer and Andrzej Walichnowski (Cereal Research Centre, Winnipeg, MB) for their technical assistance and helpful proof reading.
