Verifying Chemical Reaction Networks with the Isabelle Theorem Prover.
James I. LathropPeter-Michael OseraAddison W. SchmidtJesse SlaterPublished in: Allerton (2023)
Keyphrases
- theorem prover
- chemical reaction
- inference rules
- theorem proving
- term rewriting
- first order logic
- automated reasoning
- automated deduction
- automated theorem proving
- formal proof
- computer algebra
- natural deduction
- formal semantics
- higher order logic
- network structure
- social networks
- mathematical knowledge
- timed automata
- boolean algebra
- complex networks
- proof planning
- decision trees