×

Found 1,931 Software Packages (Results 301–400)

DSTool

Cited in 106 Documents (1992–2022)
Software Authors: Guckenheimer, J; Meloon, BA; Myers, MR; Wicklin, FJ; Patra, Michael
Related Software: AUTO; AUTO-86; HomCont; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …

Isabelle/Isar

Cited in 106 Documents (2002–2024)
Software Authors: Wenzel, Markus; et al.
Related Software: Isabelle/HOL; Isabelle; Isar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …

HdBCS

Cited in 103 Documents (2004–2024)
Software Authors: Dobra, Adrian; Wang, Quanli; Zhang, Liang; West, Mike
Related Software: glasso; BDgraph; TETRAD; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Kira

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

UMAP

Cited in 92 Documents (2020–2024)
Software Authors: McInnes, Leland; Healy, John; Melville, James
Related Software: t-SNE; Scikit; GitHub; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

bnlearn

Cited in 83 Documents (2009–2024)
Software Authors: Scutari, Marco
Related Software: R; TETRAD; pcalg; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

Pinocchio

Cited in 105 Documents (2013–2024)
Software Authors: Parno, B.; Gentry, C.; Howell, J.; Raykova, M.
Related Software: SNARKs for C; Marlin; GitHub; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

Algorithm 862

Cited in 98 Documents (2006–2025)
Software Authors: Bader, Brett W.; Kolda, Tamara G.
Related Software: TensorToolbox; Matlab; Tensorlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …

emcee

Cited in 76 Documents (2017–2024)
Software Authors: Foreman-Mackey, Daniel; Hogg, David W.; Lang, Dustin; Goodman, Jonathan
Related Software: Python; SciPy; Matplotlib; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-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); …

GHC

Cited in 96 Documents (1992–2021)
Software Authors: Jones, Simon Peyton; Marlow, Simon
Related Software: Haskell; ML; OCaml; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Category theory; homological algebra (18-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); …

SDPNAL+

Cited in 103 Documents (2014–2024)
Software Authors: Yang, Liuqin; Sun, Defeng; Toh, Kim-Chuan
Related Software: SDPT3; SeDuMi; QSDPNAL; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); …

AAA

Cited in 101 Documents (2017–2024)
Software Authors: Nakatsukasa, Yuji; Sète, Olivier; Trefethen, Lloyd N.
Related Software: Chebfun; RKToolbox; Loewner; …
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX); …

Cosy

Cited in 102 Documents (1995–2024)
Software Authors: Makino, K; Berz, M
Related Software: FADBAD++; INTLAB; INTOPT_90; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …

Graphviz

Cited in 75 Documents (2001–2023)
Software Authors: Ellson, John; Gansner, Emden; Koutsofios, Lefteris; North, Stephen C.; Woodhull, Gordon
Related Software: Dynagraph; R; Python; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

Pajek datasets

Cited in 97 Documents (2002–2024)
Software Authors: Batagelj, Vladimir; Mrvar, Andrej
Related Software: Pajek; SparseMatrix; SNAP; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

CRYSTALS-KYBER

Cited in 100 Documents (2020–2024)
Software Authors: Bos, J.; Ducas, L.; Kiltz, E.; Lepoint, T.; Lyubashevsky, V.; Schanck, J. M.; Schwabe, P.; Seiler, G.; Stehlé, D.
Related Software: GitHub; CRYSTALS-Dilithium; FrodoKEM; …
Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX); …

NAXOS

Cited in 100 Documents (2007–2024)
Software Authors: Ustaoglu, Berkant; LaMacchia; Lauter; Mityagin
Related Software: HMQV; CMQV+; GitHub; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

PointNet

Cited in 83 Documents (2018–2024)
Software Authors: Qi, Charles R.; Su, Hao; Mo, Kaichun; Guibas, Leonidas J.
Related Software: Adam; PointCNN; PyTorch; …
Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX); Computer science (68-XX); …

VMD

Cited in 79 Documents (1999–2024)
Software Authors: Dalke, Andrew; Humphrey, William; Schulten, Klaus
Related Software: Gromacs; NAMD; CHARMM; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); …

OMDoc

Cited in 94 Documents (2001–2023)
Software Authors: Kohlhase, Michael
Related Software: MMT; Coq; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); …

Tensorlab

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

Xilinx

Cited in 23 Documents (1994–2023)
Software Authors: Xilinx Inc.
Related Software: Handel-C; Matlab; Simulink; …
Main Fields: Field theory and polynomials (12-XX); Computer science (68-XX); Quantum theory (81-XX); …

Sat4j

Cited in 92 Documents (2007–2024)
Software Authors: Berre, Le; Parrain
Related Software: Chaff; QMaxSAT; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-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); …

TESTPACK

Cited in 97 Documents (1988–2024)
Software Authors: Genz, A.
Related Software: sobol.cc; TOMS659; DLMF; …
Main Fields: Number theory (11-XX); Approximations and expansions (41-XX); Probability theory and stochastic processes (60-XX); …

HomotopyContinuation

Cited in 91 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); …

SIMECK

Cited in 95 Documents (2014–2024)
Software Authors: Beaulieu, R.; Shors, D.; Smith, J.; Treatman-Clark, S.; Weeks, B.; Wingers, L.
Related Software: SIMON; SPECK; PRESENT; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX); …

SPOTless

Cited in 96 Documents (2015–2024)
Software Authors: Megretski, Tobenkin, Permenter; Anirudha Majumdar
Related Software: Mosek; YALMIP; SeDuMi; …
Main Fields: Field theory and polynomials (12-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

Arb

Cited in 92 Documents (2015–2024)
Software Authors: Johansson, Fredrik
Related Software: SageMath; DLMF; PARI/GP; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Partial differential equations (35-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); …

CVXOPT

Cited in 88 Documents (2008–2024)
Software Authors: Andersen, Martin; Dahl, Joachim; Vandenberghe, Lieven
Related Software: Python; SeDuMi; ECOS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Diehard

Cited in 83 Documents (1998–2024)
Software Authors: Marsaglia, George
Related Software: TestU01; NIST Statistical Test Suite; MersenneTwister; …
Main Fields: Number theory (11-XX); Statistics (62-XX); Numerical analysis (65-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); …

PyMC

Cited in 69 Documents (2010–2024)
Software Authors: Fonnesbeck, Chris; Patil, Anand; Huard, David; Salvatier, John
Related Software: Stan; NUTS; Python; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

RegularChains

Cited in 93 Documents (2005–2023)
Software Authors: Lemaire, F.; Moreno Maza, M.; Xie, Y.
Related Software: Maple; SINGULAR; QEPCAD; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

Reluplex

Cited in 89 Documents (2017–2024)
Software Authors: Katz, Guy; Barrett, Clark; Dill, David; Julian, Kyle; Kochenderfer, Mykel
Related Software: AI2; Marabou; ImageNet; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

channelflow

Cited in 92 Documents (2008–2024)
Software Authors: Gibson, J. F.
Related Software: Matlab; FFTW; piDMD; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …

HPL

Cited in 92 Documents (2006–2025)
Software Authors: Maître, D.
Related Software: FORM; GiNaC; FIRE; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Computer science (68-XX); …

SoPlex

Cited in 91 Documents (1996–2024)
Software Authors: Wunderling, Roland
Related Software: SCIP; CPLEX; MIPLIB; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

deSolve

Cited in 68 Documents (2009–2024)
Software Authors: Soetaert, Karline; Petzoldt, Thomas; Setzer, R. Woodrow
Related Software: R; diffEq; RootSolve; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …

ergm

Cited in 67 Documents (2011–2024)
Software Authors: Handcock, Mark S.; Hunter, David R.; Butts, Carter T.; Goodreau, Steven M.; Krivitsky, Pavel N.; Morris, Martina
Related Software: R; statnet; network; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …

lp_solve

Cited in 81 Documents (1996–2024)
Software Authors: Berkelaar, M.; Eikland, K.; Notebaert, P.
Related Software: lpSolve; R; CPLEX; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …

MathSAT5

Cited in 88 Documents (2013–2024)
Software Authors: Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto
Related Software: z3; CVC4; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …

ROBPCA

Cited in 87 Documents (2002–2024)
Software Authors: Hubert, M.; Rousseeuw, P. J.; Vanden Branden, K.
Related Software: robustbase; R; rrcov; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-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); …

LDPC

Cited in 84 Documents (1997–2023)
Software Authors: Neal, Radford M.; MacKay, D. J. C.
Related Software: Matlab; Magma; Code Tables; …
Main Fields: Combinatorics (05-XX); Geometry (51-XX); Numerical analysis (65-XX); …

Voronoi

Cited in 83 Documents (1995–2024)
Software Authors: Fortune, Steven
Related Software: Triangle; Qhull; CGAL; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX); …

ECOS

Cited in 80 Documents (2014–2024)
Software Authors: Domahidi, Alexander; Chu, Eric; Akle, Santiago; Wang, Han
Related Software: CVXPY; Mosek; SCS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

FIESTA

Cited in 85 Documents (2009–2025)
Software Authors: Smirnov, A. V.; Smirnov, V. A.; Tentyukov, M.
Related Software: LiteRed; FIRE; pySecDec; …
Main Fields: Special functions (33-XX); Numerical analysis (65-XX); Computer science (68-XX); …

HOM4PS

Cited in 87 Documents (2008–2023)
Software Authors: Lee, T. L.; Li, T. Y.; Tsai, C. H.
Related Software: PHCpack; Bertini; alphaCertified; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

mpmath

Cited in 83 Documents (2010–2024)
Software Authors: Johansson, Fredrik
Related Software: SciPy; SageMath; SymPy; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Numerical analysis (65-XX); …

SCS

Cited in 88 Documents (2016–2024)
Software Authors: O'Donoghue, B.; Chu, E.; Parikh, N.; Boyd, S.
Related Software: Mosek; GitHub; CVXPY; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Hypexp

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

PARAFAC

Cited in 85 Documents (1976–2023)
Software Authors: Harshman, R. A.; Lundy, M. E.
Related Software: Tensorlab; Matlab; Multilinear Engine; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …

plantri

Cited in 86 Documents (1999–2024)
Software Authors: Brinkmann, G.; McKay, B. D.
Related Software: House of Graphs; OEIS; nauty; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Manifolds and cell complexes (57-XX); …

QuTiP

Cited in 72 Documents (2015–2025)
Software Authors: Johansson, J. R.; Nation, P. D.; Nori, F.
Related Software: Python; GitHub; SciPy; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …

SOFTSUSY

Cited in 83 Documents (2001–2022)
Software Authors: Allanach, B. C.
Related Software: Spheno; SuSpect; micrOMEGAs; …
Main Fields: Statistics (62-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX); …

sobol.cc

Cited in 86 Documents (2003–2024)
Software Authors: Joe, Stephen; Kuo, Frances Y.
Related Software: TOMS659; MersenneTwister; QMC4PDE; …
Main Fields: Number theory (11-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …

Couenne

Cited in 85 Documents (2009–2024)
Software Authors: Belotti, Pietro; Lee, Jon; Liberti, Leo; Margot, François; Wächter, Andreas
Related Software: BARON; CPLEX; Bonmin; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

ECPP

Cited in 84 Documents (1991–2024)
Software Authors: Morain, F
Related Software: PARI/GP; gmp; Magma; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …

VEGAS

Cited in 82 Documents (1978–2024)
Software Authors: Lepage, G.
Related Software: VEGAS+; Cuba; FORM; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Fuzzy Logic Toolbox

Cited in 71 Documents (1998–2024)
Software Authors: mathworks; Gulley, N.; Jang, J. S.
Related Software: Matlab; ANFIS; Simulink; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

BlackHat

Cited in 83 Documents (2009–2024)
Software Authors: Berger, C. F.; Bern, Z.; Dixon, L. J.; Cordero, F. Febres; Forde, D.; Ita, H.; Kosower, D. A.; Maître, D.
Related Software: CutTools; SAMURAI; Golem95; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); …

Cliquer

Cited in 82 Documents (2004–2023)
Software Authors: Niskanen, Sampo; Östergård, Patric R. J.
Related Software: nauty; Magma; Traces; …
Main Fields: Combinatorics (05-XX); Geometry (51-XX); Computer science (68-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); …

na20

Cited in 83 Documents (2000–2024)
Software Authors: Bini, Dario Andrea; Fiorentino, Giuseppe
Related Software: na10; ISOLATE; mctoolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Real functions (26-XX); Functions of a complex variable (30-XX); …

NSDTST

Cited in 83 Documents (1985–2024)
Software Authors: Enright, W. H.; Pryce, J. D.
Related Software: STDTST; RODAS; Mathematica; …
Main Fields: History and biography (01-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …

STDTST

Cited in 83 Documents (1985–2024)
Software Authors: Enright, W. H.; Pryce, J. D.
Related Software: NSDTST; RODAS; Mathematica; …
Main Fields: History and biography (01-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …

STL

Cited in 73 Documents (1997–2021)
Software Authors: Musser, David R.; Stepanov, Alexander
Related Software: Boost; CGAL; Boost C++ Libraries; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX); …

LED

Cited in 80 Documents (2011–2024)
Software Authors: Guo, J.; Peyrin, T.; Poschmann, A.; B., Robshaw M. J.
Related Software: PRESENT; PRINCE; KTANTAN; …
Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX); …

MUSCLE

Cited in 54 Documents (2005–2023)
Software Authors: Edgar, R. C.
Related Software: ClustalW; MAFFT; T-coffee; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …

primdec

Cited in 82 Documents (2005–2024)
Software Authors: Decker, W.; Laplagne, S.; Pfister, G.; Schönemann, H. A.
Related Software: SINGULAR; FGb; Mathematica; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Ordinary differential equations (34-XX); …

RSOLVER

Cited in 79 Documents (2003–2023)
Software Authors: Ratschan, Stefan
Related Software: HSolver; Benchmarks; QEPCAD; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …

CAPD

Cited in 81 Documents (2005–2024)
Software Authors: Grzegorz Jablonski; Kapela, T., Mrozek, M., Pilarczyk, P., Wilczak, D., Zgliczyński, P.
Related Software: RODES; Taylor; INTLAB; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …

Getfem++

Cited in 76 Documents (2004–2024)
Software Authors: Renard, Yves; Pommier, Julien
Related Software: deal.ii; Gmsh; FreeFem++; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

gnuplot

Cited in 61 Documents (1995–2024)
Software Authors: Williams, T.; Kelley, C.
Related Software: LAPACK; Julia; Matplotlib; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX); …

GPT-3

Cited in 67 Documents (2021–2024)
Software Authors: Brown, Tom B; Mann, Benjamin; Ryder, Nick; Subbiah, Melanie; Kaplan, Jared; Dhariwal, Prafulla; Neelakantan, Arvind; Shyam, Pranav; Sastry, Girish; Askell, Amanda; et al.
Related Software: BERT; Tensor2Tensor; ImageNet; …
Main Fields: Category theory; homological algebra (18-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Hull

Cited in 80 Documents (1992–2023)
Software Authors: Clarkson, K. L.
Related Software: LEDA; Qhull; CGAL; …
Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); Convex and discrete geometry (52-XX); …

KTANTAN

Cited in 79 Documents (2009–2024)
Software Authors: De Cannière, Christophe; Dunkelman, Orr; Knežević, Miroslav
Related Software: KATAN; PRESENT; SIMON; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …

libiop

Cited in 81 Documents (2019–2024)
Software Authors: Ward, Nicholas P.
Related Software: Ligero; Spartan; Marlin; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

Ripser

Cited in 76 Documents (2018–2024)
Software Authors: Bauer, U.
Related Software: GitHub; Gudhi; PHAT; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Algebraic topology (55-XX); Statistics (62-XX); …

DAISY

Cited in 77 Documents (2008–2024)
Software Authors: Bellu, Giuseppina; Saccomani, Maria Pia; Audoly, Stefania; Angiò, Leontina D
Related Software: SIAN; COMBOS; GenSSI; …
Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Statistics (62-XX); …

FLINT

Cited in 75 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); …

ape

Cited in 66 Documents (2004–2024)
Software Authors: Paradis, Emmanuel; Bolker, Ben; Claude, Julien; Cuong, Hoa Sien; Desper, Richard; Durand, Benoit; Dutheil, Julien; Gascuel, Olivier; Heibl, Christoph; Lawson, Daniel; Lefort, Vincent; PierreLegendre; Lemon, Jim; Noel, Yvonnick; Nylander, Johan; RainerOpgen-Rhein; Popescu, Andrei-Alin; Schliep, Klaus; KorbinianStrimmer; Vienne, Damien de
Related Software: R; phytools; ggplot2; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …

HarmonicSums

Cited in 79 Documents (2009–2024)
Software Authors: Ablinger, Jakob; Blümlein, Johannes; Schneider, Carsten
Related Software: FORM; EvaluateMultiSums; SIGMA; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Computer science (68-XX); …

HElib

Cited in 78 Documents (2014–2024)
Software Authors: Halevi, Shai; Shoup, Victor
Related Software: FHEW; GitHub; TFHE; …
Main Fields: Number theory (11-XX); Statistics (62-XX); Computer science (68-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); …

CSI-FiSh

Cited in 78 Documents (2019–2024)
Software Authors: Beullens, W.; Kleinjung, T.; Vercauteren, F.
Related Software: SeaSign; GitHub; SIKE; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

HolonomicFunctions

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

Mincer

Cited in 78 Documents (1991–2023)
Software Authors: Gorishny, S. G.; Larin, S. A.; Surguladze, L. R.; Tkachov, F. V.
Related Software: FORM; Reduze; MATAD; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Computer science (68-XX); …

PALP

Cited in 77 Documents (2003–2024)
Software Authors: Kreuzer, M.; Skarke, H.
Related Software: SageMath; Calabi-Yau database; TOPCOM; …
Main Fields: Algebraic geometry (14-XX); Differential geometry (53-XX); Computer science (68-XX); …

SARAH

Cited in 69 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); …

TNTool

Cited in 78 Documents (2007–2025)
Software Authors: Koev, P.
Related Software: mctoolbox; Matlab; Mathematica; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Special functions (33-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); …

BioNetGen

Cited in 68 Documents (2008–2024)
Software Authors: Blinov, Michael L.; Faeder, James R.; Goldstein, Byron; Hlavacek, William S.
Related Software: Bio-PEPA; NFsim; COPASI; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX); …

PSEUDO

Cited in 77 Documents (2004–2024)
Software Authors: Brunelli, J. C.
Related Software: Mathematica; AXIOM; SuSy 2; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …

AETG

Cited in 69 Documents (1998–2024)
Software Authors: Cohen, D. M.; Dalal, S. R.; Fredman, M. L.; Patton, G. C.
Related Software: CAgen; ACTS; Tabu search; …
Main Fields: Combinatorics (05-XX); Geometry (51-XX); Statistics (62-XX); …

Cilk

Cited in 59 Documents (2000–2023)
Software Authors: Intel; Blumofe R. D., Joerg C. F., Kuszmaul B. C., Leiserson C. E., Randall K. H., Zhou Y
Related Software: Intel TBB; OpenCL; CUDA; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX); …

Filter Results by …

all top 5

Author

all top 5

Related Software

all top 3

Main Field