You must enable JavaScript to use this site
  • CICM 2016 Accepted Papers

    CICM 2016 Accepted Papers

    Alexander Maletzky. Mathematical Theory Exploration in Theorema: Reduction Rings
    Adam Naumowicz and Radosław Piliszek. Accessing the Mizar Library with a Weakly Strict Mizar Parser
    William Farmer. Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics
    Ken'Ichi Kuga, Manabu Hagiwara and Mitsuharu Yamamoto. Formalization of Bing's shrinking method in geometric topology
    Jan Jakubuv and Josef Urban. Extending E Prover with Similarity Based Clause Selection Strategies
    Chad Brown and Josef Urban. Extracting Higher-Order Goals from the Mizar Mathematical Library
    Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry and Tom Wiesing. Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
    Erika Ábrahám, Bernd Becker, James H. Davenport and Pascal Fontaine. SC-square: Satisfiability Checking meets Symbolic Computation
    Olaf Teschke and Fabian Müller. Progress of self-archiving within the DML corpus, with a view toward community dynamics
    Muhammad Qasim, Osman Hasan, Maissa Elleuch and Sofiene Tahar. Formalization of Normal Random Variables in HOL
    Waqar Ahmed, Osman Hasan and Sofiene Tahar. Formal Dependability Modeling and Analysis: A Survey
    Artur Kornilowicz. Enhancement of Mizar Texts with Transitivity Property of Predicates
  • News

Privacy policy and legal information
Last modified: April 04 2018 09:42:26 CEST