Keyword:formalization

Papers
Efficient Formalization of Simplification Orders René Thiemann and Akihisa Yamada EasyChair Preprint no. 8639
Thrusters Physical Model Formalization with Regard to Situational and Identification Factors of Motion Modes Vitalii Budashko EasyChair Preprint no. 8090
Formalization of Transform Methods in Higher-Order Logic: a Survey Muhammad Ahmed and Adnan Rashid EasyChair Preprint no. 8009
Formalizing the Gromov-Hausdorff Space Sébastien Gouëzel EasyChair Preprint no. 6179
1/f Noise: Branching Process Model (I); Formalization Takayuki Kobayashi EasyChair Preprint no. 996
Beyond DRAT: Challenges in Certifying UNSAT Bertram Felgenhauer In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry Pierre Boutry, Gabriel Braun and Julien Narboux In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science