Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319620749, 9783319620756
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals DeepAlgebra - An Outline of a Program

2017 ◽  
pp. 1-8 ◽  
Author(s):  
Przemysław Chojecki

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

2017 ◽  
pp. 9-24 ◽  
Author(s):  
Jacques Carette ◽  
William M. Farmer
Keyword(s):  
Mathematical Knowledge

Part-of-Math Tagging and Applications

2017 ◽  
pp. 356-374 ◽  
Author(s):  
Abdou Youssef

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

2017 ◽  
pp. 132-146 ◽  
Author(s):  
Joseph Corneli ◽  
Ursula Martin ◽  
Dave Murray-Rust ◽  
Alison Pease
Keyword(s):  
Question And Answer ◽  
Mathematical Question

scholarly journals VMEXT: A Visualization Tool for Mathematical Expression Trees

2017 ◽  
pp. 340-355 ◽  
Author(s):  
Moritz Schubotz ◽  
Norman Meuschke ◽  
Thomas Hepp ◽  
Howard S. Cohl ◽  
Bela Gipp
Keyword(s):  
Mathematical Expression ◽  
Visualization Tool

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

2017 ◽  
pp. 115-131 ◽  
Author(s):  
Howard S. Cohl ◽  
Moritz Schubotz ◽  
Abdou Youssef ◽  
André Greiner-Petter ◽  
Jürgen Gerhard ◽  
...  
Keyword(s):  
Computer Algebra ◽  
Document Preparation ◽  
Computer Algebra Systems

scholarly journals Formalization of Transform Methods Using HOL Light

2017 ◽  
pp. 319-332 ◽  
Author(s):  
Adnan Rashid ◽  
Osman Hasan
Keyword(s):  
Transform Methods ◽  
Hol Light
Load More ...
Sign in / Sign up

Export Citation Format

Share Document