Login / Signup
A Modular Extension for a Computer Algebra System.
Migran N. Gevorkyan
Anna V. Korolkova
Dmitry S. Kulyabov
Leonid A. Sevast'yanov
Published in:
Program. Comput. Softw. (2020)
Keyphrases
</>
computer algebra
theorem prover
automated theorem provers
computer algebra systems
data mining
real world
real time
decision making
image processing
web services
multiresolution