Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata.
Reed OeiDun MaChristian SchulzPhilipp HieronymiPublished in: CoRR (2021)
Keyphrases
- theorem prover
- timed automata
- theorem proving
- inference rules
- automated theorem proving
- automated reasoning
- first order logic
- semi automatic
- term rewriting
- formal proof
- computer algebra
- boolean algebra
- higher order logic
- fully automatic
- cellular automata
- formal semantics
- mathematical knowledge
- context sensitive
- hidden markov models
- data mining
- artificial intelligence
- natural deduction
- proof search
- finite state machines
- proof planning
- information gain
- expert systems
- learning algorithm