Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642141270, 9783642141287

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-14128-7_12 ◽

2010 ◽

pp. 132-146 ◽

Cited By ~ 12

Author(s):

Josef Urban ◽

Geoff Sutcliffe

Keyword(s):

Automated Reasoning

Download Full-text

On Krawtchouk Transforms

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-14128-7_7 ◽

2010 ◽

pp. 64-75

Author(s):

Philip Feinsilver ◽

René Schott

Download Full-text

A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-14128-7_3 ◽

2010 ◽

pp. 14-18 ◽

Cited By ~ 1

Author(s):

Jacques Calmet ◽

John A. Campbell

Keyword(s):

Artificial Intelligence

Download Full-text

Adapting Mathematical Domain Reasoners

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-14128-7_27 ◽

2010 ◽

pp. 315-330 ◽

Cited By ~ 3

Author(s):

Bastiaan Heeren ◽

Johan Jeuring

Download Full-text

Smart Matching

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-14128-7_23 ◽

2010 ◽

pp. 263-277 ◽

Cited By ~ 3

Author(s):

Andrea Asperti ◽

Enrico Tassi

Download Full-text

Instantiation of SMT Problems Modulo Integers

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-14128-7_6 ◽

2010 ◽

pp. 49-63 ◽

Cited By ~ 1

Author(s):

Mnacho Echenim ◽

Nicolas Peltier

Download Full-text

The Dynamic Dictionary of Mathematical Functions

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-14128-7_2 ◽

2010 ◽

pp. 13-13

Author(s):

Bruno Salvy

Keyword(s):

Mathematical Functions

Download Full-text

Against Rigor

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-14128-7_22 ◽

2010 ◽

pp. 262-262

Author(s):

Doron Zeilberger

Download Full-text

An Integrated Development Environment for Collections

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-14128-7_29 ◽

2010 ◽

pp. 336-344 ◽

Cited By ~ 1

Author(s):

Constantin Jucovschi ◽

Michael Kohlhase

Keyword(s):

Integrated Development Environment ◽

Development Environment ◽

Integrated Development

Download Full-text

The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-642-14128-7_33 ◽

2010 ◽

pp. 385-397 ◽

Cited By ~ 2

Author(s):

Andriy Kovalchuk ◽

Vyacheslav Levitsky ◽

Igor Samolyuk ◽

Valentyn Yanchuk

Keyword(s):

User Friendly

Download Full-text

Lecture Notes in Computer Science - Intelligent Computer MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar

On Krawtchouk Transforms

A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence

Adapting Mathematical Domain Reasoners

Smart Matching

Instantiation of SMT Problems Modulo Integers

The Dynamic Dictionary of Mathematical Functions

Against Rigor

An Integrated Development Environment for Collections

The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents

Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications