Sign in

Automated theorem proving for special functions: the next phase.

Lawrence C. Paulson
Published in: SNC (2014)
Keyphrases
  • automated theorem proving
  • theorem prover
  • theorem proving
  • basis functions
  • answer set programming
  • real time
  • information systems
  • genetic algorithm
  • autonomous agents