×

Found 192 Software Packages (Results 1–100)

Matlab

Cited in 15,038 Documents (1982–2025)
Software Authors: MathWorks Inc.
Related Software: Simulink; LMI toolbox; MATLAB ODE suite; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …

R

Cited in 10,433 Documents (1978–2024)
Software Authors: Wickham, Hadley; Gentleman, Robert; Ihaka, Ross; Chambers, John M.; Venables, William N.; Ripley, Brian D.
Related Software: ggplot2; CRAN; SAS; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Mathematica

Cited in 6,924 Documents (1986–2025)
Software Authors: Wolfram Research
Related Software: Maple; Matlab; R; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

GitHub

Cited in 5,825 Documents (2010–2024)
Software Authors: github
Related Software: R; Adam; Matlab; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Maple

Cited in 5,523 Documents (1983–2024)
Software Authors: Waterloo Maple Inc.
Related Software: Mathematica; Matlab; Magma; …
Main Fields: Number theory (11-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX); …

OEIS

Cited in 5,704 Documents (1973–2025)
Software Authors: Sloane, Neil J. A.; The OEIS Foundation Inc.
Related Software: SageMath; Mathematica; DLMF; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); …

Magma

Cited in 4,269 Documents (1994–2025)
Software Authors: Bosma, W.; Steel, A.; Matthews, G.; Fisher, D.; Cannon, J.; Contini, S.; Smith, B.
Related Software: GAP; SageMath; PARI/GP; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …

DLMF

Cited in 4,117 Documents (2000–2025)
Software Authors: Lozier, Daniel W.
Related Software: Mathematica; Matlab; OEIS; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); …

GAP

Cited in 3,878 Documents (1990–2024)
Software Authors: GAP Group
Related Software: Magma; SageMath; ATLAS Group Representations; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …

Python

Cited in 1,708 Documents (1991–2025)
Software Authors: van Rossum, Guido
Related Software: SciPy; NumPy; Scikit; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SageMath

Cited in 2,846 Documents (2002–2025)
Software Authors: The Sage Developers; Stein, William; Joyner, David; Kohel, David; Cremona, John; Eröcal, Burçin
Related Software: Magma; GAP; GitHub; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …

Macaulay2

Cited in 2,382 Documents (1988–2025)
Software Authors: Grayson, Daniel R.; Stillman, Michael E.; Eisenbud, David
Related Software: SINGULAR; CoCoA; SageMath; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

Coq

Cited in 2,055 Documents (1993–2024)
Software Authors: Dehlinger, Christophe; Dufourd, Jean-François
Related Software: Isabelle/HOL; Isabelle; HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …

SINGULAR

Cited in 1,702 Documents (1991–2024)
Software Authors: Decker, Wolfram; Greuel, Gert-Martin; Pfister, Gerhard; Schönemann, Hans
Related Software: Macaulay2; CoCoA; SageMath; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); …

SeDuMi

Cited in 1,430 Documents (1999–2025)
Software Authors: Sturm, J. F.
Related Software: YALMIP; SDPT3; GloptiPoly; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

FEniCS

Cited in 1,307 Documents (2007–2024)
Software Authors: Simula Research Laboratory; University of Cambridge; University of Chicago; Texas Tech University; KTH Royal Institute of Technology
Related Software: SyFi; PETSc; DOLFIN; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

TensorFlow

Cited in 1,011 Documents (2016–2024)
Software Authors: Google Brain Team; Abadi, M.; Agarwal, A.; Barham, P.; Brevdo, E.; Chen, Z.; Citro, C.; Corrado, G. S.; Davis, A.; Dean, J.; Devin, M.; et al.
Related Software: Adam; PyTorch; Keras; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

PyTorch

Cited in 873 Documents (2018–2025)
Software Authors: Paszke, A.; Gross, S.; Massa, F.; Lerer, A.; Bradbury, J.; Chanan, G.; Killeen, T.; Lin, Z.; Gimelshein, N.; Antiga, L.; Desmaison, A.; Kopf, A.; Yang, E.; DeVito, Z.; Raison, M.; Tejani, A.; Chilamkurthy, S.; Steiner, B.; Fang, L.; Bai, J.; Chintala, S.
Related Software: Adam; TensorFlow; Python; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Julia

Cited in 798 Documents (2014–2024)
Software Authors: Bezanson, J.; Karpinski, S.; Shah, V. B.; Edelman, A.
Related Software: GitHub; JuMP; DifferentialEquations.jl; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …

MathOverflow

Cited in 871 Documents (2010–2024)
Software Authors: Stack Exchange Inc.
Related Software: OEIS; SageMath; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …

SDPT3

Cited in 794 Documents (1986–2024)
Software Authors: Toh, K. C.; Todd, M. J.; Tütüncü, R. H.
Related Software: SeDuMi; YALMIP; CVX; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

PARI/GP

Cited in 793 Documents (1992–2025)
Software Authors: Cohen, Henri; Belabas, Karim; PARI Group
Related Software: Magma; SageMath; ecdata; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …

Isabelle

Cited in 763 Documents (1990–2024)
Software Authors: Paulson, Larry; Nipkow, Tobias; Wenzel, Makarius
Related Software: Isabelle/HOL; HOL; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); …

mftoolbox

Cited in 776 Documents (2008–2024)
Software Authors: Higham, N. J.
Related Software: mctoolbox; Matlab; MATLAB expm; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); …

REDUCE

Cited in 746 Documents (1970–2024)
Software Authors: Hearn, Anthony C.; Rayna, Gerhard; Schöpf, Rainer; Sturm, Thomas
Related Software: Maple; Mathematica; MACSYMA; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …

Mosek

Cited in 715 Documents (1999–2024)
Software Authors: MOSEK ApS
Related Software: YALMIP; SeDuMi; CVX; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

MACSYMA

Cited in 724 Documents (1971–2023)
Software Authors: symbolics
Related Software: Maple; Mathematica; REDUCE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

nauty

Cited in 719 Documents (1988–2024)
Software Authors: McKay, Brendan; Piperno, Adolfo
Related Software: Traces; GAP; OEIS; …
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Computer science (68-XX); …

CoCoA

Cited in 688 Documents (1989–2024)
Software Authors: CoCoa-Team; Robbiano, Lorenzo
Related Software: Macaulay2; SINGULAR; CoCoALib; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

SCIP

Cited in 690 Documents (2005–2024)
Software Authors: Gally, Tristan; Gamrath, Gerald; Gemander, Patrick; Gleixner, Ambros; Gottwald, Robert; Hendel, Gregor; Hojny, Christopher; Maher, Stephen J.; Miltenberger, Matthias; Müller, Benjamin; Pfetsch, Marc; Schlösser, Franziska; Serrano, Felipe; Vigerske, Stefan; Weninger, Dieter; Witzig, Jakob
Related Software: CPLEX; MIPLIB; Gurobi; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …

MPI

Cited in 494 Documents (1990–2024)
Software Authors: Fike, Jeffrey A.; Alonso, Juan J.
Related Software: LAPACK; CUDA; PETSc; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …

EISPACK

Cited in 495 Documents (1974–2024)
Software Authors: Smith, Brian; Boyle, James; Dongarra, Jack; Garbow, Burton; Ikebe, Y.; Klema, V.; Moler, Cleve
Related Software: LAPACK; LINPACK; BLAS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

FORM

Cited in 446 Documents (1993–2024)
Software Authors: Kuipers, J.; Ueda, T.; Vermaseren, J. A. M.; Vollinga, J.
Related Software: Mincer; Reduze; LiteRed; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Quantum theory (81-XX); …

polymake

Cited in 408 Documents (2000–2024)
Software Authors: Gawrilow, Ewgenij; Joswig, Michael; the polymake team
Related Software: Macaulay2; Gfan; Normaliz; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …

Code Tables

Cited in 385 Documents (1998–2024)
Software Authors: Grassl, Markus; Brouwer, A. E.
Related Software: Magma; GAP; MinT; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …

Qhull

Cited in 350 Documents (1996–2024)
Software Authors: Barber, C. Bradford; Huhdanpaa, Hannu
Related Software: Matlab; CGAL; Triangle; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

gmp

Cited in 312 Documents (1995–2024)
Software Authors: Granlund
Related Software: MPFR; NTL; PARI/GP; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX); …

GSL

Cited in 289 Documents (2002–2024)
Software Authors: Free Software Foundation; Galassi, M.; Davies, J.; Theiler, J.; Gough, B.; Jungman, G.; Alken, P.; Booth, M.; Rossi, F.
Related Software: R; LAPACK; GitHub; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …

Bertini

Cited in 306 Documents (2008–2024)
Software Authors: Bates, D.; Hauenstein, J.; Sommese, A.; Wampler, C.
Related Software: PHCpack; Macaulay2; HOM4PS; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); …

OCaml

Cited in 280 Documents (1998–2024)
Software Authors: INRIA; X. Leroy, D. Rémy, J. Vouillon, D. Doligez
Related Software: Coq; Haskell; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); …

LaTeX

Cited in 261 Documents (1988–2024)
Software Authors: Lamport, Leslie
Related Software: TeX; EXPFIT4; Maple; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX); …

MPFR

Cited in 267 Documents (2001–2024)
Software Authors: Hanrot, Guillaume; Lefèvre, Vincent; Pélissier, Patrick; Théveny, Philippe; Zimmermann, Paul
Related Software: gmp; Mathematica; mctoolbox; …
Main Fields: Number theory (11-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …

CHEVIE

Cited in 270 Documents (1994–2024)
Software Authors: Geck, Meinolf; Hiss, Gerhard; Lübeck, Frank; Malle, Gunter; Pfeiffer, Götz
Related Software: GAP; Magma; SageMath; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …

Mace4

Cited in 257 Documents (1995–2024)
Software Authors: McCune, William
Related Software: Prover9; OTTER; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); …

FGb

Cited in 252 Documents (1998–2023)
Software Authors: Faugère, J. C.
Related Software: Magma; SINGULAR; Maple; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

kepler98

Cited in 249 Documents (2000–2024)
Software Authors: Hales, Thomas C.; Ferguson, Samuel P.
Related Software: Isabelle/HOL; Flyspeck; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Convex and discrete geometry (52-XX); …

ATLAS Group Representations

Cited in 246 Documents (1997–2024)
Software Authors: Abbott, R.; Bray, J.; Linton, S.; Nickerson, S.; Norton, S.; Parker, R.; Suleiman, I.; Tripp, J.; Walsh, P.; Wilson, R.
Related Software: GAP; Magma; CTblLib; …
Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Group theory and generalizations (20-XX); …

Prover9

Cited in 233 Documents (2006–2024)
Software Authors: McCune, William
Related Software: Mace4; OTTER; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); …

CSDP

Cited in 215 Documents (1999–2024)
Software Authors: Borchers, Brian
Related Software: SeDuMi; SDPT3; SDPA; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

ATLAS

Cited in 189 Documents (1992–2023)
Software Authors: Whaley, R. Clint
Related Software: LAPACK; BLAS; PHiPAC; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Maxima

Cited in 176 Documents (1998–2024)
Software Authors: Schelter, William
Related Software: Mathematica; SageMath; Maple; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

LiE

Cited in 188 Documents (1993–2024)
Software Authors: Cohen, A. M.; Lisser, B.; van Leeuwen, M. A. A.
Related Software: Mathematica; Macaulay2; Magma; …
Main Fields: Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); Group theory and generalizations (20-XX); …

LiteRed

Cited in 178 Documents (2013–2024)
Software Authors: Lee, R.
Related Software: FIRE; Reduze; Kira; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …

AXIOM

Cited in 173 Documents (1992–2022)
Software Authors: Daly, Tim; et al.
Related Software: Maple; Mathematica; REDUCE; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …

Book3264Examples

Cited in 175 Documents (2015–2024)
Software Authors: Charley Crissman; Eisenbud, David; Harris, Joe
Related Software: Macaulay2; GitHub; HomotopyContinuation; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

FIRE

Cited in 169 Documents (2008–2024)
Software Authors: Smirnov, A. V.
Related Software: LiteRed; Reduze; Kira; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …

SDPB

Cited in 172 Documents (2015–2024)
Software Authors: Simmons-Duffin, D
Related Software: JuliBootS; PyCFTBoot; CFTs4D; …
Main Fields: Global analysis, analysis on manifolds (58-XX); Statistics (62-XX); Quantum theory (81-XX); …

SnapPea

Cited in 167 Documents (1992–2024)
Software Authors: Callahan, Patrick J.; Hildebrand, Martin V.; Weeks, Jeffrey R.
Related Software: SnapPy; Snap; Regina; …
Main Fields: Group theory and generalizations (20-XX); Functions of a complex variable (30-XX); Differential geometry (53-XX); …

4ti2

Cited in 158 Documents (2004–2024)
Software Authors: Hemmecke, R; Köppe, M; Malkin, P; Walter, M
Related Software: Macaulay2; Normaliz; SINGULAR; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

CLASS

Cited in 156 Documents (2012–2024)
Software Authors: Lesgourgues, Julien
Related Software: Monte Python; CAMB; MontePython 3; …
Main Fields: Partial differential equations (35-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX); …

Reduze

Cited in 149 Documents (2010–2024)
Software Authors: Manteuffel, Andreas von; Studerus, Cedric
Related Software: FIRE; LiteRed; Kira; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX); …

MuPAD

Cited in 130 Documents (1991–2023)
Software Authors: Fuchssteiner, Benno; Wiwianka, Waldemar; Gottheil, Klaus; Kemper, Andreas; Kluge, Oliver; Morisse, Karsten; Naundorf, Holger; Oevel, Gudrun; Schulze, Thorsten
Related Software: Maple; Mathematica; MuPAD-Combinat; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-XX); …

LattE

Cited in 138 Documents (2003–2024)
Software Authors: De Loera, J. A., Hemmecke, R., Tauzer, J., Yoshida, R; M. Köppe
Related Software: Normaliz; polymake; 4ti2; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Convex and discrete geometry (52-XX); …

xAct

Cited in 133 Documents (2008–2024)
Software Authors: Martín-García, José M.
Related Software: xTras; xPerm; xPert; …
Main Fields: Differential geometry (53-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX); …

LISP

Cited in 120 Documents (1960–2024)
Software Authors: McCarthy, John
Related Software: ACL2; NQTHM; Haskell; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …

GL(n)pack

Cited in 127 Documents (2006–2025)
Software Authors: Broughan, Kevin
Related Software: LMFDB; Mathematica; SageMath; …
Main Fields: Number theory (11-XX); Topological groups, Lie groups (22-XX); Several complex variables and analytic spaces (32-XX); …

Sage-Combinat

Cited in 124 Documents (2010–2024)
Software Authors:
Related Software: SageMath; OEIS; CHEVIE; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Algebraic geometry (14-XX); …

ROBBINS

Cited in 123 Documents (1995–2024)
Software Authors: Zeilberger, Doron
Related Software: SageMath; OEIS; DODGSON; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Special functions (33-XX); …

SYMMGRP

Cited in 122 Documents (1993–2025)
Software Authors: Hereman, Willy; Champagne, B.; Winternitz, P.
Related Software: Maple; SYMMGRP.MAX; LIE; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …

Lean

Cited in 112 Documents (2015–2024)
Software Authors: Microsoft; de Moura, Leonardo; Kong, Soonho; Avigad, Jeremy; van Doorn, Floris; von Raumer, Jakob
Related Software: Coq; Isabelle/HOL; Agda; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Category theory; homological algebra (18-XX); …

Knot Atlas

Cited in 112 Documents (2005–2024)
Software Authors: Bar-Natan, Dror; Morrison, Scott
Related Software: KnotInfo; Khoho; Knotscape; …
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Manifolds and cell complexes (57-XX); …

Cadabra

Cited in 109 Documents (2007–2024)
Software Authors: Peeters, Kasper; Brewin, Leo
Related Software: xPerm; Mathematica; xAct; …
Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Mechanics of particles and systems (70-XX); …

GRAPE

Cited in 102 Documents (1993–2024)
Software Authors: Soicher, Leonard H.
Related Software: GAP; nauty; Magma; …
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Geometry (51-XX); …

Kira

Cited in 100 Documents (2018–2024)
Software Authors: Klappert, Jonas; Lange, Fabian; Maierhöfer, Philipp; Usovitsch; Usovitsch, J.; Uwer, P.
Related Software: FIRE; Reduze; LiteRed; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Plural

Cited in 102 Documents (2003–2024)
Software Authors: Levandovskyy, Viktor; Schönemann, Hans; Motsak, Olexander; Greuel, Gert-Martin
Related Software: SINGULAR; Macaulay2; OreModules; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …

Cuba

Cited in 89 Documents (2005–2024)
Software Authors: Hahn, T.
Related Software: FIESTA; VEGAS; SecDec; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Quantum theory (81-XX); …

Tensorlab

Cited in 94 Documents (2013–2024)
Software Authors: Sorber, L.; Barel, M. Van; Lathauwer, L. De
Related Software: TensorToolbox; Matlab; Algorithm 862; …
Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …

CLIFFORD

Cited in 94 Documents (1996–2024)
Software Authors: Ablamowicz, Rafal; Fauser, Bertfried
Related Software: Maple; BIGEBRA; CLICAL; …
Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); Functions of a complex variable (30-XX); …

fastDNAml

Cited in 88 Documents (1987–2022)
Software Authors: Olsen, G. J., Matsuda, H., Hagstrom, R., Overbeek, R; Felsenstein
Related Software: PHYLIP; MrBayes; Seq-Gen; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …

HomotopyContinuation

Cited in 90 Documents (2018–2024)
Software Authors: Breiding, Paul; Timme, Sascha
Related Software: Macaulay2; Bertini; PHCpack; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Statistics (62-XX); …

SWI-Prolog

Cited in 76 Documents (2000–2024)
Software Authors: Wielemaker, J.; Schrijvers, T.; Triska, M.; Lager, T.
Related Software: SICStus; clpfd; YAP-Prolog; …
Main Fields: Mathematical logic and foundations (03-XX); Nonassociative rings and algebras (17-XX); Computer science (68-XX); …

Hypexp

Cited in 85 Documents (2006–2024)
Software Authors: T. Huber, D. Maî tre
Related Software: HPL; XSummer; PolyLogTools; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Numerical analysis (65-XX); …

LieART

Cited in 82 Documents (2012–2024)
Software Authors: Feger, Robert; Kephart, Thomas W.
Related Software: Mathematica; LiE; Susyno; …
Main Fields: Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); Quantum theory (81-XX); …

TOPCOM

Cited in 78 Documents (2000–2024)
Software Authors: Rambau, Jörg
Related Software: polymake; SageMath; PALP; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …

FLINT

Cited in 73 Documents (2009–2025)
Software Authors: Hart, William B.
Related Software: SageMath; Magma; NTL; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …

SARAH

Cited in 70 Documents (2010–2024)
Software Authors: Staub, Florian
Related Software: Spheno; FeynArts; HiggsSignals; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX); …

xTras

Cited in 77 Documents (2014–2024)
Software Authors: Nutma, Teake
Related Software: xAct; xPert; xPerm; …
Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Mechanics of particles and systems (70-XX); …

HolonomicFunctions

Cited in 72 Documents (2009–2024)
Software Authors: Koutschan, Christoph
Related Software: Mathematica; OEIS; SINGULAR; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX); …

SYMMGRP.MAX

Cited in 74 Documents (1991–2025)
Software Authors: Champagne, B.; Hereman, W.; Winternitz, P.
Related Software: SYMMGRP; diffgrob2; LIE; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …

CTblLib

Cited in 72 Documents (2004–2024)
Software Authors: Breuer, Thomas
Related Software: GAP Character Table Library; GAP; Magma; …
Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-XX); …

FIRE5

Cited in 66 Documents (2015–2024)
Software Authors: Smirnov, A. V.
Related Software: FIRE; LiteRed; Reduze; …
Main Fields: Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); …

qZeil

Cited in 68 Documents (1996–2024)
Software Authors: Paule, Peter; Riese, Axel
Related Software: SIGMA; Mathematica; qMultiSum; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX); …

ROOT

Cited in 35 Documents (2001–2023)
Software Authors: Brun, René; Rademakers, Fons
Related Software: PYTHIA8; Python; GEANT4; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX); …

GAP Character Table Library

Cited in 62 Documents (2004–2024)
Software Authors: Thomas Breuer
Related Software: CTblLib; GAP; Magma; …
Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-XX); …

operads

Cited in 61 Documents (2010–2024)
Software Authors: Dotsenko, Vladimir; Johansson, Mikael Vejdemo
Related Software: OEIS; BinaryTrees; GitHub; …
Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-XX); …

diffgrob2

Cited in 59 Documents (1994–2024)
Software Authors: Mansfield, E. L.
Related Software: SYMMGRP; SYMMGRP.MAX; Maple; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …

NCAlgebra

Cited in 59 Documents (1994–2024)
Software Authors: Helton, JW; Miller, R; Stankus, M
Related Software: Mathematica; NCSOStools; SeDuMi; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX); Operator theory (47-XX); …

FiniteFlow

Cited in 51 Documents (2020–2024)
Software Authors: Peraro, Tiziano
Related Software: LiteRed; Kira; FIRE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Kan

Cited in 50 Documents (1998–2023)
Software Authors: Takayama, N.
Related Software: Macaulay2; SINGULAR; Risa/Asir; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …

AIR

Cited in 49 Documents (2010–2024)
Software Authors: Anastasiou, C.; Lazopoulos, A.
Related Software: Reduze; FIRE; LiteRed; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Filter Results by …

all top 5

Related Software

all top 3

Main Field