Computer algebra takes on the vibrating-membrane problem.

Daniel Frenkel Laura Golebiowski Renato Portugal

Published in: Comput. Sci. Eng. (1999)

Keyphrases

computer algebra
theorem prover
databases
automated theorem provers
touch screen
computer algebra systems
machine learning
artificial intelligence
video sequences
end users
knowledge discovery