Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.