Towards Mechanized Mathematical Assistants - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540730835, 9783540730866

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Narrative Structure of Mathematical Texts

Towards Mechanized Mathematical Assistants - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73086-6_24 ◽

2007 ◽

pp. 296-312 ◽

Cited By ~ 6

Author(s):

Fairouz Kamareddine ◽

Manuel Maarek ◽

Krzysztof Retel ◽

J. B. Wells

Keyword(s):

Narrative Structure ◽

Mathematical Texts

Download Full-text

A Rational Reconstruction of a System for Experimental Mathematics

Towards Mechanized Mathematical Assistants - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73086-6_2 ◽

2007 ◽

pp. 13-26 ◽

Cited By ~ 3

Author(s):

Jacques Carette ◽

William M. Farmer ◽

Volker Sorge

Keyword(s):

Rational Reconstruction ◽

Experimental Mathematics

Download Full-text

Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic

Towards Mechanized Mathematical Assistants - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73086-6_7 ◽

2007 ◽

pp. 80-93

Author(s):

Predrag Janičić ◽

Alan Bundy

Keyword(s):

Decision Procedures ◽

Linear Arithmetic ◽

Automatic Synthesis

Download Full-text

Rule-Based Simplification in Vector-Product Spaces

Towards Mechanized Mathematical Assistants - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73086-6_10 ◽

2007 ◽

pp. 116-127

Author(s):

Songxin Liang ◽

David J. Jeffrey

Keyword(s):

Vector Product ◽

Product Spaces ◽

Rule Based

Download Full-text

Using Formal Concept Analysis in Mathematical Discovery

Towards Mechanized Mathematical Assistants - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73086-6_18 ◽

2007 ◽

pp. 205-220

Author(s):

Simon Colton ◽

Daniel Wagner

Keyword(s):

Formal Concept Analysis ◽

Concept Analysis ◽

Formal Concept ◽

Mathematical Discovery

Download Full-text

Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge

Towards Mechanized Mathematical Assistants - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73086-6_28 ◽

2007 ◽

pp. 356-370 ◽

Cited By ~ 7

Author(s):

Immanuel Normann ◽

Michael Kohlhase

Keyword(s):

Mathematical Knowledge

Download Full-text

Alternative Aggregates in Mizar

Towards Mechanized Mathematical Assistants - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73086-6_26 ◽

2007 ◽

pp. 327-341 ◽

Cited By ~ 5

Author(s):

Gilbert Lee ◽

Piotr Rudnicki

Download Full-text

What Might “Understand a Function” Mean?

Towards Mechanized Mathematical Assistants - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73086-6_5 ◽

2007 ◽

pp. 55-65 ◽

Cited By ~ 1

Author(s):

James H. Davenport

Download Full-text

Cooperative Repositories for Formal Proofs

Towards Mechanized Mathematical Assistants - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73086-6_19 ◽

2007 ◽

pp. 221-234 ◽

Cited By ~ 11

Author(s):

Pierre Corbineau ◽

Cezary Kaliszyk

Keyword(s):

Formal Proofs

Download Full-text

A Framework for Interactive Proof

Towards Mechanized Mathematical Assistants - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73086-6_15 ◽

2007 ◽

pp. 161-175 ◽

Cited By ~ 14

Author(s):

David Aspinall ◽

Christoph Lüth ◽

Daniel Winterstein

Keyword(s):

Interactive Proof

Download Full-text

Towards Mechanized Mathematical Assistants - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Narrative Structure of Mathematical Texts

A Rational Reconstruction of a System for Experimental Mathematics

Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic

Rule-Based Simplification in Vector-Product Spaces

Using Formal Concept Analysis in Mathematical Discovery

Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge

Alternative Aggregates in Mizar

What Might “Understand a Function” Mean?

Cooperative Repositories for Formal Proofs

A Framework for Interactive Proof

Towards Mechanized Mathematical Assistants - Lecture Notes in Computer Science
Latest Publications