Computer algebra implemented in Isabelle's function package under Lucas-interpretation - a case study.

Published in: CICM Workshops (2013)

Keyphrases

computer algebra
theorem prover
inference rules
test bed
computer algebra systems
databases
automated theorem provers
social networks
piecewise linear
multiscale
image interpretation
first order logic
real time
high level
case study
image processing
web pages
artificial intelligence
neural network
data sets