Login / Signup
Some Reflections About the Success and Impact of the Computer Algebra System DERIVE with a 10-Year Time Perspective.
Eugenio Roanes-Lozano
José Luis Galán García
Carmen Solano-Macías
Published in:
Math. Comput. Sci. (2019)
Keyphrases
</>
computer algebra
theorem prover
potential impact
viewpoint
high impact
automated theorem provers
computer algebra systems
real time
computer vision
information systems
website
multiresolution
probabilistic model
user satisfaction