Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan.
Edmund M. ClarkeXudong ZhaoPublished in: CADE (1994)
Keyphrases
- theorem proving
- automated deduction
- geometry theorem proving
- first order logic
- decision procedures
- theorem prover
- automated reasoning
- combinatorial search
- parallel search
- inference rules
- proof procedure
- logical inference
- proof planning
- data mining
- optimization problems
- term rewriting
- consequence finding
- artificial intelligence