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:
CoRR (2017)
Keyphrases
</>
programming language
computer algebra
general purpose
object oriented
high level
artificial intelligence
software engineering
logic programming
theorem prover
programming tool
strongly typed
denotational semantics