Results 31 to 40 of about 523,591 (296)
CoRR, 2021 This book can be seen either as a text on theorem proving that uses techniques from general algebra, or else as a text on general algebra illustrated and made concrete by practical exercises in theorem proving. The book considers several different logical systems, including first-order logic, Horn clause logic, equational logic, and first-order logic ...
openaire +2 more sources
Automated Theorem Proving in the Classroom [PDF]
Electronic Proceedings in Theoretical Computer Science, 2021 We report on several scenarios of using automated theorem proving software in university education. In particular, we focus on using the Theorema system in a software-enhanced logic-course for students in computer science or artificial intelligence.
openaire +2 more sources
On the representation of parallel search in theorem proving [PDF]
, 1997 This extended abstract summarizes two contributions from ongoing work on parallel search in theorem proving. First, we give a framework of definitions for parallel theorem proving, including inference system, communication operators, parallel search plan,
BONACINA, Maria Paola
core +1 more source
A Proof of Smarandache-Pătraşcu’s Theorem using Barycentric Coordinates [PDF]
, 2010 Proving the Smarandache–Pătraşcu’s Theorem in relation to the inscribed orthohomological triangles using the barycentric ...
Coandă, Claudiu
core +1 more source
Automatic inductive theorem proving and program construction methods using program transformation [PDF]
, 2007 We present new approaches to prove universally and existentially quantified conjectures and to construct programs from the resulting proofs. These theorem proving and program construction techniques make use of the distillation algorithm to transform ...
Kabir, Md. Humayun
core +2 more sources
Pengembangan Perangkat Pembelajaran Geometri Ruang dengan Model Proving Theorem
Kreano: Jurnal Matematika Kreatif-Inovatif, 2016 Kemampuan berpikir kritis dan kreatif mahasiswa masih lemah. Hal ini ditemukan pada mahasiswa yang mengambil mata kuliah Geometri Ruang yaitu dalam membuktikan soal-soal pembuktian (problem to proof).
Bambang Eko Susilo +2 more
doaj +1 more source
Proof of Lagrange Mean Value Theorem and its Application in Text Design
Chemical Engineering Transactions, 2016 At present, there are a lot of papers on Lagrange mean value theorem proving method, the paper On the application of the theorem is not in a few, but text designs from the perspective of curriculum explore proving a theorem and its application to the ...
J.H. Li
doaj +1 more source
IEEE Access, 2020 This paper reports a formal symbolic process virtual machine (FSPVM) denoted as FSPVM-E for verifying the reliability and security of Ethereum-based services at the source code level of smart contracts.
Zheng Yang, Hang Lei, Weizhong Qian
doaj +1 more source
Observer‐Based Adaptive Event‐Triggered Tracking Control for Fuzzy TS Systems With Premise Mismatch
International Journal of Adaptive Control and Signal Processing, EarlyView.This paper presents an adaptive logistic event‐triggered observer‐based tracking controller for Takagi‐Sugeno fuzzy systems under constrained inputs and network delays. Leveraging a hybrid LMI and Secretary Bird Optimization approach, this strategy significantly minimizes communication overhead and computational burden while ensuring optimal reference ...
Oussama Djadane +3 more
wiley +1 more source
Simplification Method for Contradiction Separation Clause in First-order Logic AutomatedTheorem Prover CSE [PDF]
Jisuanji kexueFirst-order logic automated theorem proving has the capacity to resolve a multitude of practical problems after formalization,and thus holds considerable practical value.As an advancement in automated theorem proving,contradiction separation deduction ...
WU Xin, CHEN Shuwei, JIANG Shipan
doaj +1 more source