×

Found 1,636 Software Packages (Results 701–800)

SQLite

Cited in 7 Documents (2010–2022)
Software Authors:
Related Software: R; Python; RSQLite; …
Main Fields: Commutative algebra (13-XX); Statistics (62-XX); Computer science (68-XX); …

TropLi

Cited in 19 Documents (2006–2021)
Software Authors: Rincón, Felipe
Related Software: Gfan; polymake; a-tint; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Ordinary differential equations (34-XX); …

AIM@SHAPE

Cited in 17 Documents (2008–2020)
Software Authors:
Related Software: PcGets; ABC4EFT; CHOLMOD; …
Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …

FindStat

Cited in 18 Documents (2013–2021)
Software Authors: C. Berg; M. Rubey; C. Stump
Related Software: OEIS; SageMath; DiscreteZOO; …
Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Group theory and generalizations (20-XX); …

GenSSI

Cited in 18 Documents (2013–2023)
Software Authors: Chis O, Banga J, Balsa-Canto E
Related Software: DAISY; SIAN; COMBOS; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); …

Groebner

Cited in 17 Documents (1991–2019)
Software Authors: maplesoft.com
Related Software: Maple; REDUCE; SINGULAR; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); …

JAMA

Cited in 14 Documents (2001–2015)
Software Authors: Hicklin, J.; Moler, C.; Webb, P.; Boisvert, R. F.; Miller, B.; Pozo, R.; Remington, K
Related Software: LAPACK; TNT; JAMPACK; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Geophysics (86-XX); …

JavaView

Cited in 16 Documents (2002–2019)
Software Authors: Polthier, K., Preuss, E., Hildebrandt, K., Reitebuch, U.
Related Software: polymake; cdd; Macaulay2; …
Main Fields: General and overarching topics; collections (00-XX); Convex and discrete geometry (52-XX); Manifolds and cell complexes (57-XX); …

Khoho

Cited in 18 Documents (2005–2022)
Software Authors: Shumakovitch, A.
Related Software: Knot Atlas; KnotInfo; GitHub; …
Main Fields: Algebraic geometry (14-XX); Category theory; homological algebra (18-XX); Manifolds and cell complexes (57-XX); …

LightGraphs.jl

Cited in 13 Documents (2020–2022)
Software Authors: S. Bromberger, J. Fairbanks, et al
Related Software: Julia; JuMP; GitHub; …
Main Fields: Field theory and polynomials (12-XX); Algebraic geometry (14-XX); Category theory; homological algebra (18-XX); …

MBCbook

Cited in 18 Documents (2019–2022)
Software Authors: Charles Bouveyron; Gilles Celeux; T. Brendan Murphy; Adrian E. Raftery
Related Software: R; mclust; funHDDC; …
Main Fields: General algebraic systems (08-XX); Algebraic geometry (14-XX); Statistics (62-XX); …

MIST

Cited in 17 Documents (2002–2012)
Software Authors: Walter, Colin D.
Related Software: BFFL; NTL
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

NGluon

Cited in 17 Documents (2011–2020)
Software Authors: Badger, S.; Biedermann, B.; Uwer, P.
Related Software: CutTools; BlackHat; HELAC-1LOOP; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); …

NPspinor

Cited in 18 Documents (1991–2021)
Software Authors: Chu, K.C.; Czapor, S.R.; McLenaghan, R.G.
Related Software: NP; Maple; xTensor; …
Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Quantum theory (81-XX); …

POLSYS_PLP

Cited in 18 Documents (1999–2014)
Software Authors: Wise, Steven M.; Sommese, Andrew J.; Watson, Layne T.
Related Software: PHCpack; HOMPACK90; PHoM; …
Main Fields: Field theory and polynomials (12-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

posets

Cited in 18 Documents (1996–2019)
Software Authors: Stembridge, J.R
Related Software: coxeter; SF; OEIS; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Associative rings and algebras (16-XX); …

RELIC

Cited in 18 Documents (2010–2023)
Software Authors: Aranha, D.F., Gouvêa, C.P.L.
Related Software: GitHub; MIRACL; mpFq; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

ROTA

Cited in 18 Documents (2000–2022)
Software Authors: Zeilberger, Doron
Related Software: MAYLIS; USAW; USAP; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX); …

SDPARA

Cited in 17 Documents (2004–2019)
Software Authors: M. Yamashita; K. Fujisawa; M. Kojima
Related Software: SeDuMi; SDPA; SDPT3; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SIAN

Cited in 17 Documents (2019–2023)
Software Authors: Hong, Hoon; Ovchinnikov, Alexey; Pogudin, Gleb; Yap, Chee
Related Software: DAISY; COMBOS; GenSSI; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Ordinary differential equations (34-XX); …

SumCracker

Cited in 18 Documents (2006–2022)
Software Authors: Kauers, Manuel
Related Software: GeneratingFunctions; Mathematica; QEPCAD; …
Main Fields: Combinatorics (05-XX); Special functions (33-XX); Difference and functional equations (39-XX); …

SuSy 2

Cited in 18 Documents (1997–2022)
Software Authors: Popowicz, Ziemowit
Related Software: PSEUDO; REDUCE; PDEtools; …
Main Fields: Nonassociative rings and algebras (17-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …

algcurves

Cited in 17 Documents (2003–2023)
Software Authors: van Hoeij, M.; Bernard Deconinck; Matthew S. Patterson
Related Software: Maple; Matlab; SageMath; …
Main Fields: Algebraic geometry (14-XX); Functions of a complex variable (30-XX); Several complex variables and analytic spaces (32-XX); …

ApaTools

Cited in 16 Documents (2008–2020)
Software Authors: Zeng, Zhonggang
Related Software: MultRoot; PHCpack; Bertini; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

BlackMax

Cited in 17 Documents (2009–2019)
Software Authors: D.-C. Dai et al.
Related Software: CHARYBDIS2; Catfish; NINJA; …
Main Fields: Classical thermodynamics, heat transfer (80-XX); Quantum theory (81-XX); Relativity and gravitational theory (83-XX); …

Clifford Multivector Toolbox

Cited in 17 Documents (2017–2022)
Software Authors: Sangwine, S.J., Hitzer, E.
Related Software: CLIFFORD; Gaigen; Gaalop; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); …

CoCalc

Cited in 16 Documents (2018–2023)
Software Authors: William A. Stein
Related Software: SageMath; OEIS; mgn; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …

decompose-jacobians

Cited in 16 Documents (2017–2023)
Software Authors: Jennifer Paulhus, Anita M. Rojas
Related Software: SageMath; Magma; BRAID; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Group theory and generalizations (20-XX); …

FIESTA 3

Cited in 15 Documents (2014–2021)
Software Authors: Smirnov, A.V.
Related Software: FIESTA; SecDec; FIRE; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Quantum theory (81-XX); …

Help

Cited in 16 Documents (2016–2021)
Software Authors: Bächle, A.; Margolis, L.
Related Software: GAP; 4ti2; Normaliz; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX); …

IML - Integer Matrix Library

Cited in 17 Documents (2005–2023)
Software Authors: Z. Chen; A. Storjohann; Cory Fletcher
Related Software: LinBox; 4ti2; PipLib; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

IML++

Cited in 17 Documents (1998–2014)
Software Authors: DONGARRA, J., LUMSDAINE, A., POZO, R., REMINGTON, K
Related Software: SparseLib++; Gmsh; LAPACK; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

JAS

Cited in 15 Documents (2008–2023)
Software Authors: Heinz Kredel
Related Software: SINGULAR; AXIOM; Plural; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX); …

JGEX

Cited in 16 Documents (2007–2020)
Software Authors: Ye, Zheng; Chou, Shang-Ching; Gao, Xiao-Shan
Related Software: GEX; GeoGebra; GeoProof; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Geometry (51-XX); …

Open Science Grid

Cited in 4 Documents (2007–2020)
Software Authors: opensciencegrid.org
Related Software: Globus Toolkit; Condor-G; SNAP; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

pls.lib

Cited in 17 Documents (2013–2021)
Software Authors: Falcón, R. M.
Related Software: SINGULAR; GeoGebra; nauty; …
Main Fields: Combinatorics (05-XX); Nonassociative rings and algebras (17-XX); Computer science (68-XX); …

SCIP-SDP

Cited in 17 Documents (2016–2023)
Software Authors: Frederic Matter, Marc Pfetsch; Tristan Gally, Sonja Mars, Lars Schewe
Related Software: SCIP; CPLEX; SDPA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SeDiMO

Cited in 17 Documents (2007–2023)
Software Authors: Baur, Karin; Draisma, Jan; de Graaf, Willem A.
Related Software: Macaulay2; Bertini; GAP; …
Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX); …

XMod

Cited in 17 Documents (1998–2023)
Software Authors: Christopher D. Wensley, Murat Alp
Related Software: GAP; Gpd; XModAlg; …
Main Fields: Associative rings and algebras (16-XX); Category theory; homological algebra (18-XX); Group theory and generalizations (20-XX); …

Atlas of Lie Groups

Cited in 16 Documents (2008–2023)
Software Authors: Noël, Alfred G.
Related Software: Mathematica
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); …

BenderWu

Cited in 15 Documents (2016–2022)
Software Authors: T. Sulejmanpasic, M. Ünsal
Related Software: Mathematica; BWDifference; DLMF
Main Fields: Algebraic geometry (14-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …

CICY Quotients

Cited in 16 Documents (2016–2021)
Software Authors: Andrei Constantin, James Gray, Andre Lukas
Related Software: Calabi-Yau database; PALP; GAP; …
Main Fields: Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); Differential geometry (53-XX); …

COMPAS

Cited in 14 Documents (1990–2021)
Software Authors: Chmiel, Krzysztof; Roman, Adam
Related Software: TESTAS; PATRICIA; Boost; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …

corner.py

Cited in 7 Documents (2018–2022)
Software Authors: Foreman-Mackey, D., Vousden, W., Price-Whelan, A., et al
Related Software: Python; SciPy; NumPy; …
Main Fields: Statistics (62-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX); …

CPT

Cited in 15 Documents (2001–2019)
Software Authors: Sean Mauch
Related Software: HE-E1GODF; SPARSKIT; DiFi; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

dpgb

Cited in 16 Documents (2006–2019)
Software Authors: Manubens, Montserrat; Montes, Antonio
Related Software: SINGULAR; PGB; Maple; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

Fermat.m

Cited in 16 Documents (2010–2022)
Software Authors: Matthew Headrick, Ali Nassar
Related Software: Mathematica; Adam; MNIST; …
Main Fields: Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); Differential geometry (53-XX); …

GeMSS

Cited in 16 Documents (2020–2023)
Software Authors: Casanova A., Faugère J.-C., Macario-Rat G., Patarin J., Perret L., Ryckeghem J.
Related Software: EFLASH; Magma; McEliece; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Giac

Cited in 15 Documents (2010–2021)
Software Authors: B. Parisse
Related Software: GeoGebra; SINGULAR; Xcas; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Geometry (51-XX); …

GiNaC-cycle

Cited in 15 Documents (2004–2022)
Software Authors: Vladimir V. Kisil
Related Software: GiNaC; MetaPost; Asymptote; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Functions of a complex variable (30-XX); Geometry (51-XX); …

LamanGraphs

Cited in 16 Documents (2017–2023)
Software Authors: Capco, Jose; Gallet, Matteo; Grasegger, Georg; Koutschan, Christoph; Lubbes, Niels; Schicho, Josef
Related Software: Bezout; PHCpack; OEIS; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …

Lgp

Cited in 16 Documents (2009–2021)
Software Authors: J.-S. Cheng, X.-S. Gao, J. Li
Related Software: ISOLATE; insulate; CGAL; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Functions of a complex variable (30-XX); …

Library of Triangulations

Cited in 16 Documents (2013–2022)
Software Authors: Bruno Benedetti, Frank H. Lutz
Related Software: Simplicial complex library; GAP; polymake; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Algebraic topology (55-XX); …

Mesquite

Cited in 12 Documents (2006–2021)
Software Authors: Maddison, W.P.;D.R. Maddison
Related Software: R; kdetrees; ape; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

MultiSum

Cited in 16 Documents (2002–2022)
Software Authors: Kurt Wegschaider; Axel Riese
Related Software: SIGMA; GeneratingFunctions; HolonomicFunctions; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX); …

PHClab

Cited in 16 Documents (2008–2022)
Software Authors: Guan, Y.; Verschelde, J.
Related Software: PHCpack; Bertini; BertiniLab; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); …

Poincare_Series

Cited in 15 Documents (2010–2023)
Software Authors: Bedratyuk, L.P.
Related Software: Macaulay2; Normaliz; Maple; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); …

QPA

Cited in 16 Documents (2014–2022)
Software Authors: QPA-team
Related Software: SageMath; OEIS; GAP; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …

Riegeom

Cited in 15 Documents (1994–2021)
Software Authors: R. Portugal
Related Software: ATENSOR; MathTensor; xTensor; …
Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Simplicial complex library

Cited in 16 Documents (2002–2022)
Software Authors: M. Hachimori
Related Software: Library of Triangulations; Macaulay2; SageMath; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Convex and discrete geometry (52-XX); …

Sparse-BSOS

Cited in 16 Documents (2018–2022)
Software Authors: Weisser, Tillmann; Lasserre, Jean B.; Toh, Kim-Chuan
Related Software: GloptiPoly; SPOTless; SeDuMi; …
Main Fields: Algebraic geometry (14-XX); Operator theory (47-XX); Numerical analysis (65-XX); …

AQCS

Cited in 14 Documents (2000–2020)
Software Authors: Ratschan, S
Related Software: QEPCAD; RSOLVER; mctoolbox; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Numerical analysis (65-XX); …

Bertini_real

Cited in 15 Documents (2014–2023)
Software Authors: Brake, Daniel A.; Bates, Daniel J.; Hao, Wenrui; Hauenstein, Jonathan D.; Sommese, Andrew J.; Wampler, CharlesW.
Related Software: Bertini; ISOLATE; Kronecker; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

Bliksem

Cited in 15 Documents (1999–2012)
Software Authors: de Nivelle, H.
Related Software: SPASS; OTTER; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX)

cisimplicial

Cited in 15 Documents (2005–2021)
Software Authors: Bermejo, I., García-Marco, I
Related Software: SINGULAR; cimonom; numericalsgps; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-XX); …

Dependencies

Cited in 15 Documents (2008–2023)
Software Authors: M. Kauers; B. Zimmermann
Related Software: Mathematica; SIGMA; SumCracker; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Group theory and generalizations (20-XX); …

Emacs

Cited in 15 Documents (1991–2013)
Software Authors: Schoonover, Michael A.; Bowie, John S.; Arnold, William R.
Related Software: vi; Automath; OCaml; …
Main Fields: General and overarching topics; collections (00-XX); Commutative algebra (13-XX); Computer science (68-XX)

geomstats

Cited in 13 Documents (2019–2023)
Software Authors: Nina Miolane, Johan Mathe, Claire Donnat, Mikael Jorda, Xavier Pennec
Related Software: Pymanopt; GitHub; TensorFlow; …
Main Fields: Differential geometry (53-XX); Global analysis, analysis on manifolds (58-XX); Statistics (62-XX); …

IbexOpt

Cited in 13 Documents (2012–2022)
Software Authors: Araya, I., Trombettoni, G., Neveu, B.
Related Software: Numerica; INTBIS; IBEX; …
Main Fields: Field theory and polynomials (12-XX); Statistics (62-XX); Numerical analysis (65-XX); …

LGS

Cited in 14 Documents (1992–2010)
Software Authors: Ershov, Alexey; Ivanov, Ilia; Preis, Serge; Rukoleev, Eugene; Ushakov, Dmitry
Related Software: Joinpoint
Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Dynamical systems and ergodic theory (37-XX); …

modpn

Cited in 14 Documents (2009–2022)
Software Authors: Li, Xin; Moreno Maza, Marc; Rasheed, Raqeeb; Schost, Éric
Related Software: Magma; Maple; ISOLATE; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …

MPC

Cited in 15 Documents (2003–2022)
Software Authors: Andreas Enge, Mickaël Gastineau, Philippe Théveny, Paul Zimmermann; INRIA Bordeaux-Sud-Ouest
Related Software: MPFR; gmp; ECPP; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Topological groups, Lie groups (22-XX); …

Orbital library

Cited in 15 Documents (2008–2021)
Software Authors: André Platzer
Related Software: z3; QEPCAD; KeYmaera; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

Projective Noether

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

PySMT

Cited in 13 Documents (2017–2022)
Software Authors: Marco Gario, Andrea Micheli
Related Software: z3; Yices; MathSAT5; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX); …

QUAD

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

rootsb

Cited in 15 Documents (2015–2022)
Software Authors: Yuji Nakatsukasa
Related Software: Chebfun; Chebfun2; Bertini; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); …

zk-SNARK

Cited in 15 Documents (2014–2022)
Software Authors: Ben-Sasson, Eli; Chiesa, Alessandro; Tromer, Eran; Virza, Madars
Related Software: Pinocchio; SNARKs for C; Marlin; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

APECS

Cited in 14 Documents (1994–2011)
Software Authors: Ian Connell
Related Software: ecdata; PARI/GP; mwrank; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX)

Barreto-Naehrig

Cited in 14 Documents (2010–2022)
Software Authors: Beuchat, Jean-Luc; Gonz'alez-D{'i}az, Jorge E.; Mitsunari, Shigeo; Okamoto, Eiji; Rodr{'i}guez-Henr{'i}quez, Francisco; Teruya, Tadanori
Related Software: gRPC; GitHub; SageMath; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …

BlockPR

Cited in 14 Documents (2016–2021)
Software Authors: Iwen, M.; Wang, Y.; Viswanathan, A.
Related Software: PhaseLift; SparsePR; Wirtinger Flow; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX); …

CADO-NFS

Cited in 14 Documents (2014–2021)
Software Authors: Shi Bai; Cyril Bouvier; Alain Filbois; Pierrick Gaudry; Alexander Kruppa; François Morain; Emmanuel Thomé; Paul Zimmermann
Related Software: SageMath; NTL; Magma; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

CALI

Cited in 14 Documents (1993–2019)
Software Authors: Gräbe, H.-G
Related Software: REDUCE; SEGRE; CoCoA; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); …

cddplus

Cited in 14 Documents (2001–2023)
Software Authors: Komei Fukuda
Related Software: cdd; polymake; bliss; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …

CliffSymNil

Cited in 14 Documents (2012–2021)
Software Authors: René Schott; G. Stacey Staples
Related Software: CliffMath; CliffOC; Mathematica; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX); …

ComputeBelyi

Cited in 14 Documents (2014–2020)
Software Authors: Mark van Hoeij, Raimundas Vidunas
Related Software: DLMF; PHCpack; BRAID; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Special functions (33-XX); …

CoNtRol

Cited in 14 Documents (2015–2022)
Software Authors: Donnell P, Banaji M, Marginean A, Pantea C
Related Software: crntwin; MESSI; MCKR; …
Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); …

DeepMath

Cited in 13 Documents (2017–2021)
Software Authors: Alex A. Alemi, Francois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, Josef Urban
Related Software: Mizar; E Theorem Prover; ENIGMA; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Computer science (68-XX)

FAST-PT

Cited in 14 Documents (2017–2021)
Software Authors: Fang, Xiao; Blazek, Jonathan A.; McEwen, Joseph E.; Hirata, Christopher M.
Related Software: CAMB; GetDist; SciPy; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Optics, electromagnetic theory (78-XX); …

KAAPI

Cited in 8 Documents (2007–2021)
Software Authors: Thierry Gautier; Xavier Besseron; Laurent Pigeon
Related Software: LinBox; Cilk; StarPU; …
Main Fields: Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …

MARS

Cited in 14 Documents (2014–2023)
Software Authors: Zhang, Qinghai; Fogelson, Aaron
Related Software: GePUP; PROST; Gerris; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …

MDSpackage

Cited in 13 Documents (2015–2022)
Software Authors: Hausen, Jürgen; Keicher, Simon
Related Software: Convex; Maple; Magma; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

NAG4M2

Cited in 12 Documents (2011–2021)
Software Authors: Anton Leykin
Related Software: PHCpack; Bertini; NumericalAlgebraicGeometry; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

ParetoImageSDP

Cited in 14 Documents (2014–2022)
Software Authors: Victor Magron
Related Software: Mosek; YALMIP; GloptiPoly; …
Main Fields: Field theory and polynomials (12-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

PDEBellII

Cited in 14 Documents (2014–2023)
Software Authors: Miao, Q., Wang, Y.H., Chen, Y., Yang, Y.Q.
Related Software: Maple; GeM; HIROTA.MAX; …
Main Fields: Number theory (11-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …

PhaseCut

Cited in 14 Documents (2015–2022)
Software Authors: Fajwel Fogel, Irène Waldspurger, Alexandre d'Aspremont
Related Software: PhaseLift; Wirtinger Flow; GESPAR; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX); …

PLUMP

Cited in 14 Documents (1991–2009)
Software Authors: Beg, Ivan; Ling, Wu; M\"uller, Andreas; Przybyszewski, Piotr; R\"uhl, Roland; Sawyer, William
Related Software: PROGRES; SPARSKIT; ITSOL
Main Fields: Algebraic geometry (14-XX); Category theory; homological algebra (18-XX); Real functions (26-XX); …

a-tint

Cited in 12 Documents (2014–2022)
Software Authors: Hampe, Simon
Related Software: polymake; SINGULAR; Gfan; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Geometry (51-XX); …

ACE

Cited in 13 Documents (1997–2010)
Software Authors: Veigneau, S.
Related Software: Maple; SF; MACSYMA; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); …

ANewDsc

Cited in 13 Documents (2016–2022)
Software Authors: Kobel, Alexander; Rouillier, Fabrice; Sagraloff, Michael
Related Software: ISOLATE; Ccluster; Arb; …
Main Fields: Algebraic geometry (14-XX); Functions of a complex variable (30-XX); Numerical analysis (65-XX); …

Filter Results by …

all top 5

Related Software

all top 3

Main Field