Conjectures, Tests and Proofs: An Overview of Theory Exploration.

Moa Johansson Nicholas Smallbone

Published in: VPT@ETAPS (2021)

Keyphrases

theorem prover
theoretical basis
theoretical foundation
databases
theoretical framework
multiscale
evolutionary algorithm
theorem proving
formal theory
real world
search algorithm
conceptual framework
formal proof
equational theories