NSF funding opportunities for symbolic computation.

Erich Kaltofen Alexey Ovchinnikov

Published in: ACM Commun. Comput. Algebra (2013)

Keyphrases

information management
information technology
imperative programs
image sequences
digital government
real world
website
user interface
automated deduction