Login / Signup
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