Results 41 to 50 of about 17,772 (305)
Another look at automated theorem-proving II
Journal of Mathematical Cryptology, 2012 I continue the discussion initiated in part I (published in this journal in 2007) of whether or not computer-assisted proofs are a promising approach to preventing errors in reductionist security arguments.
Koblitz Neal
doaj +1 more source
Prototyping "Systems that Explain Themselves" for Education [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 "Systems that Explain Themselves" appears a provocative wording, in particular in the context of mathematics education – it is as provocative as the idea of building educational software upon technology from computer theorem proving.
Alan Krempler, Walther Neuper
doaj +1 more source
User Interface Design in the HolPy Theorem Prover (Invited Talk)
, 2022 HolPy is a new interactive theorem prover implemented in Python. It is designed to achieve a small trusted-code-base with externally checkable proofs, writing proof automation using a Python API, and permit a wide variety of user interfaces for different
Zhan, Bohua
core +1 more source
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
Two loop detection mechanisms: a comparison [PDF]
, 1997 In order to compare two loop detection mechanisms we describe two calculi for theorem proving in intuitionistic propositional logic. We call them both MJ Hist, and distinguish between them by description as `Swiss' or `Scottish'. These calculi combine in
Howe, J. M. +3 more
core +1 more source
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
Mathematics Open, 2023 Is there a class of convergent series? I give a positive answer by introducing and proving a theorem. I also provide eight examples and numerical evidence.
Changhua Wan
doaj +1 more source