CICM-13: 13TH CONFERENCE ON INTELLIGENT COMPUTER MATHEMATICS

A
Affeldt, Reynald	Formal Adventures in Convex and Conical Spaces
Ayala-Rincón, Mauricio	Why We Need Structured Proofs in Mathematics
B
Berčič, Katja	Towards a Heterogeneous Query Language for Mathematical Knowledge
Betzendahl, Jonas	Undefinedness and Soft Typing in Formal Mathematics
Blaauwbroek, Lasse	The Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq
Breitinger, Corinna	AutoMSC: Automatic Assignment of Mathematicas Subject Classification Labels
Buzzard, Kevin	(Invited talk) Formalizing Undergraduate Mathematics
Bösl, Benjamin	FrameIT: Detangling Knowledge Management from Game Design in Serious Games
C
Carette, Jacques	Leveraging Information Contained in Theory Presentations
Carneiro, Mario	Metamath Zero: Designing a Theorem Prover Prover
D
De Lon, Adrian	Interpreting Mathematical Texts in Naproche-SAD (and: From LaTeX to Lean with a controlled natural language)
Dubois, Catherine	(Invited talk) Formally Verified Constraints Solvers: a Guided Tour
Dunne, Ciaran	Adding an Abstraction Barrier to ZF Set Theory
E
Ebner, Gabriel	Maintaining a Library of Formal Mathematics
Elderhalli, Yassmeen	A Framework for Formal Dynamic Dependability Analysis using HOL Theorem Proving (Project Paper)
F
Falileeva, Marina	OntoMathEdu: a New Linguistically Grounded Educational Mathematical Ontology
Farmer, William	Leveraging Information Contained in Theory Presentations
Ferreira Silva, Gabriel	Why We Need Structured Proofs in Mathematics
From, Asta Halkjær	Formally Correct Deduction Methods for Computational Logic
G
Garrigue, Jacques	Formal Adventures in Convex and Conical Spaces
Gauthier, Thibault	Tree Neural Networks in HOL4
Geuvers, Herman	The Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq
Gipp, Bela	AutoMSC: Automatic Assignment of Mathematicas Subject Classification Labels
H
Hajdu, Marton	Induction with Generalization in Superposition Reasoning
Hasan, Osman	A Framework for Formal Dynamic Dependability Analysis using HOL Theorem Proving (Project Paper)
Hozzová, Petra	Induction with Generalization in Superposition Reasoning
J
Junk, Michael	How Natural is Formal Mathematics?
K
Kaliszyk, Cezary	A Survey of Languages for Formalizing Mathematics
Kamareddine, Fairouz	(Invited talk) The evolution of the language of mathematics Adding an Abstraction Barrier to ZF Set Theory
Kirillovich, Alexander	OntoMathEdu: a New Linguistically Grounded Educational Mathematical Ontology
Koepke, Peter	Interpreting Mathematical Texts in Naproche-SAD (and: From LaTeX to Lean with a controlled natural language) Formalizing Foundational Notions in Naproche-SAD (4 short talks)
Kohlhase, Michael	Towards a Heterogeneous Query Language for Mathematical Knowledge Representing Structural Language Features in Formal Meta-Languages FrameIT: Detangling Knowledge Management from Game Design in Serious Games Integrating Formal Methods into LaTeX Workflows TGView3D: a System for 3-Dimensional Visualization of Theory Graphs
Kovacs, Laura	Induction with Generalization in Superposition Reasoning Formalizing Graph Trail Properties in Isabelle/HOL
Kruse, Theresa	Studying the learning process of student teachers regarding the subject of mathematical terminology in graph theory with the usage of an electronic dictionary
Kühnemund, Andreas	AutoMSC: Automatic Assignment of Mathematicas Subject Classification Labels
L
Lachnitt, Hanna	Formalizing Graph Trail Properties in Isabelle/HOL
Levandovskyy, Viktor	Formally Verifying Proofs for Algebraic Identities of Matrices
Lewis, Robert	Maintaining a Library of Formal Mathematics
Lipachev, Evgeny	OntoMathEdu: a New Linguistically Grounded Educational Mathematical Ontology
Lorenzen, Anton	Interpreting Mathematical Texts in Naproche-SAD (and: From LaTeX to Lean with a controlled natural language)
M
Marcus, Richard	FrameIT: Detangling Knowledge Management from Game Design in Serious Games TGView3D: a System for 3-Dimensional Visualization of Theory Graphs
Miller, Bruce	A Contextual and Labeled Math-Dataset Derived from NIST's DLMF
Müller, Dennis	Representing Structural Language Features in Formal Meta-Languages FrameIT: Detangling Knowledge Management from Game Design in Serious Games Integrating Formal Methods into LaTeX Workflows
N
Nagashima, Yutaka	Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description)
Naumowicz, Adam	Formalization of elementary number theory in Mizar
Nevzorova, Olga	OntoMathEdu: a New Linguistically Grounded Educational Mathematical Ontology
P
Penquitt, Jan	Formalizing Foundational Notions in Naproche-SAD (4 short talks)
Piotrowski, Bartosz	Guiding Connection Tableau by Recurrent Neural Networks
R
Rabe, Florian	A Survey of Languages for Formalizing Mathematics Towards a Heterogeneous Query Language for Mathematical Knowledge Representing Structural Language Features in Formal Meta-Languages TGView3D: a System for 3-Dimensional Visualization of Theory Graphs
Rochau, Denis	FrameIT: Detangling Knowledge Management from Game Design in Serious Games
Rothgang, Colin	Representing Structural Language Features in Formal Meta-Languages
Roux, Navid	FrameIT: Detangling Knowledge Management from Game Design in Serious Games
S
Sahli, Sebastian	How Natural is Formal Mathematics?
Saikawa, Takafumi	Formal Adventures in Convex and Conical Spaces
Sardar, Muhammad Usama	Formal Verification for Safe and Secure Hardware Systems
Schaefer, Jan Frederik	High-Precision Semantics Extraction in STEM
Scharpf, Philipp	AutoMSC: Automatic Assignment of Mathematicas Subject Classification Labels
Schihada, John	FrameIT: Detangling Knowledge Management from Game Design in Serious Games
Schmitz, Leonard	Formally Verifying Proofs for Algebraic Identities of Matrices
Schoisswohl, Johannes	Induction with Generalization in Superposition Reasoning
Schubotz, Moritz	AutoMSC: Automatic Assignment of Mathematicas Subject Classification Labels
Schütz, Marcel	Formalizing Foundational Notions in Naproche-SAD (4 short talks)
Shakirova, Liliana	OntoMathEdu: a New Linguistically Grounded Educational Mathematical Ontology
Sharoda, Yasmine	Leveraging Information Contained in Theory Presentations
Stamminger, Marc	FrameIT: Detangling Knowledge Management from Game Design in Serious Games
Sturzenhecker, Erik	Formalizing Foundational Notions in Naproche-SAD (4 short talks)
Szegedy, Christian	(Invited talk) A Promising Path Towards Autoformalization and General Artificial Intelligence
Szeider, Stefan	Formalizing Graph Trail Properties in Isabelle/HOL
T
Tahar, Sofiene	A Framework for Formal Dynamic Dependability Analysis using HOL Theorem Proving (Project Paper)
Teschke, Olaf	AutoMSC: Automatic Assignment of Mathematicas Subject Classification Labels
U
Urban, Josef	The Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq Guiding Connection Tableau by Recurrent Neural Networks First Datasets and Experiments with Neural Conjecturing
V
van Doorn, Floris	Maintaining a Library of Formal Mathematics
Voronkov, Andrei	Induction with Generalization in Superposition Reasoning
W
Wells, Joe	Adding an Abstraction Barrier to ZF Set Theory
Wiedijk, Freek	(Invited talk) Formal Proofs for the Future
Y
Youssef, Abdou	A Contextual and Labeled Math-Dataset Derived from NIST's DLMF

Disclaimer | Powered by EasyChair Smart Program