Keyphrases
- hough transform
- theorem prover
- theorem proving
- formal proof
- microstrip antenna
- equational theories
- gradual transitions
- data mining
- formal proofs
- natural deduction
- mathematical proofs
- harmonic functions
- cut elimination
- sequent calculus
- expert systems
- bayesian networks
- metadata
- artificial intelligence
- information retrieval