Complementation: a bridge between finite and infinite proofs.
Gilles DowekYing JiangPublished in: CoRR (2023)
Keyphrases
- equational theories
- finite sets
- real numbers
- finite dimensional
- finite number
- reliability assessment
- theorem proving
- formal proof
- theorem prover
- multiscale
- computer vision
- expressive power
- database
- database design
- hidden markov models
- xml documents
- finite automata
- evolutionary algorithm
- unit length
- artificial intelligence