Implementing a computer algebra system in Haskell.

José Romildo Malaquias Carlos Roberto Lopes

Published in: Appl. Math. Comput. (2007)

Keyphrases

computer algebra
theorem prover
programming language
functional programming
plagiarism detection
computer algebra systems
data sets
database
real world
data mining
computer vision
information systems
multimedia
data structure
functional language