Julia bindings for various mathematical libraries (including flint2)
Fast complex polynomial root finder, with support for arbitrary precision calculations
Sparse multivariate polynomials in Julia
A JuMP-based Nonlinear Integer Program Solver
Represent modular arithmetic via clock symbols
Julia package for integer digit manipulation
Remez algorithm for computing minimax polynomial approximations
Julia package for parsing, manipulating and evaluating formulas in first-order logic.