An inductive proof of Whitney's Broken Circuit Theorem.
Klaus DohmenPublished in: Discuss. Math. Graph Theory (2011)
Keyphrases
- interactive theorem proving
- high speed
- inductive learning
- linear logic
- theorem prover
- real time
- mathematical proofs
- theorem proving
- machine learning
- inductive inference
- circuit design
- recursive programs
- electronic circuits
- single phase
- database
- proof planning
- logic synthesis
- delay insensitive
- inductive reasoning
- low power
- logic circuits
- automated theorem proving
- evolutionary algorithm
- digital circuits
- low cost
- logic programming