Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer International Publishing

9783319206141, 9783319206158

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Erratum to: Towards Formal Fault Tree Analysis Using Theorem Proving

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-20615-8_28 ◽

2017 ◽

pp. E1-E1

Author(s):

Waqar Ahmad ◽

Osman Hasan

Keyword(s):

Theorem Proving ◽

Fault Tree Analysis ◽

Download Full-text

Semantic Enrichment of Mathematics via ‘tooltips’

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-20615-8_24 ◽

2015 ◽

pp. 338-342 ◽

Author(s):

Ross Moore

Keyword(s):

Semantic Enrichment

Download Full-text

Readable Formalization of Euler’s Partition Theorem in Mizar

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-20615-8_14 ◽

2015 ◽

pp. 211-226 ◽

Author(s):

Karol Pąk

Keyword(s):

Partition Theorem

Download Full-text

Automating Change of Representation for Proofs in Discrete Mathematics

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-20615-8_15 ◽

2015 ◽

pp. 227-242

Author(s):

Daniel Raggi ◽

Alan Bundy ◽

Gudmund Grov ◽

Alison Pease

Keyword(s):

Discrete Mathematics ◽

Change Of Representation

Download Full-text

A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-20615-8_9 ◽

2015 ◽

pp. 137-152

Author(s):

Mihnea Iancu ◽

Michael Kohlhase

Keyword(s):

Knowledge Dissemination

Download Full-text

Strategies for Parallel Markup

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-20615-8_13 ◽

2015 ◽

pp. 203-210 ◽

Author(s):

Bruce R. Miller

Download Full-text

Towards the Formalization of Fractional Calculus in Higher-Order Logic

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-20615-8_21 ◽

2015 ◽

pp. 316-324 ◽

Author(s):

Umair Siddique ◽

Osman Hasan ◽

Sofiène Tahar

Keyword(s):

Fractional Calculus ◽

Higher Order ◽

Order Logic ◽

Higher Order Logic

Download Full-text

Tools for MML Environment Analysis

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-20615-8_26 ◽

2015 ◽

pp. 348-352 ◽

Author(s):

Adam Naumowicz

Keyword(s):

Environment Analysis

Download Full-text

A Survey on Retrieval of Mathematical Knowledge

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-20615-8_20 ◽

2015 ◽

pp. 296-315 ◽

Author(s):

Ferruccio Guidi ◽

Claudio Sacerdoti Coen

Keyword(s):

Mathematical Knowledge

Download Full-text

Mining the Archive of Formal Proofs

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-20615-8_1 ◽

2015 ◽

pp. 3-17 ◽

Author(s):

Jasmin Christian Blanchette ◽

Maximilian Haslbeck ◽

Daniel Matichuk ◽

Tobias Nipkow

Keyword(s):

Download Full-text