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

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 ◽

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 ◽

Author(s):

Alexander Maletzky ◽

Fabian Immler

Keyword(s):

Gröbner 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 ◽

Download Full-text

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 ◽

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 ◽

Author(s):

Jan Jakubův ◽

Josef Urban

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 ◽

Author(s):

Howard S. Cohl ◽

André Greiner-Petter ◽

Moritz Schubotz

Keyword(s):

Computer Algebra ◽

Computer Algebra Systems ◽

Numerical Testing

Download Full-text

Using the Isabelle Ontology Framework

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

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

2018 ◽

pp. 23-38 ◽

Author(s):

Achim D. Brucker ◽

Idir Ait-Sadoune ◽

Paolo Crisafulli ◽

Burkhart Wolff

Download Full-text

Goal-Oriented Conjecturing for Isabelle/HOL

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

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

2018 ◽

pp. 225-231 ◽

Author(s):

Yutaka Nagashima ◽

Julian Parsert

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 ◽

Author(s):

Jonas Betzendahl ◽

Michael Kohlhase

Download Full-text