CICM 2021: 14TH CONFERENCE ON INTELLIGENT COMPUTER MATHEMATICS

A
Abdelghany, Mohamed	Formalization of RBD-based Cause Consequence Analysis in HOL Formal Probabilistic Risk Assessment using Theorem Proving Applied to Power Systems
Ahmed, Muhammad	Formalization of Transform Methods in Higher-order Logic: A Survey
Aizawa, Akiko	Assimilating the structure of formal and informal proof MioGatto: A Math Identifier-oriented Grounding Annotation Tool
Arndt, Susanne	10 Years Later: The Mathematics Subject Classification and Linked Open Data
Asakura, Takuto	MioGatto: A Math Identifier-oriented Grounding Annotation Tool
Ashraf, Sobia	Formal Verification of Single Dual Setting Overcurrent Directional Relay Based Line Protection Logic for Smart Grids
Avigad, Jeremy	The design of mathematical language (invited talk) Verified Optimization (work in progress)
B
Baysal, Mustafa	Formal Verification of Single Dual Setting Overcurrent Directional Relay Based Line Protection Logic for Smart Grids
Bentkamp, Alexander	Verified Optimization (work in progress)
Best, Alexander	Automatically Generalizing Theorems Using Typeclasses
Betzendahl, Jonas	Reasoning Support for Undefinedness and Soft Typing in Formal Mathematics
Blaauwbroek, Lasse	Online Machine Learning Techniques for Coq: A Comparison
Bordg, Anthony	Elements of Differential Geometry in Lean: A Report for Mathematicians
C
Carneiro, Mario	Porting Mathlib (invited talk)
Cavalleri, Nicolo	Elements of Differential Geometry in Lean: A Report for Mathematicians
Chen, Xiaoyu	Searching for mathematical formulas based on graph representation learning
Chugh, Abhishek	Sophize Markdown and Collaboration Interface
D
Davenport, James	Databases of problems, algorithmic contests and Openmath ATLAS: Interactive and Educational Linear Algebra System Containing Non-Standard Methods
De Lon, Adrian	Beautiful Formalizations in Isabelle/Naproche
de Moura, Flavio L. C.	A Formalization of the (Compositional) Z Property
Dunne, Ciaran	Generating Custom Set Theories with Non-Set Structured Objects
E
Eberl, Manuel	Fighting the Curse of De Bruijn (invited talk)
Edmonds, Chelsea	A Modular First Formalisation of Combinatorial Designs
Eschen, Agnes Moesgård	Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL
Evkay, Ibrahim	Formal Verification of Single Dual Setting Overcurrent Directional Relay Based Line Protection Logic for Smart Grids
F
Farmer, William	Formal Mathematics for the Masses
From, Asta Halkjær	Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL
G
Gouezel, Sebastien	Formalizing the Gromov-Hausdorff space
Graham-Lengrand, Stéphane	Semantic parsing of geometry statements using supervised machine learning on synthetic data
H
Hajdu, Márton	Inductive Benchmarks for Automated Reasoning
Holden, Edvard	Heterogeneous Heuristic Optimisation and Selection for First-Order Theorem Proving
Holub, Stepan	Computing the Border Array in Isabelle/HOL
Hozzová, Petra	Automated Generation of Exam Sheets for Automated Deduction Inductive Benchmarks for Automated Reasoning
Huch, Fabian	Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs
I
Ion, Patrick	10 Years Later: The Mathematics Subject Classification and Linked Open Data
J
Jebelean, Tudor	A Heuristic Prover for Elementary Analysis in Theorema (System Description)
Junk, Michael	Story based content structuring in MATh
K
Kaliszyk, Cezary	Online Machine Learning Techniques for Coq: A Comparison
Kamareddine, Fairouz	Generating Custom Set Theories with Non-Set Structured Objects
Kaneko, Masataka	Monitoring the impact of teacher's intervention in inquiry-based mathematics learning with the use of dynamic geometry
Khan, Abdullah	Gauss-lintel, an algorithm suite for chord diagrams exploration
Khan, Muhammad Harun Ali	Formalizing Fibonacci Squares
Koepke, Peter	Beautiful Formalizations in Isabelle/Naproche Natural Typesetting of Naproche Formalizations
Kohlhase, Andrea	A Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking
Kohlhase, Michael	A Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking MioGatto: A Math Identifier-oriented Grounding Annotation Tool sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents Dynamic User Interfaces via Incremental Knowledge Management
Kornilowicz, Artur	A New Export of the Mizar Mathematical Library
Korovin, Konstantin	Heterogeneous Heuristic Optimisation and Selection for First-Order Theorem Proving
Kovács, Laura	Automated Generation of Exam Sheets for Automated Deduction Inductive Benchmarks for Automated Reasoning
Kovács, Laura	Induction in Saturation-Based Reasoning Doing Number Theory in Weak Systems of Arithmetic Logic at work, and some research challenges for computer mathematics Referential Semantics -- a Concept for Bridging between Representations of mathematical/technical Documents and Knowledge
Kovács, Zoltán	Extending GeoGebra/realgeom with QEPCAD B to obtain proofs on geometric inequalities
Kruse, Theresa	Develop a mathematical e-dictionary and test it
Kudryashov, Yury	Formalizing rotation number and its properties in Lean
L
Libbrecht, Paul	Scenarios of copy-and-paste of mathematical objects
Lichtnau, Tim	Natural Typesetting of Naproche Formalizations
Lippert, Jonas	Natural Typesetting of Naproche Formalizations
Lisitsa, Alexei	Gauss-lintel, an algorithm suite for chord diagrams exploration
Lorenzen, Anton	Beautiful Formalizations in Isabelle/Naproche
Lupták, Dávid	WebMIaS on Docker: Deploying Math-Aware Search in a Single Line of Code
M
Macke, Jaroslav	Learning to solve geometric construction problems from images
Marcus, Richard	Dynamic User Interfaces via Incremental Knowledge Management
Marti, Adrian	Beautiful Formalizations in Isabelle/Naproche
Miyao, Yusuke	MioGatto: A Math Identifier-oriented Grounding Annotation Tool
Müller, Dennis	sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents
N
Nakahara, Takahiro	Monitoring the impact of teacher's intervention in inquiry-based mathematics learning with the use of dynamic geometry
Nakasho, Kazuhisa	A Web Platform for Hosting the Mizar Mathematical Library
Narboux, Julien	Semantic parsing of geometry statements using supervised machine learning on synthetic data
Noda, Takeo	Monitoring the impact of teacher's intervention in inquiry-based mathematics learning with the use of dynamic geometry
Novotný, Vít	WebMIaS on Docker: Deploying Math-Aware Search in a Single Line of Code
O
Olšák, Miroslav	Learning to solve geometric construction problems from images
P
Pai, Akhilesh	ATLAS: Interactive and Educational Linear Algebra System Containing Non-Standard Methods
Participants, All	Future of OpenMath (discussion)
Paulson, Lawrence	A Modular First Formalisation of Combinatorial Designs
Piotrowski, Bartosz	Online Machine Learning Techniques for Coq: A Comparison
Proroković, Krsto	Improving Stateful Premise Selection withTransformers
Purgał, Stanisław	Deep Learning for Automated Theorem Proving
Pąk, Karol	Formalization of Prime Representing Polynomial in Mizar
R
Rabe, Florian	A Language with Type-Dependent Equality A New Export of the Mizar Mathematical Library
Rashid, Adnan	Formalization of Transform Methods in Higher-order Logic: A Survey
Rath, Jakob	Automated Generation of Exam Sheets for Automated Deduction
Raška, Martin	Producing symmetrical facts for lists induced by the list reversal mapping in Isabelle/HOL
Rezende, Leandro O.	A Formalization of the (Compositional) Z Property
Rothgang, Colin	A New Export of the Mizar Mathematical Library
Roux, Navid	Dynamic User Interfaces via Incremental Knowledge Management
Runnwerth, Mila	10 Years Later: The Mathematics Subject Classification and Linked Open Data
S
Sahli, Sebastian	Story based content structuring in MATh
Sardar, Muhammad Usama	Formal Verification for Secure Hardware Systems
Schaefer, Jan Frederik	sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents
Schihada, John	Dynamic User Interfaces via Incremental Knowledge Management
Schmidhuber, Jürgen	Improving Stateful Premise Selection withTransformers
Schoisswohl, Johannes	Inductive Benchmarks for Automated Reasoning
Schubotz, Moritz	10 Years Later: The Mathematics Subject Classification and Linked Open Data
Schütz, Marcel	Beautiful Formalizations in Isabelle/Naproche
Sedlář, Jiří	Learning to solve geometric construction problems from images
Selamogullari, Ugur	Formal Verification of Single Dual Setting Overcurrent Directional Relay Based Line Protection Logic for Smart Grids
Shan, Ruocheng	Towards Math-Term Disambiguation Using Machine Learning
Shankar, Natarajan	Semantic parsing of geometry statements using supervised machine learning on synthetic data
Shigenaka, Seigo	A Web Platform for Hosting the Mizar Mathematical Library
Sivic, Josef	Learning to solve geometric construction problems from images
Sojka, Petr	WebMIaS on Docker: Deploying Math-Aware Search in a Single Line of Code
Song, Yujin	Searching for mathematical formulas based on graph representation learning
Starosta, Štěpán	Producing symmetrical facts for lists induced by the list reversal mapping in Isabelle/HOL
Sturzenhecker, Erik	Beautiful Formalizations in Isabelle/Naproche
T
Tabet Gonzalez, Salwa	Semantic parsing of geometry statements using supervised machine learning on synthetic data
Tahar, Sofiene	Formalization of RBD-based Cause Consequence Analysis in HOL
Teschke, Olaf	10 Years Later: The Mathematics Subject Classification and Linked Open Data
Tsurusaki, Kensho	Assimilating the structure of formal and informal proof
U
Urban, Josef	Online Machine Learning Techniques for Coq: A Comparison
Urban, Josef	Learning to solve geometric construction problems from images
V
Vajda, Robert	Extending GeoGebra/realgeom with QEPCAD B to obtain proofs on geometric inequalities
Vernitski, Alexei	Gauss-lintel, an algorithm suite for chord diagrams exploration
Villadsen, Jørgen	Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL
Voronkov, Andrei	Inductive Benchmarks for Automated Reasoning
W
Wand, Michael	Improving Stateful Premise Selection withTransformers
Wasaki, Katsumi	A Web Platform for Hosting the Mizar Mathematical Library
Wells, Joe	Generating Custom Set Theories with Non-Set Structured Objects
Wenzel, Ken	OpenMath-RDF: RDF encodings for OpenMath objects and Content Dictionaries Pattern matching for mathematical expressions with OpenMath
Wieser, Eric	Scalar actions in Lean's mathlib
Y
Yamamichi, Daichi	A Web Platform for Hosting the Mizar Mathematical Library
Yang, Zibo	Formalization of Gambler’s Ruin Problem
Youssef, Abdou	Towards Math-Term Disambiguation Using Machine Learning
Z
Zaki, Mohamed H.	Proactive Diagnosis of Traffic Safety: From Data to Formalization (Invited Talk)
Zhang, Liao	Online Machine Learning Techniques for Coq: A Comparison
Č
Černý, Prokop	Online Machine Learning Techniques for Coq: A Comparison
Š
Štefánik, Michal	WebMIaS on Docker: Deploying Math-Aware Search in a Single Line of Code

Disclaimer | Powered by EasyChair Smart Program