Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications

TOTAL DOCUMENTS

47

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540851097, 9783540851103

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Visual Mathematics: Diagrammatic Formalization and Proof

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-540-85110-3_39 ◽

2008 ◽

pp. 478-493 ◽

Author(s):

John Howse ◽

Gem Stapleton

Download Full-text

A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-540-85110-3_14 ◽

2008 ◽

pp. 170-183 ◽

Author(s):

Eugenio Roanes-Lozano ◽

Luis M. Laita ◽

Eugenio Roanes-Macías

Keyword(s):

Modal Logic ◽

Download Full-text

Symmetry and Search – A Survey

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-540-85110-3_1 ◽

2008 ◽

pp. 1-1

Author(s):

Steve Linton

Download Full-text

Automated Model Building: From Finite to Infinite Models

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-540-85110-3_13 ◽

2008 ◽

pp. 155-169

Author(s):

Nicolas Peltier

Keyword(s):

Model Building ◽

Automated Model Building

Download Full-text

Search Techniques for Rational Polynomial Orders

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-540-85110-3_10 ◽

2008 ◽

pp. 109-124 ◽

Author(s):

Carsten Fuhs ◽

Rafael Navarro-Marset ◽

Carsten Otto ◽

Jürgen Giesl ◽

Salvador Lucas ◽

...

Keyword(s):

Search Techniques ◽

Rational Polynomial

Download Full-text

Symbolic Computation Software Composability

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-540-85110-3_24 ◽

2008 ◽

pp. 285-295 ◽

Author(s):

Sebastian Freundt ◽

Peter Horn ◽

Alexander Konovalov ◽

Steve Linton ◽

Dan Roozemond

Keyword(s):

Symbolic Computation

Download Full-text

Automating Side Conditions in Formalized Partial Functions

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-540-85110-3_26 ◽

2008 ◽

pp. 300-314 ◽

Author(s):

Cezary Kaliszyk

Keyword(s):

Partial Functions

Download Full-text

Automated Classification and Categorization of Mathematical Knowledge

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-540-85110-3_44 ◽

2008 ◽

pp. 543-557 ◽

Author(s):

Radim Řehůřek ◽

Petr Sojka

Keyword(s):

Mathematical Knowledge ◽

Automated Classification

Download Full-text

MetiTarski: An Automatic Prover for the Elementary Functions

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-540-85110-3_18 ◽

2008 ◽

pp. 217-231 ◽

Author(s):

Behzad Akbarpour ◽

Lawrence C. Paulson

Keyword(s):

Elementary Functions

Download Full-text

Mechanising a Proof of Craig’s Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-540-85110-3_5 ◽

2008 ◽

pp. 38-52 ◽

Author(s):

Peter Chapman ◽

James McKinna ◽

Christian Urban

Keyword(s):

Intuitionistic Logic ◽

Interpolation Theorem ◽

Craig’S Interpolation Theorem

Download Full-text