Matlab Cited in 14,985 Documents (1982–2025) Software Authors: MathWorks Inc Related Software: Simulink; MATLAB ODE suite; LMI toolbox; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
R Cited in 10,339 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,892 Documents (1986–2025) Software Authors: Research, Wolfram Related Software: Maple; Matlab; R; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
GitHub Cited in 5,809 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,497 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,615 Documents (1973–2025) Software Authors: Sloane, Neil J. A.; The OEIS Foundation Inc. Related Software: SageMath; DLMF; Mathematica; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); …
Magma Cited in 4,236 Documents (1994–2024) 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); …
UCI-ml Cited in 3,254 Documents (1995–2025) Software Authors: Aha, David; Murphy, Patrick; Merz, Christopher; Keogh, Eamonn; Blake, Cathy; Hettich, Seth; Newman, David Related Software: C4.5; LIBSVM; R; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
GAP Cited in 3,844 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); …
CPLEX Cited in 3,069 Documents (1992–2024) Software Authors: IBM Related Software: Gurobi; SCIP; AMPL; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Python Cited in 1,688 Documents (1991–2025) Software Authors: Rossum, Guido van Related Software: SciPy; NumPy; Scikit; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SageMath Cited in 2,792 Documents (2002–2024) Software Authors: Developers, The Sage; 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,371 Documents (1988–2024) 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); …
Adam Cited in 2,181 Documents (2016–2025) Software Authors: Kingma, Diederik P.; Ba, Jimmy Related Software: PyTorch; TensorFlow; ImageNet; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Coq Cited in 2,044 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); …
ElemStatLearn Cited in 1,934 Documents (2001–2024) Software Authors: Halvorsen, Kjetil Related Software: R; UCI-ml; PRMLT; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SINGULAR Cited in 1,700 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); …
PRMLT Cited in 1,446 Documents (2006–2024) Software Authors: Bishop, C. Related Software: UCI-ml; ElemStatLearn; Adam; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Isabelle/HOL Cited in 1,433 Documents (1995–2024) Software Authors: Naraschewski, Wolfgang; Nipkow, Tobias Related Software: Coq; Isabelle; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
Gurobi Cited in 1,235 Documents (2010–2025) Software Authors: Gu, Zonghau; Rothberg, Ed; Bixby, Bob; Gurobi Optimization, Inc. Related Software: CPLEX; SCIP; GitHub; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
SciPy Cited in 935 Documents (2005–2024) Software Authors: Jones, E.; Oliphant, T.; Peterson, P. Related Software: Python; NumPy; Matplotlib; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Haskell Cited in 853 Documents (1989–2024) Software Authors: – Related Software: Coq; ML; Isabelle/HOL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …
z3 Cited in 823 Documents (2001–2024) Software Authors: Research, Microsoft; Moura, Leonardo de; Bjørner, Nikolaj Related Software: CVC4; SMT-LIB; Yices; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-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); …
PARI/GP Cited in 788 Documents (1992–2024) 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 757 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); Number theory (11-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); …
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); …
Mosek Cited in 703 Documents (1999–2024) Software Authors: ApS, MOSEK Related Software: YALMIP; SeDuMi; CVX; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
nauty Cited in 715 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); …
Uppaal Cited in 584 Documents (1990–2024) Software Authors: Uppsala University, Sweden; Aalborg University in Denmark Related Software: Kronos; HyTech; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-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 685 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); …
PVS Cited in 632 Documents (1993–2024) Software Authors: Owre, Sam; Shankar, Natarajan; Rushby, John Related Software: Coq; Isabelle/HOL; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
HOL Cited in 623 Documents (1985–2024) Software Authors: Gordon, Michael J. C. Related Software: Isabelle/HOL; Isabelle; ML; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …
MiniSat Cited in 606 Documents (2003–2024) Software Authors: Eén, Niklas; Sörensson, Niklas Related Software: Chaff; z3; BerkMin; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
Chaff Cited in 573 Documents (2001–2024) Software Authors: Moskewicz, M.; Madigan, C.; Zhao, Y.; Zhang, L.; Malik, S Related Software: MiniSat; BerkMin; SATO; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
Mizar Cited in 592 Documents (1983–2024) Software Authors: Bancerek, Grzegorz; Bylinski, Czeslaw; Grabowski, Adam; Kornilowicz, Artur; Milewski, Robert; Naumowicz, Adam; Trybulec, Andrzej; Urban, Josef Related Software: Coq; Isabelle/HOL; HOL Light; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX); …
CGAL Cited in 445 Documents (1996–2024) Software Authors: Board, CGAL Editorial Related Software: LEDA; 2D triangulations; Triangle; … Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Nuprl Cited in 426 Documents (1986–2024) Software Authors: Constable, R. L.; Allen, S. F.; Bromley, H. M.; Cleaveland, W. R.; Cremer, J. F.; Harper, R. W.; Howe, D. J.; Knoblock, T. B.; Mendler, N. P.; Panangaden, P.; Sasaki, J. T.; Smith, S. F. Related Software: Coq; HOL; Automath; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-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); …
McEliece Cited in 401 Documents (1981–2024) Software Authors: Heyse, Stefan; Moradi, Amir; Paar, Christof Related Software: BIKE; Durandal; NTRU; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …
OTTER Cited in 333 Documents (1988–2023) Software Authors: Bill McCune; Amor Montano, Jose Alfredo; Miranda Perea, Favio Ezequiel Related Software: TPTP; VAMPIRE; Mace4; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX); …
Sostools Cited in 347 Documents (2002–2024) Software Authors: Prajna, Stephen; Papachristodoulou, Antonis; Seiler, Peter; Parrilo, Pablo A. Related Software: SeDuMi; YALMIP; GloptiPoly; … Main Fields: Ordinary differential equations (34-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); …
fminsearch Cited in 299 Documents (1996–2024) Software Authors: Lagarias, Jeffrey C.; Reeds, James A.; Wright, Margaret H.; Wright, Paul E. Related Software: Matlab; KELLEY; minpack; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-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); …
INTOPT_90 Cited in 313 Documents (1996–2024) Software Authors: Kearfott, R.Baker Related Software: INTLAB; C-XSC; PROFIL/BIAS; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Z Cited in 246 Documents (1958–2024) Software Authors: Woodcock, Jim; Davies, Jim Related Software: Circus; Isabelle/HOL; Rodin; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX); …
QEPCAD Cited in 304 Documents (1991–2024) Software Authors: Hong, Hoon; Brown, Christopher W. Related Software: REDLOG; Maple; DISCOVERER; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …
Archive Formal Proofs Cited in 294 Documents (1963–2024) Software Authors: Blanchette, Jasmin Christian; Haslbeck, Maximilian; Matichuk, Daniel; Nipkow, Tobias Related Software: Isabelle/HOL; Isabelle; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-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); …
PERL Cited in 236 Documents (1992–2024) Software Authors: Wall, Larry Related Software: TTTPLOTS; Python; GRASP; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ALGOL 68 Cited in 280 Documents (1969–2019) Software Authors: van Wijngaarden, A. Author Profile; Mailloux, B.J.; Peck, J.E.L.; Koster, C.H.A.; Sintzoff, M.; Lindsey, C.H.; Meertens, L.G.L.T.; Fisker, R.G. Related Software: ALGOL 60; Simula 67; Ada95; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-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); …
NetworkX Cited in 220 Documents (2008–2024) Software Authors: Hagberg, Aric; Schult, Dan; Swart, Pieter Related Software: Python; SciPy; NumPy; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Traces Cited in 268 Documents (2014–2024) Software Authors: Piperno, Adolfo Related Software: nauty; SageMath; GAP; … Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Convex and discrete geometry (52-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); …
Agda Cited in 257 Documents (1999–2024) Software Authors: Norell, Ulf Related Software: Coq; Isabelle/HOL; Haskell; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-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); …
PRESENT Cited in 243 Documents (2007–2024) Software Authors: Bogdanov, A.; Paillier, P.; Verbauwhede, I; Orange Labs; Ruhr University Bochum; Technical University of Denmark Related Software: SIMON; PRINCE; KTANTAN; … Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Computer science (68-XX); …
NTL Cited in 246 Documents (1998–2024) Software Authors: Shoup, Victor Related Software: gmp; Magma; GitHub; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Numerical analysis (65-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); Algebraic geometry (14-XX); Associative rings and algebras (16-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); …
Normaliz Cited in 216 Documents (1998–2024) Software Authors: Bruns, Winfried; Ichim, Bogdan; Römer, Tim; Söger, Christof Related Software: Macaulay2; 4ti2; polymake; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
SPASS Cited in 208 Documents (1996–2023) Software Authors: Weidenbach, C; Brahm, U; Hillenbrand, T Related Software: VAMPIRE; TPTP; E Theorem Prover; … Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX); …
Pesca Cited in 210 Documents (2001–2024) Software Authors: Ranta, Aarne Related Software: MiniML; Coq; Isabelle; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX); …
UNITY Cited in 188 Documents (1988–2023) Software Authors: Chandy, K. Mani; Misra, Jayadev Related Software: NQTHM; HOL; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Scilab Cited in 178 Documents (1999–2024) Software Authors: Enterprises, Scilab; Fabbri, Ricardo Related Software: Matlab; Octave; R; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
KnotInfo Cited in 193 Documents (2005–2024) Software Authors: Cha, J. C.; Livingston, C. Related Software: SnapPy; GitHub; Knot Atlas; … Main Fields: Algebraic geometry (14-XX); Group theory and generalizations (20-XX); Differential geometry (53-XX); …
Algorithm 457 Cited in 169 Documents (1973–2024) Software Authors: Bron, Coen; Kerbosch, Joep Related Software: DIMACS; CPLEX; MaxCliqueDyn; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
CUDD Cited in 162 Documents (1997–2024) Software Authors: Somenzi, Fabio Related Software: NuSMV; SPIN; PRISM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-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); …
Isar Cited in 159 Documents (2000–2024) Software Authors: Wenzel, Makarius Related Software: Isabelle/HOL; Isabelle; Coq; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …
numericalsgps Cited in 163 Documents (2006–2024) Software Authors: Delgado, Manuel; Garcia-Sanchez, Pedro A.; Morais, Jose Related Software: GAP; NumericalSemigroupsWithGenus; nsgtree; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-XX); …
Keccak Cited in 153 Documents (2011–2024) Software Authors: Bertoni, G.; Daemen, J.; Peeters, M.; Van Assche, G. Related Software: PRESENT; GitHub; Gimli; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX); …
Gfan Cited in 139 Documents (2006–2024) Software Authors: Jensen, Anders Nedergaard Related Software: SINGULAR; Macaulay2; polymake; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …
MiniZinc Cited in 131 Documents (2008–2024) Software Authors: Tack, Guido; Brand, Sebastian; Brown, Mark; Feydy, Thibaut; Fischer, Julien; Garcia de la Banda, Maria; Stuckey, Peter; Wallace, Mark Related Software: Gecode; CPLEX; CHUFFED; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
PORTA Cited in 136 Documents (1996–2024) Software Authors: Christof, T.; Reinelt, G.; Andreas Loebel Related Software: cdd; CPLEX; LOLIB; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX); …
Risa/Asir Cited in 125 Documents (1992–2024) Software Authors: Noro, Masayuki; Yokoyama, Kazuhiro; Takeshima, Taku; Shimoyama, Takeshi; Anai, Hiroshi; Kando, Takayuki; Saito, Tomokatsu; Kondoh, Yuji; Murao, Hirokazu; Sturm, Thomas; Ohara, Katsuyoshi; Takayama, Nobuki Related Software: SINGULAR; Macaulay2; Kan; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-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); …
eSTREAM Cited in 121 Documents (2006–2024) 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 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); …
QETLAB Cited in 117 Documents (2000–2024) Software Authors: Johnston, Nathaniel Related Software: QubitUPBSearch; CVX; SDPT3; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Functional analysis (46-XX); Operator theory (47-XX); …
Stony Brook Cited in 109 Documents (1997–2024) Software Authors: Skiena, Steven Related Software: UMDES; GP 2; GitHub; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
BKZ Cited in 109 Documents (2011–2024) Software Authors: Chen, Yuanmi; Nguyen, Phong Q. Related Software: NTRU; GitHub; fpLLL; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX); …
Grain Cited in 110 Documents (2009–2024) Software Authors: Hell, M.; Johansson, T.; Meier, W. Related Software: Trivium; eSTREAM; MICKEY; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX); …
Lean Cited in 109 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); …
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); …
Couenne Cited in 84 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); …
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); …
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); …
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); …
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 72 Documents (2009–2024) 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); …
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); …
Kenzo Cited in 74 Documents (2000–2024) Software Authors: Rubio, Julio; Sergeraert, Francis; Yvon Siret; Xavier Dousson Related Software: EAT; Coq; ACL2; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Group theory and generalizations (20-XX); …