Nemo/Hecke: Computer Algebra and Number Theory Packages for the Julia Programming Language.

Claus Fieker William Hart Tommy Hofmann Fredrik Johansson

Published in: ISSAC (2017)

Keyphrases

programming language
computer algebra
general purpose
high level
object oriented
object oriented programming
programming environment
data abstraction
strongly typed
machine learning
theorem prover
specification language