Keyword:formalization

Publications
Efficient Formalization of Simplification Orders René Thiemann and Akihisa Yamada EasyChair Preprint 8639
Thrusters Physical Model Formalization with Regard to Situational and Identification Factors of Motion Modes Vitalii Budashko EasyChair Preprint 8090
Formalization of Transform Methods in Higher-Order Logic: a Survey Muhammad Ahmed and Adnan Rashid EasyChair Preprint 8009
Formalizing the Gromov-Hausdorff Space Sébastien Gouëzel EasyChair Preprint 6179
1/f Noise: Branching Process Model (I); Formalization Takayuki Kobayashi EasyChair Preprint 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