Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings

DOI10.1007/978-3-319-96812-4zbMath1392.68030OpenAlexW211671548MaRDI QIDQ1653699

No author found.

Publication date: 6 August 2018

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-96812-4

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68Txx)

Uses Software

• Coq
• Isabelle
• Isabelle/HOL
• Mizar
• MMT
• OMDoc
• Aligator.jl
• MathTools
• RISCAL
• CoqHammer
• MathChat

This page was built for publication: Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13--17, 2018. Proceedings