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

9783319620749, 9783319620756

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

DeepAlgebra - An Outline of a Program

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-62075-6_1 ◽

2017 ◽

pp. 1-8 ◽

Cited By ~ 1

Author(s):

Przemysław Chojecki

Download Full-text

Theory Morphisms in Church’s Type Theory with Quotation and Evaluation

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-62075-6_11 ◽

2017 ◽

pp. 147-162 ◽

Cited By ~ 2

Author(s):

William M. Farmer

Keyword(s):

Type Theory

Download Full-text

Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-62075-6_2 ◽

2017 ◽

pp. 9-24 ◽

Cited By ~ 3

Author(s):

Jacques Carette ◽

William M. Farmer

Keyword(s):

Mathematical Knowledge

Download Full-text

Part-of-Math Tagging and Applications

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-62075-6_25 ◽

2017 ◽

pp. 356-374 ◽

Cited By ~ 10

Author(s):

Abdou Youssef

Download Full-text

Combining Refinement and Signal-Temporal Logic for Biological Systems

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-62075-6_23 ◽

2017 ◽

pp. 333-339

Author(s):

Usman Sanwal ◽

Umair Siddique

Keyword(s):

Temporal Logic ◽

Biological Systems

Download Full-text

Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-62075-6_10 ◽

2017 ◽

pp. 132-146 ◽

Cited By ~ 3

Author(s):

Joseph Corneli ◽

Ursula Martin ◽

Dave Murray-Rust ◽

Alison Pease

Keyword(s):

Question And Answer ◽

Mathematical Question

Download Full-text

Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-62075-6_14 ◽

2017 ◽

pp. 193-207 ◽

Cited By ~ 3

Author(s):

Cezary Kaliszyk ◽

Karol Pąk

Download Full-text

VMEXT: A Visualization Tool for Mathematical Expression Trees

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-62075-6_24 ◽

2017 ◽

pp. 340-355 ◽

Cited By ~ 2

Author(s):

Moritz Schubotz ◽

Norman Meuschke ◽

Thomas Hepp ◽

Howard S. Cohl ◽

Bela Gipp

Keyword(s):

Mathematical Expression ◽

Visualization Tool

Download Full-text

Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-62075-6_9 ◽

2017 ◽

pp. 115-131 ◽

Cited By ~ 5

Author(s):

Howard S. Cohl ◽

Moritz Schubotz ◽

Abdou Youssef ◽

André Greiner-Petter ◽

Jürgen Gerhard ◽

...

Keyword(s):

Computer Algebra ◽

Document Preparation ◽

Computer Algebra Systems

Download Full-text

Formalization of Transform Methods Using HOL Light

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-62075-6_22 ◽

2017 ◽

pp. 319-332 ◽

Cited By ~ 6

Author(s):

Adnan Rashid ◽

Osman Hasan

Keyword(s):

Transform Methods ◽

Hol Light

Download Full-text

Lecture Notes in Computer Science - Intelligent Computer MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

DeepAlgebra - An Outline of a Program

Theory Morphisms in Church’s Type Theory with Quotation and Evaluation

Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study

Part-of-Math Tagging and Applications

Combining Refinement and Signal-Temporal Logic for Biological Systems

Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues

Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic

VMEXT: A Visualization Tool for Mathematical Expression Trees

Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems

Formalization of Transform Methods Using HOL Light

Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications