


default search action
CICM 2016: Bialystok, Poland
- Michael Kohlhase, Moa Johansson, Bruce R. Miller, Leonardo de Moura, Frank Wm. Tompa
:
Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Lecture Notes in Computer Science 9791, Springer 2016, ISBN 978-3-319-42546-7
CALCULEMUS
- Alexander Maletzky
:
Mathematical Theory Exploration in Theorema: Reduction Rings. 3-17 - Ken'ichi Kuga, Manabu Hagiwara, Mitsuharu Yamamoto:
Formalization of Bing's Shrinking Method in Geometric Topology. 18-27 - Erika Ábrahám
, John Abbott, Bernd Becker
, Anna Maria Bigatti
, Martin Brain, Bruno Buchberger, Alessandro Cimatti
, James H. Davenport
, Matthew England
, Pascal Fontaine, Stephen Forrest, Alberto Griggio
, Daniel Kroening
, Werner M. Seiler
, Thomas Sturm
:
SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). 28-43 - Muhammad Qasim, Osman Hasan
, Maissa Elleuch, Sofiène Tahar:
Formalization of Normal Random Variables in HOL. 44-59
Digital Mathematics Libraries
- Fabian Müller, Olaf Teschke
:
Progress of Self-Archiving Within the DML Corpus, with a View Toward Community Dynamics. 63-74
Mathematical Knowledge Management
- Adam Naumowicz
, Radoslaw Piliszek:
Accessing the Mizar Library with a Weakly Strict Mizar Parser. 77-82 - William M. Farmer:
Incorporating Quotation and Evaluation into Church's Type Theory: Syntax and Semantics. 83-98 - Chad E. Brown, Josef Urban:
Extracting Higher-Order Goals from the Mizar Mathematical Library. 99-114
Surveys and Projects
- Paul-Olivier Dehaye
, Mihnea Iancu, Michael Kohlhase
, Alexander Konovalov
, Samuel Lelièvre
, Dennis Müller
, Markus Pfeiffer
, Florian Rabe
, Nicolas M. Thiéry
, Tom Wiesing:
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. 117-131 - Waqar Ahmad, Osman Hasan
, Sofiène Tahar:
Formal Dependability Modeling and Analysis: A Survey. 132-147
Systems and Data
- Jan Jakubuv
, Josef Urban:
Extending E Prover with Similarity Based Clause Selection Strategies. 151-156 - Artur Kornilowicz
:
Enhancement of Mizar Texts with Transitivity Property of Predicates. 157-162

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.