Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319968117, 9783319968124

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-96812-4_15 ◽

2018 ◽

pp. 164-177 ◽

Cited By ~ 1

Author(s):

Zoltán Kovács

Keyword(s):

Automated Reasoning ◽

Dynamic Geometry ◽

Regular Polygons

Download Full-text

Enhancing ENIGMA Given Clause Guidance

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-96812-4_11 ◽

2018 ◽

pp. 118-124 ◽

Cited By ~ 3

Author(s):

Jan Jakubův ◽

Josef Urban

Download Full-text

Validating Mathematical Theorems and Algorithms with RISCAL

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-96812-4_21 ◽

2018 ◽

pp. 248-254 ◽

Cited By ~ 3

Author(s):

Wolfgang Schreiner

Download Full-text

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

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-96812-4_16 ◽

2018 ◽

pp. 178-193 ◽

Cited By ~ 1

Author(s):

Alexander Maletzky ◽

Fabian Immler

Keyword(s):

Gröbner Bases ◽

Grobner Bases

Download Full-text

Discourse Phenomena in Mathematical Documents

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-96812-4_14 ◽

2018 ◽

pp. 147-163

Author(s):

Andrea Kohlhase ◽

Michael Kohlhase ◽

Taweechai Ouypornkochagorn

Download Full-text

Formalized Mathematical Content in Lecture Notes on Modelling and Analysis

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-96812-4_12 ◽

2018 ◽

pp. 125-130

Author(s):

Michael Junk ◽

Stefan Hölle ◽

Sebastian Sahli

Keyword(s):

Mathematical Content ◽

Lecture Notes

Download Full-text

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

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-96812-4_4 ◽

2018 ◽

pp. 39-52 ◽

Cited By ~ 1

Author(s):

Howard S. Cohl ◽

André Greiner-Petter ◽

Moritz Schubotz

Keyword(s):

Computer Algebra ◽

Computer Algebra Systems ◽

Numerical Testing

Download Full-text

Translating the IMPS Theory Library to MMT/OMDoc

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-96812-4_2 ◽

2018 ◽

pp. 7-22 ◽

Cited By ~ 1

Author(s):

Jonas Betzendahl ◽

Michael Kohlhase

Download Full-text

Isabelle Import Infrastructure for the Mizar Mathematical Library

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-96812-4_13 ◽

2018 ◽

pp. 131-146

Author(s):

Cezary Kaliszyk ◽

Karol Pąk

Keyword(s):

Mizar Mathematical Library

Download Full-text

System Description: XSL-Based Translator of Mizar to LaTeX

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-96812-4_1 ◽

2018 ◽

pp. 1-6 ◽

Cited By ~ 1

Author(s):

Grzegorz Bancerek ◽

Adam Naumowicz ◽

Josef Urban

Keyword(s):

System Description

Download Full-text

Lecture Notes in Computer Science - Intelligent Computer MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools

Enhancing ENIGMA Given Clause Guidance

Validating Mathematical Theorems and Algorithms with RISCAL

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

Discourse Phenomena in Mathematical Documents

Formalized Mathematical Content in Lecture Notes on Modelling and Analysis

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

Translating the IMPS Theory Library to MMT/OMDoc

Isabelle Import Infrastructure for the Mizar Mathematical Library

System Description: XSL-Based Translator of Mizar to LaTeX

Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications