Login / Signup
Computer Algebra Tools for Geometrization of Maxwell's Equations.
Anna V. Korolkova
Migran N. Gevorkyan
Dmitry S. Kulyabov
Leonid A. Sevast'yanov
Published in:
Program. Comput. Softw. (2023)
Keyphrases
</>
computer algebra
automated theorem provers
theorem prover
software tools
end users
differential equations
databases
data sets
learning algorithm
data warehouse
mathematical model