Results 11 to 20 of about 17,772 (305)
Formal verification of Matrix based MATLAB models using interactive theorem proving [PDF]
PeerJ Computer Science, 2021 MATLAB is a software based analysis environment that supports a high-level programing language and is widely used to model and analyze systems in various domains of engineering and sciences.
Ayesha Gauhar +4 more
doaj +3 more sources
Formal reasoning about systems biology using theorem proving. [PDF]
PLoS ONE, 2017 System biology provides the basis to understand the behavioral properties of complex biological organisms at different levels of abstraction. Traditionally, analysing systems biology based models of various diseases have been carried out by paper-and ...
Adnan Rashid +3 more
doaj +2 more sources
Automated Theorem Proving for Metamath [PDF]
, 2023 Metamath is a proof assistant that keeps surprising outsiders by its combination of a very minimalist design with a large library of advanced results, ranking high on the Freek Wiedijk’s 100 list.
Brown, Chad E. +2 more
core +4 more sources
A theorem proving framework for the formal verification of Web Services Composition [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enables inference rules of Classical Linear Logic (CLL) to be translated into ...
Petros Papapanagiotou +1 more
doaj +2 more sources
Another look at automated theorem-proving
Journal of Mathematical Cryptology, 2007 I examine the use of automated theorem-proving for reductionist security arguments in cryptography and discuss three papers that purport to show the potential of computer-assisted proof-writing and proof-checking.
Neal Koblitz
exaly +2 more sources
A theorem proving approach for automatically synthesizing visualizations of flow cytometry data [PDF]
BMC Bioinformatics, 2017 Background Polychromatic flow cytometry is a popular technique that has wide usage in the medical sciences, especially for studying phenotypic properties of cells.
Sunny Raj +8 more
doaj +2 more sources
Parallel theorem proving [PDF]
, 2018 This chapter surveys the research in parallel or distributed strategies for mechanical theorem proving in first-order logic, and explores some of its connections with the research in the parallelization of decision procedures for satisfiability in ...
Maria Paola Bonacina +1 more
core +3 more sources
Constraints and Theorem Proving
, 2001 This paper is a tutorial on methods for first-order theorem proving with ...
Ganzinger, Harald +4 more
core +4 more sources
Proof simplification and automated theorem proving [PDF]
Philosophical Transactions Series A, Mathematical, Physical, and Engineering Sciences, 2019 Michael Kinyon
exaly +2 more sources
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages [PDF]
Logical Methods in Computer Science, 2022 In interactive theorem provers (ITPs), extensible syntax is not only crucial to lower the cognitive burden of manipulating complex mathematical objects, but plays a critical role in developing reusable abstractions in libraries.
Sebastian Ullrich, Leonardo de Moura
doaj +1 more source