Login / Signup

Using the prover ANDP to simplify orthogonality.

Dafa Li
Published in: Ann. Pure Appl. Log. (2003)
Keyphrases
  • theorem proving
  • theorem prover
  • machine learning
  • genetic algorithm
  • three dimensional
  • nonnegative matrix factorization
  • automated theorem proving