Towards an Implementation of a Computer Algebra System in a Functional Language.

Oleg Lobachev Rita Loogen

Published in: AISC/MKM/Calculemus (2008)

Keyphrases

functional language
computer algebra
functional programming
programming language
proof planning
theorem prover
database
relational databases
execution model
artificial intelligence
general purpose
automated theorem provers