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