×

Found 1,794 Software Packages (Results 401–500)

FIESTA

Cited in 60 Documents (2009–2023)
Software Authors: Smirnov, A.V.; Smirnov, V.A.; Tentyukov, M.
Related Software: FIRE; LiteRed; SecDec; …
Main Fields: Algebraic geometry (14-XX); Special functions (33-XX); Numerical analysis (65-XX); …

FIRE5

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

DIFFALG

Cited in 62 Documents (2000–2020)
Software Authors: Boulier, F., Hubert, E
Related Software: AIDA; Maple; DifferentialThomas; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

SATLIB

Cited in 56 Documents (2000–2023)
Software Authors: Hoos, Holger H.; Stützle, Thomas
Related Software: Chaff; TPTP; Walksat; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX); …

Kira

Cited in 57 Documents (2018–2024)
Software Authors: Maierhöfer, P.; Usovitsch, J.; Uwer, P.
Related Software: Reduze; FIRE; LiteRed; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …

Omega

Cited in 61 Documents (2001–2023)
Software Authors: Andrews, George E.; Paule, Peter; Riese, Axel
Related Software: OEIS; LattE; Mathematica; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-XX); …

BoijSoederberg

Cited in 60 Documents (2008–2023)
Software Authors: D. Eisenbud, F.-O. Schreyer, M. Stillman
Related Software: Macaulay2; BoijSoederbergCICone.m2; CoCoA; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX); …

Curve25519

Cited in 59 Documents (2006–2023)
Software Authors: Bernstein, D.J.
Related Software: GitHub; Ed448-Goldilocks; eBACS; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

GTEngine

Cited in 54 Documents (2006–2024)
Software Authors: D. Eberly
Related Software: VOFTools; KRAKEN; BRENT; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …

OpenSSL

Cited in 59 Documents (2002–2021)
Software Authors: The OpenSSL Project; Young, E.A., Hudson, T.J
Related Software: eBACS; GitHub; gmp; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

PAUP*

Cited in 52 Documents (1987–2024)
Software Authors: David Swofford
Related Software: PHYLIP; RAxML; MrBayes; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

Serpent

Cited in 60 Documents (1998–2023)
Software Authors: Ross Anderson, Eli Biham, Lars Knudsen
Related Software: PRESENT; Camellia; Twofish; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Number theory (11-XX); Group theory and generalizations (20-XX); …

SNARKs for C

Cited in 59 Documents (2013–2024)
Software Authors: Ben-Sasson, Eli; Chiesa, Alessandro; Genkin, Daniel; Tromer, Eran; Virza, Madars
Related Software: Pinocchio; Geppetto; Ligero; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

CHomP

Cited in 59 Documents (2006–2023)
Software Authors: http://chomp.rutgers.edu/People.html
Related Software: GAP; RedHom; CAPD; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Algebraic topology (55-XX); Manifolds and cell complexes (57-XX); …

EFD

Cited in 59 Documents (2007–2023)
Software Authors: Daniel J. Bernstein; Tanja Lange
Related Software: Curve25519; mpFq; SageMath; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

fpLLL

Cited in 59 Documents (2008–2023)
Software Authors: Damien Stehle, Xavier Pujol, David Cade
Related Software: GitHub; BKZ; G6K; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX); …

Glucose

Cited in 57 Documents (2012–2023)
Software Authors: Gilles Audemard; Laurent Simon
Related Software: MiniSat; Chaff; Lingeling; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

manYPoints

Cited in 59 Documents (1999–2024)
Software Authors: van der Geer, Gerard; Howe, Everett W.; Lauter, Kristin E.; Ritzenthaler, Christophe
Related Software: Magma; SageMath; MinT; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

MetiTarski

Cited in 56 Documents (2008–2024)
Software Authors: Akbarpour, Behzad; Paulson, Lawrence C.
Related Software: QEPCAD; z3; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

NCAlgebra

Cited in 58 Documents (1994–2023)
Software Authors: JW Helton, R Miller, M Stankus
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); …

PersistenceImages

Cited in 59 Documents (2016–2023)
Software Authors: Henry Adams, Sofya Chepushtanova, Tegan Emerson, Eric Hanson, Michael Kirby, Francis Motta, Rachel Neville, Chris Peterson, Patrick Shipman, Lori Ziegelmeier
Related Software: GitHub; Scikit; Gudhi; …
Main Fields: Algebraic topology (55-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …

Regina

Cited in 59 Documents (2004–2024)
Software Authors: B.A. Burton, R. Budney, W. Pettersson, et al.
Related Software: SnapPy; SnapPea; GitHub; …
Main Fields: Combinatorics (05-XX); Geometry (51-XX); Convex and discrete geometry (52-XX); …

AIDA

Cited in 51 Documents (2007–2014)
Software Authors: Evelyn Hubert
Related Software: DIFFALG; Maple; FGb; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Differential geometry (53-XX); …

Bocop

Cited in 58 Documents (2013–2023)
Software Authors: Bonnans, F.J., Martinon, P., Grélard, V.
Related Software: Ipopt; HamPath; SOCS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); …

CRACK

Cited in 57 Documents (1993–2021)
Software Authors: Wolf, Thomas
Related Software: REDUCE; LIEPDE; Maple; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …

Decision tree for optimization software

Cited in 56 Documents (1999–2022)
Software Authors: Mittelmann, H.D.; Peter Spellucci
Related Software: Benchmarks for Optimization Software; MIPLIB; CPLEX; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

MINION

Cited in 54 Documents (2005–2023)
Software Authors: Jefferson, C., Kotthoff, L., Moore, N., Nightingale, P., Petrie, K.E., Rendl, A.
Related Software: GAP; MiniZinc; OEIS; …
Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Group theory and generalizations (20-XX); …

diffgrob2

Cited in 56 Documents (1994–2023)
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); …

operads

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

ComputeTW

Cited in 54 Documents (2010–2022)
Software Authors: Arie Koster
Related Software: GitHub; Treewidthlib; LibTW; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Manifolds and cell complexes (57-XX); …

Knotscape

Cited in 56 Documents (2002–2022)
Software Authors: Hoste, J.; Thistlethwaite, M.
Related Software: KnotInfo; SnapPy; Mathematica; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Group theory and generalizations (20-XX); …

lpSolve

Cited in 51 Documents (2001–2023)
Software Authors: Michel Berkelaar and others
Related Software: lp_solve; R; Label.switching; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Marlin

Cited in 56 Documents (2020–2023)
Software Authors: Chiesa, Alessandro; Hu, Yuncong; Maller, Mary; Mishra, Pratyush; Vesely, Noah; Ward, Nicholas
Related Software: Spartan; Pinocchio; libiop; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

NP

Cited in 56 Documents (1987–2023)
Software Authors: Czapor, S.R.; McLenaghan, R.G.
Related Software: NPspinor; Maple; xTensor; …
Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Quantum theory (81-XX); …

ring-LWE

Cited in 56 Documents (2013–2023)
Software Authors: Lyubashevsky, Vadim; Peikert, Chris; Regev, Oded
Related Software: NTRU; FHEW; GitHub; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

GetDP

Cited in 55 Documents (2004–2023)
Software Authors: Patrick Dular; Christophe Geuzaine
Related Software: Gmsh; FreeFem++; PETSc; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Graded Ring Database

Cited in 55 Documents (2002–2024)
Software Authors: Gavin Brown, Alexander Kasprzyk
Related Software: Magma; Macaulay2; polymake; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); …

LBNL

Cited in 54 Documents (2002–2024)
Software Authors: David H. Bailey, Yozo Hida, Xiaoye S. Li, Brandon Thompson
Related Software: mctoolbox; XBLAS; MPFR; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Special functions (33-XX); Numerical analysis (65-XX); …

MAFFT

Cited in 32 Documents (2005–2023)
Software Authors: Katoh K., Misawa K., Kuma K., Miyata T.
Related Software: MUSCLE; ClustalW; T-coffee; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …

OpenMx

Cited in 39 Documents (2006–2023)
Software Authors: Boker, Steven; Neale, Michael; Maes, Hermine; Wilde, Michael; Spiegel, Michael; Brick, Timothy; Spies, Jeffrey; Estabrook, Ryne; Kenny, Sarah; Bates, Timothy; Mehta, Paras; Fox, John
Related Software: R; Mplus; lavaan; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …

PENBMI

Cited in 55 Documents (2007–2023)
Software Authors: PENOPT GbR
Related Software: YALMIP; SeDuMi; HIFOO; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); …

QuadProgBB

Cited in 54 Documents (2012–2023)
Software Authors: Chen, Jieqiu; Burer, Samuel
Related Software: CPLEX; BARON; ADMBB; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

Refprop

Cited in 53 Documents (2009–2024)
Software Authors: NIST
Related Software: CoolProp; FluidProp; OpenFOAM; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …

AMDiS

Cited in 51 Documents (2006–2023)
Software Authors: Simon Praetorius
Related Software: UMFPACK; PETSc; CutFEM; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

CVXGEN

Cited in 48 Documents (2010–2023)
Software Authors: J. Mattingley; S. Boyd
Related Software: qpOASES; ECOS; fast_mpc; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

LiDIA

Cited in 51 Documents (1995–2021)
Software Authors: Biehl, Ingrid; Buchmann, Johannes; Papanikolaou, Thomas
Related Software: NTL; PARI/GP; MAPC; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

Locales

Cited in 53 Documents (1999–2024)
Software Authors: Ballarin, Clemens
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Algebraic geometry (14-XX); …

na10

Cited in 53 Documents (1996–2022)
Software Authors: Bini, Dario Andrea
Related Software: na20; mctoolbox; ISOLATE; …
Main Fields: Field theory and polynomials (12-XX); Linear and multilinear algebra; matrix theory (15-XX); Functions of a complex variable (30-XX); …

Waldmeister

Cited in 50 Documents (1999–2022)
Software Authors: Thomas Hillenbrand; Bernd Löchner
Related Software: VAMPIRE; TPTP; E Theorem Prover; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); …

Cd-hit

Cited in 35 Documents (2007–2022)
Software Authors: Weizhong Li, Adam Godzik
Related Software: Cell-PLoc; LIBSVM; BLAST; …
Main Fields: Algebraic topology (55-XX); Statistics (62-XX); Computer science (68-XX); …

SPIRAL

Cited in 46 Documents (2001–2023)
Software Authors: Johnson, Jeremy
Related Software: FFTW; ATLAS; FLAME; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SWIFFT

Cited in 51 Documents (2008–2021)
Software Authors: Lyubashevsky, Vadim; Micciancio, Daniele; Peikert, Chris; Rosen, Alon
Related Software: NTRU; NTL; SWIFFTX; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX); …

CeTA

Cited in 49 Documents (2009–2023)
Software Authors: Thiemann, René; Sternagel, Christian
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Commutative algebra (13-XX); …

PolyBoRi

Cited in 50 Documents (2008–2023)
Software Authors: Alexander Dreyer; Michael Brickenstein
Related Software: SINGULAR; SageMath; Magma; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX); …

RTRMC

Cited in 51 Documents (2013–2023)
Software Authors: Boumal, N., Absil, P.A.
Related Software: Manopt; LMaFit; ADMiRA; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …

DEtools

Cited in 50 Documents (1990–2024)
Software Authors: Zeilberger, Doron
Related Software: MultiZeilberger; Maple; OEIS; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX); …

Fermat

Cited in 47 Documents (1997–2022)
Software Authors: Dr. Robert H. Lewis http://www.bway.net/~lewis
Related Software: FORM; Reduze; Kira; …
Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …

FLASH

Cited in 50 Documents (2001–2021)
Software Authors: Patarin, Jacques; Courtois, Nicolas; Goubin, Louis
Related Software: FGb; FLASH; Magma; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Kan

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

Matrix Means Toolbox

Cited in 50 Documents (2011–2023)
Software Authors: Bini, D.A., Iannazzo, B.
Related Software: mftoolbox; Manopt; cqt-toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Operator theory (47-XX); Differential geometry (53-XX); …

Orthogonal Array

Cited in 49 Documents (2010–2024)
Software Authors: Eendebak, P.T., Schoen, E.D.
Related Software: DoE.base; R; OApackage; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

SuiteSparseQR

Cited in 47 Documents (2010–2023)
Software Authors: Timothy A. Davis
Related Software: SuitSparseQR; SparseMatrix; LAPACK; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

COBYLA2

Cited in 48 Documents (1994–2024)
Software Authors: M.J.D. Powell
Related Software: DFO; NEWUOA; UOBYQA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

Epsilon

Cited in 49 Documents (2002–2023)
Software Authors: Wang, Dongming
Related Software: Maple; RegularChains; ISOLATE; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

PESTO

Cited in 49 Documents (2016–2023)
Software Authors: Taylor, Adrien B.; Hendrickx, Julien M.; Glineur, F.
Related Software: YALMIP; SeDuMi; UNLocBoX; …
Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

BB

Cited in 36 Documents (2010–2023)
Software Authors: Varadhan R, Gilbert P
Related Software: R; optimx; nleqslv; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …

CARAT

Cited in 46 Documents (1998–2023)
Software Authors: J. Opgenorth, W. Plesken, T. Schulz; Franz Gähler
Related Software: GAP; Magma; HAP; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Group theory and generalizations (20-XX); …

fhe

Cited in 46 Documents (2011–2024)
Software Authors: J.S. Coron, D. Naccache, M. Tibouchi
Related Software: HElib; FHEW; GitHub; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX); …

FrodoKEM

Cited in 48 Documents (2018–2023)
Software Authors: Erdem Alkim, Joppe W. Bos, Léo Ducas, Karen Easterbrook, Brian LaMacchia, Patrick Longa, Ilya Mironov, Michael Naehrig, Valeria Nikolaenko, Chris Peikert, Ananth Raghunathan, Douglas Stebila
Related Software: GitHub; Saber; McEliece; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX); …

HOMPACK90

Cited in 47 Documents (1997–2022)
Software Authors: Watson, Layne T.; Sosonkina, Maria; Melville, Robert C.; Morgan, Alexnder P.;Walker, Homer F.
Related Software: HOMPACK; PHCpack; POLSYS_PLP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); …

LDGB

Cited in 48 Documents (2004–2023)
Software Authors: Haarala, M.; Miettinen, K.; M"akel"a, M.M.
Related Software: GradSamp; PNEW; QSM; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Miniball

Cited in 47 Documents (2001–2023)
Software Authors: Fischer, Kaspar; Gärtner, Bernd; Aditya Gupta; Alexandros Konstantinakis-Karmis
Related Software: SDPT3; SeDuMi; CGAL; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

CryptoMiniSat

Cited in 44 Documents (2011–2023)
Software Authors: Soos, M.
Related Software: MiniSat; Plingeling; Lingeling; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Computer science (68-XX); …

elsA

Cited in 43 Documents (1987–2023)
Software Authors: ONERA
Related Software: Spalart-Allmaras; AUSM; TAU; …
Main Fields: Algebraic geometry (14-XX); Statistics (62-XX); Numerical analysis (65-XX); …

MPFI

Cited in 47 Documents (1979–2023)
Software Authors: Revol, Nathalie; Rouillier, Fabrice
Related Software: MPFR; C-XSC 2.0; ISOLATE; …
Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …

ell-adic-galois-images

Cited in 46 Documents (2015–2024)
Software Authors: Rouse, Jeremy; Sutherland, Andrew V.; Zureick-Brown, David
Related Software: Magma; LMFDB; SageMath; …
Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Field theory and polynomials (12-XX); …

Midori

Cited in 46 Documents (2015–2023)
Software Authors: Banik, Subhadeep; Bogdanov, Andrey; Isobe, Takanori; Shibutani, Kyoji; Hiwatari, Harunaga; Akishita, Toru; Regazzoni, Francesco
Related Software: PRINCE; SKINNY; PRESENT; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …

MinT

Cited in 46 Documents (2005–2023)
Software Authors: Schürer, Rudolf; Schmid, Wolfgang Ch.
Related Software: Code Tables; Magma; manYPoints; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …

SecDec

Cited in 42 Documents (2011–2024)
Software Authors: J. Carter; Sophia Borowka, Gudrun Heinrich, Stephan Jahn, Stephen Jones, Matthias Kerner, Johannes Schlenk, Tom Zirke
Related Software: Reduze; FIESTA; LiteRed; …
Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX); …

StarPU

Cited in 32 Documents (2012–2023)
Software Authors: C. Augonnet, S. Thibault, R. Namyst, P.-A. Wacrenier
Related Software: CUDA; PLASMA; OpenCL; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …

TWINE

Cited in 46 Documents (2012–2023)
Software Authors: Suzaki T., Minematsu K., Morioka S., Kobayashi E.
Related Software: PRESENT; LBlock; Piccolo; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Chebfun2

Cited in 45 Documents (2013–2023)
Software Authors: Townsend, Alex; Trefethen, Lloyd N.
Related Software: Chebfun; Matlab; DLMF; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Approximations and expansions (41-XX); …

GNU parallel

Cited in 45 Documents (2016–2024)
Software Authors: O. Tange
Related Software: GitHub; nauty; Traces; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

PovRay

Cited in 35 Documents (1997–2022)
Software Authors: Persistence Of Vision Raytracer Pty. Ltd; T. Plachetka
Related Software: Matlab; GeoGebra; Maxima; …
Main Fields: General and overarching topics; collections (00-XX); Algebraic geometry (14-XX); Geometry (51-XX); …

eBACS

Cited in 42 Documents (2009–2023)
Software Authors: Bernstein, D., Lange, T.
Related Software: eBASH; Curve25519; mpFq; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

Ginsim

Cited in 43 Documents (2008–2024)
Software Authors: Gonzales, A. G.; Naldi, A.; Sanchez, L.; Thieffry, D.; Chaouiya, C
Related Software: BoolNet; PyBoolNet; Aeon; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

GPT-3

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

HAP

Cited in 44 Documents (2008–2023)
Software Authors: Graham Ellis
Related Software: GAP; Kenzo; CARAT; …
Main Fields: Algebraic geometry (14-XX); Group theory and generalizations (20-XX); Algebraic topology (55-XX); …

Mathemagix

Cited in 42 Documents (2006–2021)
Software Authors: Joris van der Hoeven, Grégoire Lecerf, Bernard Mourrain
Related Software: gmp; Maple; FLINT; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …

MiMC

Cited in 44 Documents (2016–2023)
Software Authors: Albrecht M. R., Grassi L., Rechberger C., Roy A., Tyge T.
Related Software: Poseidon; MARVELlous; Ciminion; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

OpenBLAS

Cited in 35 Documents (2013–2024)
Software Authors: Zhang Xianyi, Wang Qian, Werner Saar
Related Software: LAPACK; BLAS; MKL; …
Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); …

OreModules

Cited in 44 Documents (2004–2023)
Software Authors: Chyzak, Frédéric; Quadrat, Alban; Robertz, Daniel
Related Software: SINGULAR; Plural; OreMorphisms; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Numerical analysis (65-XX); …

RunDec

Cited in 41 Documents (2000–2024)
Software Authors: K.G. Chetyrkin, J.H. Kuhn, M. Steinhauser
Related Software: FORM; CRunDec; Mathematica; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Quantum theory (81-XX); …

STRINGVACUA

Cited in 44 Documents (2008–2023)
Software Authors: James Gray, Yang-Hui He, Anton Ilderton, André Lukas
Related Software: SINGULAR; Macaulay2; SageMath; …
Main Fields: Algebraic geometry (14-XX); Differential geometry (53-XX); Computer science (68-XX); …

Wolfram Functions Site

Cited in 42 Documents (2007–2023)
Software Authors: Wolfram Research, Inc.
Related Software: DLMF; Mathematica; Arb; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Numerical analysis (65-XX); …

Z/EVES

Cited in 35 Documents (1998–2021)
Software Authors: Community Z Tools Project
Related Software: Z; ProofPower; Circus; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); …

CliqueTop

Cited in 42 Documents (2015–2023)
Software Authors: Giusti C
Related Software: Holes; PersistenceImages; Ripser; …
Main Fields: Combinatorics (05-XX); Algebraic topology (55-XX); Statistics (62-XX); …

javaPlex

Cited in 42 Documents (2014–2022)
Software Authors: Mikael Vejdemo-Johansson; Henry Adams; Andrew Tausz
Related Software: Ripser; Gudhi; Perseus; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Algebraic topology (55-XX); Statistics (62-XX); …

Jets

Cited in 43 Documents (2014–2024)
Software Authors: H. Baran, M. Marvan
Related Software: CDE; GeM; SYMMGRP; …
Main Fields: Nonassociative rings and algebras (17-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …

LinBox

Cited in 40 Documents (2002–2022)
Software Authors: The LinBox team; Dumas, J.-G.; Gautier, T.; Giesbrecht, M.; Giorgi, P.; Hovinen, B.; Kaltofen, E.; Saunders, B.D.; Turner, W.J.; Villard, G.
Related Software: FFLAS-FFPACK; NTL; Magma; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); …

Filter Results by …

all top 5

Related Software

all top 3

Main Field