On the History of Computer Algebra at the Keldysh Institute of Applied Mathematics.

G. B. Efimov I. B. Tshenkov E. Yu Zueva

Published in: SoRuCom (2006)

Keyphrases

applied mathematics
computer algebra
theorem prover
electrical engineering
researchers and practitioners
computer algebra systems
computer science
carnegie mellon university
database
theorem proving
automated theorem provers
e learning
artificial neural networks
historical information