Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 19)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030810962, 9783030810979
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Learning to Solve Geometric Construction Problems from Images

2021 ◽  
pp. 167-184
Author(s):  
Jaroslav Macke ◽  
Jiri Sedlar ◽  
Miroslav Olsak ◽  
Josef Urban ◽  
Josef Sivic
Keyword(s):  
Geometric Construction

Beautiful Formalizations in Isabelle/Naproche

2021 ◽  
pp. 19-31
Author(s):  
Adrian De Lon ◽  
Peter Koepke ◽  
Anton Lorenzen ◽  
Adrian Marti ◽  
Marcel Schütz ◽  
...  

scholarly journals Inductive Benchmarks for Automated Reasoning

2021 ◽  
pp. 124-129
Author(s):  
Márton Hajdu ◽  
Petra Hozzová ◽  
Laura Kovács ◽  
Johannes Schoisswohl ◽  
Andrei Voronkov
Keyword(s):  
Automated Reasoning

CICM’21 Systems Entries

2021 ◽  
pp. 245-248
Author(s):  
Martin Líška ◽  
Dávid Lupták ◽  
Vít Novotný ◽  
Michal Růžička ◽  
Boris Shminke ◽  
...  

scholarly journals Online Machine Learning Techniques for Coq: A Comparison

2021 ◽  
pp. 67-83
Author(s):  
Liao Zhang ◽  
Lasse Blaauwbroek ◽  
Bartosz Piotrowski ◽  
Prokop Černỳ ◽  
Cezary Kaliszyk ◽  
...  
Keyword(s):  
Machine Learning ◽  
Machine Learning Techniques ◽  
Learning Techniques
Load More ...
Sign in / Sign up

Export Citation Format

Share Document