Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8--12, 2019. Proceedings

DOI10.1007/978-3-030-23250-4MaRDI QIDQ2282174zbMATH OpenOpenAlexFDO

Authors

Publication date 7 January 2020

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

Full work available at URL https://doi.org/10.1007/978-3-030-23250-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) Computer science support for mathematical research and practice (68Vxx)

Cited in

(6)

• Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26--31, 2021. Proceedings
• CICM'21 systems entries
• Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7--11, 2014. Proceedings
• scientific article; zbMATH DE number 5189552 (Why is no real title available?)
• Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5--8, 2023. Proceedings
• Making the census of cubic vertex transitive graphs searchable and FAIR

Describes a project that uses

Uses Software

• Isabelle/HOL
• Isabelle/PIDE
• MMTTeX
• Coq
• Isabelle
• MMT

This page was built for publication: Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8--12, 2019. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2282174)