Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319968117, 9783319968124
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Enhancing ENIGMA Given Clause Guidance

2018 ◽  
pp. 118-124 ◽  
Author(s):  
Jan Jakubův ◽  
Josef Urban

Gröbner Bases of Modules and Faugère’s $$F_4$$F4 Algorithm in Isabelle/HOL

2018 ◽  
pp. 178-193 ◽  
Author(s):  
Alexander Maletzky ◽  
Fabian Immler
Keyword(s):  
Gröbner Bases ◽  
Grobner Bases

Discourse Phenomena in Mathematical Documents

2018 ◽  
pp. 147-163
Author(s):  
Andrea Kohlhase ◽  
Michael Kohlhase ◽  
Taweechai Ouypornkochagorn

Formalized Mathematical Content in Lecture Notes on Modelling and Analysis

2018 ◽  
pp. 125-130
Author(s):  
Michael Junk ◽  
Stefan Hölle ◽  
Sebastian Sahli
Keyword(s):  
Mathematical Content ◽  
Lecture Notes

scholarly journals Automated Symbolic and Numerical Testing of DLMF Formulae Using Computer Algebra Systems

2018 ◽  
pp. 39-52 ◽  
Author(s):  
Howard S. Cohl ◽  
André Greiner-Petter ◽  
Moritz Schubotz
Keyword(s):  
Computer Algebra ◽  
Computer Algebra Systems ◽  
Numerical Testing

Translating the IMPS Theory Library to MMT/OMDoc

2018 ◽  
pp. 7-22 ◽  
Author(s):  
Jonas Betzendahl ◽  
Michael Kohlhase

scholarly journals System Description: XSL-Based Translator of Mizar to LaTeX

2018 ◽  
pp. 1-6 ◽  
Author(s):  
Grzegorz Bancerek ◽  
Adam Naumowicz ◽  
Josef Urban
Keyword(s):  
System Description
Load More ...
Sign in / Sign up

Export Citation Format

Share Document