Proof construction and non-commutativity: a cluster calculus.
Claudia FaggianPublished in: PPDP (2000)
Keyphrases
- automated theorem proving
- sequent calculus
- natural deduction
- clustering algorithm
- proof procedure
- linear logic
- provably correct
- theorem prover
- data clustering
- construction process
- proof search
- computer algebra
- pairwise
- neural network
- mathematical proofs
- cut elimination
- proof theoretic
- database
- clustering framework
- theorem proving
- cluster analysis
- logic programs
- data points
- genetic algorithm
- real time