| Formalization of RBD-Based Cause Consequence Analysıs in HOL
|
2021 |
Abdelghany, Mohamed |
| Towards Math Terms Disambiguation Using Machine Learning
|
2021 |
Shan, Ruocheng |
| 10 Years Later: The Mathematics Subject Classification and Linked Open Data
|
2021 |
Arndt, Susanne |
| Leaming to Solve Geometric Construction Problems from Images
|
2021 |
Macke, Jaroslav |
| A Modular First Formalisation of Combinatorial Design Theory
|
2021 |
Edmonds, Chelsea |
| Beautiful Formalizations in Isabelle/Naproche
|
2021 |
Lon, Adrian De |
| Improving Stateful Premise Selection with Transformers
|
2021 |
Prorokovic, Krsto |
| WebMlaS on Docker: Deploying Math-Aware Search in a Single Line of Code
|
2021 |
Lupták, Dávid |
| Inductive Benchmarks for Automated Reasoning
|
2021 |
Hajdu, Märton |
| Automated Generation of Exam Sheets for Automated Deduction
|
2021 |
Hozzová, Petra |
| Gauss-Lintel, an Algorithm Suite for Exploring Chord Diagrams
|
2021 |
Khan, Abdullah |
| Generating Custom Set Theories with Non-set Structured Objects
|
2021 |
Dunne, Ciaran |
| CICM’21 Systems Entries
|
2021 |
Liska, Martin |
| Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL
|
2021 |
From, Asta Halkjer |
| Online Machine Learning Techniques for Coq: A Comparison
|
2021 |
Zhang, Liao |
| Heterogeneous Heuristic Optimisation and Scheduling for First-Order Theorem Proving
|
2021 |
Holden, Edvard K. |
| Theorema A Heuristic Prover for Elementary Analysis in Theorema
|
2021 |
Jebelean, Tudor |
| Searching for Mathematical Formulas Based on Graph Representation Leaming
|
2021 |
Song, Yujin |
| A New Export of the Mizar Mathematical Library
|
2021 |
Rothgang, Colin |
| A Language with Type-Dependent Equality
|
2021 |
Rabe, Florian |
Tag hinzufügen