More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

14th CICM 2021: Timisoara, Romania

> Home > Conferences and Workshops > CICM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2021
Fairouz Kamareddine, Claudio Sacerdoti Coen:
Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings. Lecture Notes in Computer Science 12833, Springer 2021, ISBN 978-3-030-81096-2

Formalizations

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/EdmondsP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/EdmondsP21
Chelsea Edmonds, Lawrence C. Paulson:
A Modular First Formalisation of Combinatorial Design Theory. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/LonKLMSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/LonKLMSS21
Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Erik Sturzenhecker:
Beautiful Formalizations in Isabelle/Naproche. 19-31
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/FromEV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/FromEV21
Asta Halkjær From, Agnes Moesgård Eschen, Jørgen Villadsen:
Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL. 32-46
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AbdelghanyT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AbdelghanyT21
Mohamed Abdelghany, Sofiène Tahar:
Formalization of RBD-Based Cause Consequence Analysis in HOL. 47-64

Automatic Theorem Proving and Machine Learning

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/ZhangBPCKU21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/ZhangBPCKU21
Liao Zhang, Lasse Blaauwbroek, Bartosz Piotrowski, Prokop Cerný, Cezary Kaliszyk, Josef Urban:
Online Machine Learning Techniques for Coq: A Comparison. 67-83
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/ProrokovicWS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/ProrokovicWS21
Krsto Prorokovic, Michael Wand, Jürgen Schmidhuber:
Improving Stateful Premise Selection with Transformers. 84-89
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/ShanY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/ShanY21
Ruocheng Shan, Abdou Youssef:
Towards Math Terms Disambiguation Using Machine Learning. 90-106
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HoldenK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HoldenK21
Edvard K. Holden, Konstantin Korovin:
Heterogeneous Heuristic Optimisation and Scheduling for First-Order Theorem Proving. 107-123
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HajduHKSV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HajduHKSV21
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov:
Inductive Benchmarks for Automated Reasoning. 124-129
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Jebelean21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Jebelean21
Tudor Jebelean:
A Heuristic Prover for Elementary Analysis in Theorema. 130-134

Search and Classification

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/SongC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/SongC21
Yujin Song, Xiaoyu Chen:
Searching for Mathematical Formulas Based on Graph Representation Learning. 137-152
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/ArndtIRST21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/ArndtIRST21
Susanne Arndt, Patrick Ion, Mila Runnwerth, Moritz Schubotz, Olaf Teschke:
10 Years Later: The Mathematics Subject Classification and Linked Open Data. 153-158
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/LuptakNSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/LuptakNSS21
Dávid Lupták, Vít Novotný, Michal Stefánik, Petr Sojka:
WebMIaS on Docker - Deploying Math-Aware Search in a Single Line of Code. 159-164

Teaching and Geometric Reasoning

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/MackeSOUS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/MackeSOUS21
Jaroslav Macke, Jirí Sedlár, Miroslav Olsák, Josef Urban, Josef Sivic:
Learning to Solve Geometric Construction Problems from Images. 167-184
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HozzovaKR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HozzovaKR21
Petra Hozzová, Laura Kovács, Jakob Rath:
Automated Generation of Exam Sheets for Automated Deduction. 185-196
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KhanLV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KhanLV21
Abdullah Khan, Alexei Lisitsa, Alexei Vernitski:
Gauss-Lintel, an Algorithm Suite for Exploring Chord Diagrams. 197-202

Logic and Systems

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/RothgangKR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/RothgangKR21
Colin Rothgang, Artur Kornilowicz, Florian Rabe:
A New Export of the Mizar Mathematical Library. 205-210
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Rabe21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Rabe21
Florian Rabe:
A Language with Type-Dependent Equality. 211-227
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/DunneWK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/DunneWK21
Ciarán Dunne, J. B. Wells, Fairouz Kamareddine:
Generating Custom Set Theories with Non-set Structured Objects. 228-244
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/LiskaLNRSSSW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/LiskaLNRSSSW21
Martin Líska, Dávid Lupták, Vít Novotný, Michal Ruzicka, Boris Shminke, Petr Sojka, Michal Stefánik, Makarius Wenzel:
CICM'21 Systems Entries. 245-248

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.