×

Found 4 Documents (Results 1–4)

Mizar: state-of-the-art and beyond. (English) Zbl 1417.68201

Kerber, Manfred (ed.) et al., Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9150, 261-279 (2015).
MSC:  68T30 68T15
PDFBibTeX XMLCite
Full Text: DOI

On duplication in mathematical repositories. (English) Zbl 1286.68429

Autexier, Serge (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence, 300-314 (2010).
MSC:  68T30 68U35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Revisions as an essential tool to maintain mathematical repositories. (English) Zbl 1202.68465

Kauers, Manuel (ed.) et al., Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27–30, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73083-5/pbk). Lecture Notes in Computer Science 4573. Lecture Notes in Artificial Intelligence, 235-249 (2007).
MSC:  68U35 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software