×

Found 1,636 Software Packages (Results 201–300)

4ti2

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

SnapPy

Cited in 154 Documents (2010–2023)
Software Authors: Marc Culler; Nathan Dunfield; Matthias Goerner;Morwen Thistlethwaite.
Related Software: SnapPea; Regina; SageMath; …
Main Fields: Group theory and generalizations (20-XX); Dynamical systems and ergodic theory (37-XX); Manifolds and cell complexes (57-XX); …

Benchmarks for Optimization Software

Cited in 151 Documents (1999–2023)
Software Authors: Hans Mittelmann
Related Software: SeDuMi; MIPLIB; SCIP; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …

Isar

Cited in 149 Documents (2000–2023)
Software Authors: Makarius Wenzel
Related Software: Isabelle; Isabelle/HOL; Coq; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …

Manopt

Cited in 148 Documents (2013–2023)
Software Authors: Nicolas Boumal; Bamdev Mishra; P.-A. Absil; Rodolphe Sepulchre
Related Software: RTRMC; Pymanopt; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Theorema

Cited in 150 Documents (1997–2022)
Software Authors: Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Wolfgang Windsteiger, Theorema group at RISC institute at JKU Linz, Austria
Related Software: Coq; Mathematica; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); …

gfun

Cited in 146 Documents (1992–2023)
Software Authors: B. Salvy; P. Zimmermann
Related Software: Maple; OEIS; GeneratingFunctions; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX); …

TOMS659

Cited in 146 Documents (1988–2023)
Software Authors: Bratley P.; Fox B L
Related Software: sobol.cc; Algorithm 647; MersenneTwister; …
Main Fields: Number theory (11-XX); Statistics (62-XX); Numerical analysis (65-XX); …

MuPAD

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

numericalsgps

Cited in 146 Documents (2006–2023)
Software Authors: Manuel Delgado, Pedro A. Garcia-Sanchez, Jose Morais
Related Software: GAP; NumericalSemigroupsWithGenus; NumericMonoid; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-XX); …

PYTHIA8

Cited in 130 Documents (2006–2023)
Software Authors: T. Sjöstrand, S. Mrenna, P.Z. Skands
Related Software: MadGraph; Herwig++; DELPHES; …
Main Fields: Numerical analysis (65-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX); …

tn

Cited in 141 Documents (1984–2023)
Software Authors: Nash, Stephen G.
Related Software: L-BFGS; CUTEr; TNPACK; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

VTK

Cited in 89 Documents (2000–2023)
Software Authors: W. Schroeder, L. Avila, K. Martin, W. Hoffman, C. Law
Related Software: ParaView; Python; Gmsh; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …

MIM

Cited in 134 Documents (1995–2023)
Software Authors: Edwards, David
Related Software: glasso; TETRAD; R; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …

FeynRules

Cited in 127 Documents (2010–2023)
Software Authors: A. Alloul, N.D. Christensen, C. Degrande, C. Duhr, B. Fuks
Related Software: FeynArts; MadGraph; CalcHEP; …
Main Fields: Probability theory and stochastic processes (60-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX); …

FIRE

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

GradSamp

Cited in 134 Documents (2005–2023)
Software Authors: Burke, James V.; Lewis, Adrian S.; Overton, Michael L.
Related Software: DGM; LDGB; PNEW; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

PORTA

Cited in 131 Documents (1996–2023)
Software Authors: Christof, T.; Reinelt, G.; Andreas Loebel
Related Software: LOLIB; cdd; CPLEX; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX); …

LattE

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

ELLPACK

Cited in 128 Documents (1982–2015)
Software Authors: Dyksen, Wayne R.; Ribbens, Calvin J.
Related Software: ITPACK; NSPCG; EISPACK; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Flyspeck

Cited in 129 Documents (2004–2023)
Software Authors: Hales, Thomas C.; Tankink, Carst; Kaliszyk, Cezary; Urban, Josef; Geuvers, Herman
Related Software: HOL Light; Isabelle/HOL; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Convex and discrete geometry (52-XX); …

Gfan

Cited in 129 Documents (2006–2024)
Software Authors: Anders Nedergaard Jensen
Related Software: SINGULAR; Macaulay2; polymake; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …

LISP

Cited in 112 Documents (1960–2020)
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); …

LiteRed

Cited in 121 Documents (2013–2023)
Software Authors: R. Lee
Related Software: FIRE; Reduze; FIRE5; …
Main Fields: Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); …

SETHEO

Cited in 118 Documents (1990–2022)
Software Authors: Letz, R.; Schumann, J.; Bayerl, S.; Bibel, W.
Related Software: TPTP; OTTER; SPASS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); …

ANTIGONE

Cited in 124 Documents (2014–2023)
Software Authors: Misener, Ruth; Floudas, Christodoulos A.
Related Software: SCIP; BARON; LINDO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX); …

Kronecker

Cited in 125 Documents (2000–2023)
Software Authors: M. Giusti, G. Lecerf and B. Salvy; Eric Schost, Lutz Lehmann, Xavier Suraud
Related Software: ISOLATE; RAGlib; FGb; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

CandS

Cited in 121 Documents (2005–2023)
Software Authors: Alfred Gray, Rolf Sulanke
Related Software: Mathematica; Python; DLMF; …
Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Global analysis, analysis on manifolds (58-XX); …

PROPACK

Cited in 122 Documents (2001–2023)
Software Authors: R. M. Larsen
Related Software: ARPACK; JDQZ; JDQR; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …

HOMPACK

Cited in 122 Documents (1987–2023)
Software Authors: Watson, Layne T.; Billups, Stephen C.; Morgan, Alexander P.
Related Software: PITCON; HOMPACK90; minpack; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Operations research, mathematical programming (90-XX); …

Risa/Asir

Cited in 120 Documents (1992–2023)
Software Authors: Masayuki Noro, Kazuhiro Yokoyama, Taku Takeshima, Takeshi Shimoyama, Hiroshi Anai, Takayuki Kando, Tomokatsu Saito, Yuji Kondoh, Hirokazu Murao, Thomas Sturm, Katsuyoshi Ohara, Nobuki Takayama, (who committed to fundamental design, kernel sources and core libraries). As to committers of libraries and very recent contributors, see also http://www.math.kobe-u.ac.jp/OpenXM/people.html Fujitsu laboratory or asir.org or Kobe university.
Related Software: SINGULAR; Macaulay2; Kan; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); …

Cabri-geometry

Cited in 16 Documents (2000–2019)
Software Authors: Laborde, C.
Related Software: Geometer's Sketchpad; Cinderella; GeoGebra; …
Main Fields: General and overarching topics; collections (00-XX); Linear and multilinear algebra; matrix theory (15-XX); Geometry (51-XX); …

SYMMGRP

Cited in 120 Documents (1993–2022)
Software Authors: Hereman, Willy; B. Champagne; P. Winternitz
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); …

Axodraw

Cited in 115 Documents (1994–2023)
Software Authors: Vermaseren, J. A. M.
Related Software: JaxoDraw; FORM; Reduze; …
Main Fields: Number theory (11-XX); Operator theory (47-XX); Mechanics of particles and systems (70-XX); …

cdd

Cited in 119 Documents (1996–2022)
Software Authors: Komei Fukuda
Related Software: polymake; Gfan; PORTA; …
Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Computer science (68-XX); …

MiniZinc

Cited in 113 Documents (2008–2023)
Software Authors: Guido Tack, NICTA / Monash University (with Sebastian Brand, Mark Brown, Thibaut Feydy, Julien Fischer, Maria Garcia de la Banda, Peter Stuckey, Mark Wallace)
Related Software: Gecode; CPLEX; Essence; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

CutTools

Cited in 112 Documents (2007–2023)
Software Authors: Giovanni Ossola; Costas G. Papadopoulos; Roberto Pittau
Related Software: BlackHat; SAMURAI; Golem95; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); …

LOF

Cited in 81 Documents (2008–2022)
Software Authors: Breunig, M., Kriegel, H., Ng, R., Sander, J.
Related Software: UCI-ml; Orca; IsolationForest; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …

PPL

Cited in 108 Documents (2002–2023)
Software Authors: Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.
Related Software: HyTech; Apron; ASTREE; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX); …

CASA

Cited in 111 Documents (1991–2022)
Software Authors: Gebauer, R.; Kalkbrener, M.; Wall, B.; Winkler, F.
Related Software: Maple; Mathematica; Magma; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Ordinary differential equations (34-XX); …

SIGMA

Cited in 112 Documents (2004–2023)
Software Authors: Carsten Schneider
Related Software: EvaluateMultiSums; qZeil; Mathematica; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX); …

eSTREAM

Cited in 110 Documents (2006–2022)
Software Authors: Cannire, C.D.
Related Software: Trivium; Grain; MICKEY; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-XX); …

ROBBINS

Cited in 112 Documents (1995–2023)
Software Authors: Zeilberger, Doron
Related Software: SageMath; OEIS; DODGSON; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); …

Sage-Combinat

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

SumTools

Cited in 112 Documents (1995–2022)
Software Authors: Wolfram Koepf
Related Software: Maple; DLMF; retode; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX); …

CLASS

Cited in 109 Documents (2012–2022)
Software Authors: Julien Lesgourgues
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); …

C-XSC

Cited in 107 Documents (1992–2021)
Software Authors: Lawo, Christian
Related Software: C-XSC 2.0; INTLAB; PROFIL/BIAS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Jupyter

Cited in 50 Documents (2016–2023)
Software Authors: Project Jupyter; Perez, F.; Granger, B. E.
Related Software: Python; NumPy; SciPy; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Reduze

Cited in 106 Documents (2010–2023)
Software Authors: Andreas von Manteuffel; Cedric Studerus
Related Software: FIRE; LiteRed; FORM; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

MATPOWER

Cited in 104 Documents (2012–2023)
Software Authors: Zimmerman, R.D., Murillo-Sanchez, C.E., Thomas, R.J.
Related Software: Ipopt; Matlab; Gurobi; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …

Bio-PEPA

Cited in 91 Documents (2008–2022)
Software Authors: Federica Ciocchetta, Maria Luisa Guerriero, Vashti Galpin, Jane Hillston, Giulio Caravagna, Allan Clark, Andrea Degasperi, Adam Duguid, Kanimozhi Ellavarason, Stephen Gilmore, Laurence Loewe, Dimitrios Milios
Related Software: PEPA; PRISM; BIOCHAM; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX); …

NEWUOA

Cited in 103 Documents (2006–2023)
Software Authors: M.J.D. Powell
Related Software: DFO; BOBYQA; UOBYQA; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

xAct

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

DSTool

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

Knot Atlas

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

MadGraph

Cited in 100 Documents (2010–2023)
Software Authors: Alwall, Johan; Herquet, Michel; Maltoni, Fabio; Mattelaer, Olivier; Stelzer, Tim
Related Software: PYTHIA8; FeynRules; SHERPA; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Quantum theory (81-XX); …

Book3264Examples

Cited in 103 Documents (2015–2022)
Software Authors: Charley Crissman; Eisenbud, David; Harris, Joe
Related Software: Macaulay2; GitHub; Bertini; …
Main Fields: Algebraic geometry (14-XX); Dynamical systems and ergodic theory (37-XX); Differential geometry (53-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); …

GiNaC

Cited in 90 Documents (2002–2023)
Software Authors: European Patent Office (EPO); C.W. Bauer, A. Frink, R. Kreckel
Related Software: FIRE; FORM; Reduze; …
Main Fields: Functions of a complex variable (30-XX); Geometry (51-XX); Numerical analysis (65-XX); …

GRAPE

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

CVXPY

Cited in 90 Documents (2016–2023)
Software Authors: Steven Diamond; Stephen Boyd
Related Software: ECOS; CVX; Mosek; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

MultRoot

Cited in 100 Documents (2003–2022)
Software Authors: Zheng, Zhonggang
Related Software: Matlab; PHCpack; ApaTools; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

Scala

Cited in 85 Documents (2005–2023)
Software Authors: Loverdos, Christos K. K.; Syropoulos, Apostolos
Related Software: Coq; z3; Featherweight Java; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Stony Brook

Cited in 95 Documents (1997–2022)
Software Authors: Steven Skiena
Related Software: Knapsack; UMDES; MixedVol; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Isabelle/Isar

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

OpenMPI

Cited in 74 Documents (2004–2023)
Software Authors: http://www.open-mpi.org/about/members/
Related Software: CUDA; MPI; MPI/MPICH; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …

pandas

Cited in 19 Documents (2016–2023)
Software Authors: Wes McKinney
Related Software: Python; NumPy; SciPy; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

pcalg

Cited in 85 Documents (2007–2023)
Software Authors: Markus Kalisch, Martin Maechler, Diego Colombo
Related Software: TETRAD; R; bnlearn; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Xilinx

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

HMQV

Cited in 98 Documents (2001–2022)
Software Authors: Krawczyk, Hugo
Related Software: NAXOS; GitHub; Reveal; …
Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); …

Cosy

Cited in 97 Documents (1995–2022)
Software Authors: K Makino, M Berz
Related Software: FADBAD++; ValEncIA-IVP; ADOL-C; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Graphviz

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

JaxoDraw

Cited in 94 Documents (2005–2023)
Software Authors: D. Binosi, J. Collins, C. Kaufhold, L. Theussl
Related Software: Axodraw; Reduze; FORM; …
Main Fields: Manifolds and cell complexes (57-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX); …

OMDoc

Cited in 91 Documents (2001–2022)
Software Authors: Kohlhase, Michael
Related Software: MMT; Coq; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX); …

VMD

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

Biq Mac

Cited in 94 Documents (2010–2022)
Software Authors: Rendl, Franz; Rinaldi, Giovanni; Wiegele, Angelika
Related Software: BiqMac; CPLEX; SDPT3; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

fastDNAml

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

TESTPACK

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

Trivium

Cited in 93 Documents (2006–2023)
Software Authors: Shahram Khazaei; Mehdi Hassanzadeh; Christophe De Canniere; Bart Preneel;
Related Software: Grain; eSTREAM; KTANTAN; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Computer science (68-XX); …

Plural

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

Sat4j

Cited in 86 Documents (2007–2023)
Software Authors: Le Berre; Parrain
Related Software: MiniSat; Chaff; QMaxSAT; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

Algorithm 862

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

Pajek datasets

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

LDPC

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

Cuba

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

HOM4PS

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

NAXOS

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

SoPlex

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

Tensorlab

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

CAMB

Cited in 84 Documents (2010–2021)
Software Authors: Antony Lewis; Anthony Challinor
Related Software: CLASS; CosmoMC; GetDist; …
Main Fields: Partial differential equations (35-XX); Optics, electromagnetic theory (78-XX); Quantum theory (81-XX); …

lp_solve

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

RegularChains

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

CLIFFORD

Cited in 85 Documents (1996–2022)
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); …

Diehard

Cited in 74 Documents (1998–2022)
Software Authors: Marsaglia, George
Related Software: TestU01; MersenneTwister; NIST Statistical Test Suite; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Voronoi

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

channelflow

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

HdBCS

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

PARAFAC

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

SOFTSUSY

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

QETLAB

Cited in 84 Documents (2000–2023)
Software Authors: Nathaniel Johnston
Related Software: CVX; QubitUPBSearch; bootstrap; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Functional analysis (46-XX); …

Filter Results by …

all top 5

Related Software

all top 3

Main Field