Sign in

Any ZeaD Formula of Six Instants Having No Quartic or Higher Precision with Proof.

Yunong ZhangJinjin GuoLiu HeYang ShiChaowei Hu
Published in: ICSAI (2018)
Keyphrases
  • linear logic
  • theorem prover
  • databases
  • theorem proving
  • automated theorem proving
  • proof planning
  • geometry theorem proving
  • objective function
  • search space
  • evolutionary algorithm