×

Found 53 Software Packages (Results 1–53)

INTLAB

Software Authors:   Rump, Siegfried M.
Referenced in: 470 Publications (1999–2022)
Related Software: Matlab; mctoolbox; C-XSC 2.0; C-XSC; INTOPT_90; VERSOFT; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

NTL

Software Authors:   Victor Shoup
Referenced in: 219 Publications (1998–2022)
Related Software: Magma; gmp; SageMath; NTRU; FLINT; fpLLL; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)

Epsilon

Software Authors:   Wang, Dongming
Referenced in: 44 Publications (2002–2021)
Related Software: Maple; ISOLATE; RegularChains; Kronecker; GeoGebra; PGB; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

Fermat

Software Authors:   Dr. Robert H. Lewis http://www.bway.net/~lewis
Referenced in: 40 Publications (1997–2022)
Related Software: FORM; Maple; Axodraw; HarmonicSums; MATAD; epsilon; …
Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

MOPS

Software Authors:   Dumitriu, Ioana; Edelman, Alan; Shuman, Gene
Referenced in: 25 Publications (2006–2022)
Related Software: OPQ; SRJAC; dCATCH; Polygint; Matlab; Manopt; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Special functions (33-XX)

SYNAPS

Software Authors:   B. Mourrain, J.P. Pavone, Ph. Trebuchet, E. Tsigaridas
Referenced in: 24 Publications (2002–2009)
Related Software: ISOLATE; na10; SINGULAR; na20; Maple; Axel; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

MAPC

Software Authors:   J. Keyser, T. Culver, D. Manocha, S. Krishnan.
Referenced in: 23 Publications (1999–2012)
Related Software: LEDA; CGAL; EXACUS; ESOLID; LiDIA; ISOLATE; …
Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Convex and discrete geometry (52-XX)

TRIP

Software Authors:   J. Laskar, M. Gastineau
Referenced in: 19 Publications (2002–2022)
Related Software: Magma; SINGULAR; gmp; Maple; ALTRAN; PARI/GP; …
Main Fields: Field theory and polynomials (12-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

JAS

Software Authors:   Heinz Kredel
Referenced in: 13 Publications (2008–2020)
Related Software: SINGULAR; AXIOM; Plural; Orbital library; ALDOR; REDLOG; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX)

Projective Noether

Software Authors:   Giusti, Marc; Hägele, Klemens; Lecerf, Grégoire; Marchand, Joël; Salvy, Bruno
Referenced in: 15 Publications (2000–2019)
Related Software: Kronecker; SINGULAR; FGb; Magma; ISOLATE; noether.lib; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

QUAD

Software Authors:   Berbain, Côme; Gilbert, Henri; Patarin, Jacques
Referenced in: 15 Publications (2006–2020)
Related Software: McEliece; eSTREAM; ZHFE; CUDA; SNOW; Scream; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX)

ZHFE

Software Authors:   Porras, J., Baena, J., Ding, J.
Referenced in: 11 Publications (2014–2021)
Related Software: Magma; QUAD; fgb_sage; Sidon Cryptosystem; M4GB; FGb; …
Main Fields: Number theory (11-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

BPAS

Software Authors:   Changbo Chen, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
Referenced in: 6 Publications (2010–2018)
Related Software: FLINT; Magma; Cilk; modpn; FFTW; AXIOM; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Real functions (26-XX)

GCDHEU

Software Authors:   Char, Bruce W.; Geddes, Keith O.; Gonnet, Gaston H.
Referenced in: 9 Publications (1984–2021)
Related Software: Maple; MACSYMA; REDUCE; Telescopers; evalhf; MapleTensor
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)

CUMODP

Software Authors:   Sardar Anisul Haque, Xin Li, Farnam Mansouri, Marc Moreno Maza, Wei Pan, Ning Xie
Referenced in: 8 Publications (2006–2018)
Related Software: Maple; Magma; RegularChains; AXIOM; modpn; CUDA; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)

Givaro

Software Authors:   Thierry Gautier, Jean-Louis Roch, Gilles Villard
Referenced in: 7 Publications (1997–2016)
Related Software: LinBox; SageMath; FFLAS-FFPACK; NTL; RecInt; GAUT; …
Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

Stirling

Software Authors:   Schreiber, Alfred
Referenced in: 6 Publications (2015–2022)
Related Software:
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Functional analysis (46-XX)

ffmodstd

Software Authors:   D.K. Boku; W. Decker; C. Fieker
Referenced in: 5 Publications (2000–2011)
Related Software: FOXBOX; Dagwood; modstd.lib; modwalk; Macaulay2; CoCoA
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Approximations and expansions (41-XX)

mpoly

Software Authors:   Kahle, D.
Referenced in: 1 Publication (2017)
Related Software: R; SymPy; disordR; STL; spray; testthat; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

ANOVAapprox

Software Authors:   Bartel, F.; Schmischke, M.; D. Potts
Referenced in: 4 Publications (2021–2022)
Related Software: LSQR; QMC4PDE; gss; UCI-ml; GitHub; NFFT; …
Main Fields: Approximations and expansions (41-XX); Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX)

Echelon Form

Software Authors:   Jose Divasón; Jesús Aransay
Referenced in: 4 Publications (2016–2019)
Related Software: HOL; Isabelle/HOL; Archive Formal Proofs; Gauss-Jordan; Cayley-Hamilton; kepler98; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX)

Groebner_Bases

Software Authors:   Fabian Immler; Alexander Maletzky
Referenced in: 4 Publications (2017–2019)
Related Software: Polynomials; Isabelle/HOL; Deep_Learning; Jordan Normal Forms; HOL; Isabelle; …
Main Fields: Commutative algebra (13-XX); Computer science (68-XX)

M4GB

Software Authors:   Makarim, Rusydi H.; Stevens, Marc
Referenced in: 4 Publications (2017–2021)
Related Software: FGb; fgb_sage; Sidon Cryptosystem; ZHFE; SageMath; openf4; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

NLCertify

Software Authors:   Victor Magron
Referenced in: 4 Publications (2014–2017)
Related Software: OCaml; Coq; Sollya; dReal; Flocq; HOL Light; …
Main Fields: Number theory (11-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

parametric GCD

Software Authors:   Kapur, Deepak; Lu, Dong; Monagan, Michael; Sun, Yao; Wang, Dingkang
Referenced in: 4 Publications (2018–2021)
Related Software: SINGULAR; Risa/Asir; grobcov.lib; PGB; dpgb
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX)

Polynomials

Software Authors:   Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler, Alexander Bentkamp
Referenced in: 4 Publications (2017–2019)
Related Software: Groebner_Bases; Isabelle/HOL; Deep_Learning; Jordan Normal Forms; HOL; Isabelle; …
Main Fields: Commutative algebra (13-XX); Computer science (68-XX)

absfact.lib

Software Authors:   Wolfram Decker, Gregoire Lecerf, Gerhard Pfister
Referenced in: 3 Publications (2007–2021)
Related Software: SINGULAR; Magma; CindyJS; Giac; GeoGebra; Maple; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)

algstat

Software Authors:   Kahle, D., Garcia-Puente, L., Yoshida, R.
Referenced in: 2 Publications (2018–2019)
Related Software: R; 4ti2; dplyr; stringr; SymPy; latter; …
Main Fields: Commutative algebra (13-XX); Statistics (62-XX)

CharSets

Software Authors:   Dongming Wang
Referenced in: 3 Publications (2004–2007)
Related Software: Maple; ATFM; PDESpecialSolutions; Rif; PDEtools; MACSYMA; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

Deep_Learning

Software Authors:   Alexander Bentkamp
Referenced in: 3 Publications (2017–2019)
Related Software: Polynomials; Groebner_Bases; Jordan Normal Forms; HOL; Isabelle/HOL; Isabelle; …
Main Fields: Commutative algebra (13-XX); Computer science (68-XX)

MULTIRES

Software Authors:   L. Busé, I.Z. Emiris; B. Mourrain
Referenced in: 3 Publications (2005–2020)
Related Software: LamanGraphs; Bezout; MonodromySolver; phcpy; PHCpack; Axel; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)

POS3POLY

Software Authors:   Şicleru, Bogdan C.; Dumitrescu, Bogdan
Referenced in: 3 Publications (2013–2017)
Related Software: CVX; SDPT3; SeDuMi; GloptiPoly; EMpht; Chebfun; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

spray

Software Authors:   Robin K. S. Hankin
Referenced in: 0 Publications
Related Software: disordR; R; mpoly; STL; CRAN; mvp; …
Main Fields:

MILONGA

Software Authors:   Bruno, N.; Heintz, J.; Matera, G.; Wachenchauzer, R.
Referenced in: 2 Publications (2002–2008)
Related Software: Projective Noether; Kronecker; ISOLATE; RAGlib; Epsilon; SINGULAR; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX)

msolve

Software Authors:   Jérémy Berthomieu, Christian Eder, Mohab Safey El Din
Referenced in: 1 Publication (2022)
Related Software: tinygb; SLV; FLINT; gmp; FGb; M4RI; …
Main Fields: Commutative algebra (13-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

multipol

Software Authors:   Robin K. S. Hankin
Referenced in: 0 Publications
Related Software: R; disordR; slam; mpoly; STL; polynom; …
Main Fields:

MultivariatePolynomials

Software Authors:   Benoît Legat
Referenced in: 0 Publications
Related Software: Julia; diffeqpy; JSOSolvers.jl; Optim; ARPACK; JuMP; …
Main Fields:

MultivariatePowerSeries

Software Authors:   Mohammadali Asadi, Alexander Brandt, Mahsa Kazemi, Marc Moreno Maza, Erik Postma
Referenced in: 1 Publication (2021)
Related Software: SageMath; Maple; PowerSeries; RegularChains; Mathematica; SolveTools; …
Main Fields: Computer science (68-XX)

multivsos

Software Authors:   Victor Magron
Referenced in: 1 Publication (2018)
Related Software: univsos; Maple; RealCertify; PARI/GP; SDPA; RAGlib
Main Fields: Computer science (68-XX)

mvp

Software Authors:   Robin K. S. Hankin
Referenced in: 0 Publications
Related Software: R; spray; disordR; CRAN; mpoly; STL; …
Main Fields:

PowerMethod

Software Authors:   Todd Headrick; Yanyan Sheng; Flaviu-Adrian Hodis
Referenced in: 1 Publication (2017)
Related Software: Mathematica; SEPath; Fungible; EQS; lavaan; Mplus; …
Main Fields: Statistics (62-XX)

RAML

Software Authors:   –
Referenced in: 2 Publications (2017–2021)
Related Software: OCaml; KoAT; TcT; TPDB; AProVE; z3; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Rings

Software Authors:   Stanislav Poslavsky
Referenced in: 1 Publication (2019)
Related Software: GiNaC; NTL; gmp; SymPy; FLINT; SINGULAR; …
Main Fields: Commutative algebra (13-XX); Computer science (68-XX)

SymProve3

Software Authors:   Chen, Shengli; Chen, Liangyu
Referenced in: 2 Publications (2013–2017)
Related Software: BOTTEMA; QEPCAD; Maple
Main Fields: Geometry (51-XX); Computer science (68-XX)

boolfun

Software Authors:   F.Lafitte
Referenced in: 1 Publication (2016)
Related Software: VBFlib; MatPack; CrypTool; VBF; KASUMI; SageMath; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

DynamicPolynomials

Software Authors:   Benoît Legat
Referenced in: 0 Publications
Related Software: MultivariatePolynomials; Julia; HomotopyContinuation
Main Fields:

freealg

Software Authors:   Robin K. S. Hankin
Referenced in: 0 Publications
Related Software: clifford; spray; stokes; hyper2; disordR; mvp; …
Main Fields:

multivar_horner

Software Authors:   Jannik Michelfeit
Referenced in: 0 Publications
Related Software: StaticPolynomials.jl; SymPy; Numba; NumPy; Python
Main Fields:

MultivariateStirlingPolynomials

Software Authors:   Alfred Schreiber
Referenced in: 1 Publication (2021)
Related Software: Mathematica
Main Fields: Number theory (11-XX)

StaticPolynomials.jl

Software Authors:   Sascha Timme
Referenced in: 0 Publications
Related Software: SymPy; Numba; NumPy; Python; multivar_horner
Main Fields:

calculus

Software Authors:   Emanuele Guidotti
Referenced in: 0 Publications
Related Software:
Main Fields:

com.perisic.ring

Software Authors:   Conrad, Marc
Referenced in: 0 Publications
Related Software:
Main Fields:

Polymul

Software Authors:   Ulf Ekström
Referenced in: 0 Publications
Related Software:
Main Fields: