Login / Signup
Differential Geometry and Mechanics: A Source for Computer Algebra Problems.
Vladimir N. Salnikov
Aziz Hamdouni
Published in:
Program. Comput. Softw. (2020)
Keyphrases
</>
differential geometry
computer algebra
multiscale
multi class
theorem prover