HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.