Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer International Publishing

9783319425467, 9783319425474

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Erratum to: Formal Dependability Modeling and Analysis: A Survey

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-42547-4_13 ◽

2017 ◽

pp. E1-E1

Author(s):

Waqar Ahmad ◽

Osman Hasan ◽

Sofiène Tahar

Keyword(s):

Modeling And Analysis

Download Full-text

Formal Dependability Modeling and Analysis: A Survey

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-42547-4_10 ◽

2016 ◽

pp. 132-147 ◽

Author(s):

Waqar Ahmad ◽

Osman Hasan ◽

Sofiène Tahar

Keyword(s):

Modeling And Analysis

Download Full-text

Progress of Self-Archiving Within the DML Corpus, with a View Toward Community Dynamics

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-42547-4_5 ◽

2016 ◽

pp. 63-74

Author(s):

Fabian Müller ◽

Olaf Teschke

Keyword(s):

Community Dynamics

Download Full-text

Enhancement of Mizar Texts with Transitivity Property of Predicates

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-42547-4_12 ◽

2016 ◽

pp. 157-162 ◽

Author(s):

Artur Korniłowicz

Keyword(s):

Transitivity Property

Download Full-text

Extending E Prover with Similarity Based Clause Selection Strategies

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-42547-4_11 ◽

2016 ◽

pp. 151-156 ◽

Author(s):

Jan Jakubův ◽

Josef Urban

Keyword(s):

Selection Strategies

Download Full-text

Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-42547-4_7 ◽

2016 ◽

pp. 83-98 ◽

Author(s):

William M. Farmer

Keyword(s):

Download Full-text

Mathematical Theory Exploration in Theorema: Reduction Rings

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-42547-4_1 ◽

2016 ◽

pp. 3-17

Author(s):

Alexander Maletzky

Keyword(s):

Mathematical Theory

Download Full-text

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-42547-4_9 ◽

2016 ◽

pp. 117-131 ◽

Author(s):

Paul-Olivier Dehaye ◽

Mihnea Iancu ◽

Michael Kohlhase ◽

Alexander Konovalov ◽

Samuel Lelièvre ◽

...

Download Full-text

$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-42547-4_3 ◽

2016 ◽

pp. 28-43 ◽

Author(s):

Erika Ábrahám ◽

John Abbott ◽

Bernd Becker ◽

Anna M. Bigatti ◽

Martin Brain ◽

...

Keyword(s):

Symbolic Computation ◽

Satisfiability Checking

Download Full-text

Accessing the Mizar Library with a Weakly Strict Mizar Parser

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-42547-4_6 ◽

2016 ◽

pp. 77-82 ◽

Author(s):

Adam Naumowicz ◽

Radosław Piliszek

Download Full-text