Login / Signup

Proof Simplification for Model Generation and Its Applications.

Miyuki KoshimuraRyuzo Hasegawa
Published in: LPAR (2000)
Keyphrases
  • databases
  • theorem proving
  • geometry theorem proving
  • search algorithm
  • theorem prover
  • computer vision
  • preprocessing
  • information technology
  • mobile robot
  • formal proof
  • mathematical proofs