Login / Signup

Computer Algebra in JULIA.

Dmitry S. KulyabovAnna V. Korolkova
Published in: Program. Comput. Softw. (2021)
Keyphrases
  • computer algebra
  • theorem prover
  • computer algebra systems
  • artificial intelligence
  • first order logic