Conference: CICM-13 (13th Conference on Intelligent Computer Mathematics)

Conference: CICM-13 (13th Conference on Intelligent Computer Mathematics)

This page shows all presentations from this conference published in EasyChair Smart Slide.

A Survey of Languages for Formalizing Mathematics

A Survey of Languages for Formalizing Mathematics

Cezary Kaliszyk and Florian Rabe

Induction with Generalization in Superposition Reasoning

Induction with Generalization in Superposition Reasoning

Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov

AutoMSC: Automatic Assignment of Mathematicas Subject Classification Labels

AutoMSC: Automatic Assignment of Mathematicas Subject Classification Labels

Moritz Schubotz, Philipp Scharpf, Olaf Teschke, Andreas Kühnemund, Corinna Breitinger and Bela Gipp

Presentations in this collection: 3