CICM C

13 papers

Year	Title / Authors
2016	Accessing the Mizar Library with a Weakly Strict Mizar Parser. Adam Naumowicz, Radoslaw Piliszek
2016	Enhancement of Mizar Texts with Transitivity Property of Predicates. Artur Kornilowicz
2016	Extending E Prover with Similarity Based Clause Selection Strategies. Jan Jakubuv, Josef Urban
2016	Extracting Higher-Order Goals from the Mizar Mathematical Library. Chad E. Brown, Josef Urban
2016	Formal Dependability Modeling and Analysis: A Survey. Waqar Ahmad, Osman Hasan, Sofiène Tahar
2016	Formalization of Bing's Shrinking Method in Geometric Topology. Ken'ichi Kuga, Manabu Hagiwara, Mitsuharu Yamamoto
2016	Formalization of Normal Random Variables in HOL. Muhammad Qasim, Osman Hasan, Maissa Elleuch, Sofiène Tahar
2016	Incorporating Quotation and Evaluation into Church's Type Theory: Syntax and Semantics. William M. Farmer
2016	Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings Michael Kohlhase, Moa Johansson, Bruce R. Miller, Leonardo de Moura, Frank Wm. Tompa
2016	Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. 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
2016	Mathematical Theory Exploration in Theorema: Reduction Rings. Alexander Maletzky
2016	Progress of Self-Archiving Within the DML Corpus, with a View Toward Community Dynamics. Fabian Müller, Olaf Teschke
2016	SC 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