Results 1 to 10 of about 7,502 (260)
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
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.
Koblitz Neal
doaj +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
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
Proving, Refuting, Improving—Looking for a Theorem
Axioms, 2022 Exploring the proofs and refutations of an abstract statement, conjecture with the aim to give a formal syntactic treatment of its proving–refuting process, we introduce the notion of extrapolation of a possibly unprovable statement having the form if A,
Branislav Boričić
doaj +1 more source
On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic [PDF]
Journal of Universal Computer Science, 2021 There are three main problems for theorem proving with a standard cut-free system for the first order minimal logic. The first problem is the possibility of looping. Secondly, it might generate proofs which are permutations of each other. Finally, during
Ashot Baghdasaryan, Hovhannes Bolibekyan
doaj +3 more sources
Probabilistic theorem proving [PDF]
Communications of the ACM, 2016 Many representation schemes combining first-order logic and probability have been proposed in recent years. Progress in unifying logical and probabilistic inference has been slower. Existing methods are mainly variants of lifted variable elimination and belief propagation, neither of which take logical structure into account.
Vibhav Gogate, Pedro M. Domingos
openaire +3 more sources
jsCoq: Towards Hybrid Theorem Proving Interfaces [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We describe jsCcoq, a new platform and user environment for the Coq interactive proof assistant. The jsCoq system targets the HTML5–ECMAScript 2015 specification, and it is typically run inside a standards-compliant browser, without the need of external ...
Emilio Jesús Gallego Arias +2 more
doaj +1 more source