Performing Implicit Induction Reasoning with Certifying Proof Environments

Autor: Sorin Stratulat, Amira Henaien

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 122, Iss Proc. SCSS 2012, Pp 97-108 (2013)

Largely adopted by proof assistants, the conventional induction methods based on explicit induction schemas are non-reductive and local, at schema level. On the other hand, the implicit induction methods used by automated theorem provers allow for la

Externí odkaz: https://doaj.org/article/fc0cf38977474c49b0604f2107848ee4

Experiments with Automated Reasoning in the Class

Autor: Isabela Drămnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat

Publikováno v: CICM 2022-15th Conference on Intelligent Computer Mathematics
CICM 2022-15th Conference on Intelligent Computer Mathematics, Sep 2022, Tbilisi / Hybrid, Georgia. pp.287-304, ⟨10.1007/978-3-031-16681-5_20⟩
Lecture Notes in Computer Science ISBN: 9783031166808

International audience; The European Erasmus+ project ARC-Automated Reasoning in the Class aims at improving the academic education in disciplines related to Computational Logic by using Automated Reasoning tools. We present the technical aspects of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2251c0503096ddd6085a8e000893de51
https://inria.hal.science/hal-03781994/file/paper.pdf

The perception of the educational environment in multinational students from a dental medicine faculty in Romania

Autor: Victor Vlad Costan, Alisa Tăbîrţă, Octav S Candel, Sorin Stratulat, Laura E Checheriţă

Publikováno v: European Journal of Dental Education. 24:193-198

Introduction Dental education comes with important challenges for the faculties as well as for the students. Its evolving nature leads to the constant adoption of new practices and techniques. Thus, the learning environment is in continuous developme

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::417d7e91364dd05bbe3cc719597c3f06
https://doi.org/10.1111/eje.12484

The influence of natural factors on the pathology of the locomotor apparatus on the upper course of Bârlad in the Central Moldavian Plateau

Autor: Vasile CÎRLIG, Irina CÎRLIG, Alexandru DIACONESCU, Iuri (Gheorghe) SIMIONCA, Liviu ENACHE, Ioan Sorin STRATULAT

Publikováno v: GEOREVIEW: Scientific Annals of Stefan cel Mare University of Suceava. Geography Series, Vol 29, Iss 1, Pp 55-59 (2019)

A cold microclimate will prompt a reaction to be triggered by heat generation and the effects on the body are decreased sweating, peripheral vascular constriction by increasing the excitability threshold of the Krause corpuscles, cold receptors that

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doajarticles::208f2db90f2ead1eab22b66a371e7255
http://georeview.ro/ojs/index.php/revista/article/view/407

SPIKE, an automatic theorem prover -revisited

Autor: Sorin Stratulat

Publikováno v: SYNASC2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
SYNASC2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2020, Timisoara, Romania
SYNASC2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2020, Timisoara, Romania. pp.93-96
SYNASC

International audience; SPIKE, an induction-based theorem prover built to reason on conditional theories with equality, is one of the few formal tools able to perform automatically mutual and lazy induction. Designed at the beginning of 1990s, it has

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::be764812200a2c1494dfd431df41ea5c
https://hal.archives-ouvertes.fr/hal-02965319/document