Sorin Stratulat
Université de Lorraine
H-index: 11
Europe-France
Top articles of Sorin Stratulat
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Mechanical certification of FOLID cyclic proofs | Annals of Mathematics and Artificial Intelligence | Sorin Stratulat | 2023/10 |
Experiments with Automated Reasoning in the Class | Isabela Drămnesc Erika Ábrahám Tudor Jebelean Gábor Kusper Sorin Stratulat | 2022/9/17 | |
Automated Reasoning in the Class | Computer-Algebra-Rundbrief | Isabela Drămnesc Erika Ábrahám Tudor Jebelean Gábor Kusper Sorin Stratulat | 2022 |
Récurrence noethérienne pour le raisonnement de premier ordre | 1024: Bulletin de la Société Informatique de France | Sorin Stratulat | 2022 |
ARC: An Educational Project on Automated Reasoning in the Class | Isabela Dramnesc Tudor Jebelean Erika Ábrahám Gábor Kusper Sorin Stratulat | 2022/11/1 | |
E-Cyclist: Implementation of an Efficient Validation of FOL ID Cyclic Induction Reasoning (Tool Description) | Sorin Stratulat | 2021/6/7 | |
E-Cyclist: Implementation of an efficient validation of FOLID cyclic induction reasoning | arXiv preprint arXiv:2109.03235 | Sorin Stratulat | 2021/9/7 |
Noetherian Induction for Computer-Assisted First-Order Reasoning | Sorin Stratulat | 2021/6/29 | |
SPIKE, an automatic theorem prover—revisited | Sorin Stratulat | 2020/9/1 |