×

Found 936 Software Packages (Results 1–100)

FreeFem++

Software Authors:   Olivier Pironneau, Frédéric Hecht, Antoine Le Hyaric, Jacques Morice
Cited in: 1,401 Publications (2000–2023)
Related Software: FEniCS; PETSc; UMFPACK; deal.ii; Gmsh; MUMPS; …
Main Fields: (49M10-XX); (76T20-XX); (76D05-XX)

Genocop

Software Authors:   Z. Michalewicz; G. Nazhiyath
Cited in: 943 Publications (1992–2022)
Related Software: Tabu search; UCI-ml; C4.5; Matlab; CEC 05; SPEA2; …
Main Fields:

REDUCE

Software Authors:   Anthony C. Hearn; Rayna, Gerhard; Rainer Schöpf; Thomas Sturm
Cited in: 735 Publications (1970–2021)
Related Software: Maple; Mathematica; MACSYMA; DIMSYM; EXCALC; AXIOM; …
Main Fields: (34-04-XX); (65Y15-XX); (35A30-XX)

SPSS

Software Authors:   IBM; Norman H. Nie; C. Hadlai Hull
Cited in: 509 Publications (1974–2023)
Related Software: SAS; R; Stata; Excel; Matlab; BMDP; …
Main Fields:

deal.ii

Software Authors:   Bangerth W, Hartman R, Kanschat G
Cited in: 636 Publications (1999–2023)
Related Software: Trilinos; PETSc; p4est; FEniCS; UMFPACK; FreeFem++; …
Main Fields: (65N30-XX); (74S05-XX); (35J05-XX)

nauty

Software Authors:   Brendan McKay; Adolfo Piperno
Cited in: 644 Publications (1988–2022)
Related Software: Traces; GAP; GRAPE; OEIS; SageMath; bliss; …
Main Fields:

FEAPpv

Software Authors:   O.C. Zienkiewicz; R.L. Taylor
Cited in: 534 Publications (2005–2023)
Related Software: ABAQUS; Matlab; PETSc; HYPLAS; FEAP; ISOGAT; …
Main Fields:

ScaLAPACK

Software Authors:   Blackford, L.S.; Choi, J.; Cleary, A.; D'Azevedo, E.; Demmel, J.; Dhillon, I.; Dongarra, J.; Hammarling, S.; Henry, G.; Petitet, A.; Stanley, K.; Walker, D.; Whaley, R.C.
Cited in: 406 Publications (1995–2023)
Related Software: LAPACK; BLAS; PLAPACK; MPI; PETSc; MUMPS; …
Main Fields: (65Fxx-XX); (15-04-XX); (65Y15-XX)

QEPCAD

Software Authors:   Hoon Hong; Brown, Christopher W.
Cited in: 286 Publications (1991–2023)
Related Software: REDLOG; Maple; RSOLVER; MetiTarski; DISCOVERER; z3; …
Main Fields:

FGb

Software Authors:   J.-C. Faugère
Cited in: 249 Publications (1998–2023)
Related Software: Magma; SINGULAR; Maple; ISOLATE; Kronecker; FLASH; …
Main Fields: (68-99-XX); (65-99-XX)

FEATFLOW

Software Authors:   S Turek, C Becker
Cited in: 207 Publications (1998–2022)
Related Software: OpenFOAM; MooNMD; ANSYS-CFX; PETSc; RODAS; Gmsh; …
Main Fields:

GLPK

Software Authors:   Andrew Makhorin
Cited in: 182 Publications (2004–2023)
Related Software: CPLEX; Gurobi; AMPL; XPRESS; YALMIP; Mosek; …
Main Fields:

TetGen

Software Authors:   Hang Si
Cited in: 181 Publications (2006–2022)
Related Software: Triangle; Gmsh; Netgen; CGAL; PETSc; Matlab; …
Main Fields: (MSC-XX); (2010:-XX); (65N50-XX)

SQPlab

Software Authors:   J.F. Bonnans, J.Ch. Gilbert, C. Lemaréchal, C.A. Sagastizábal
Cited in: 188 Publications (2000–2023)
Related Software: PLCP; GradSamp; Ipopt; Matlab; SNOPT; LBFGS-B; …
Main Fields: (90-04-XX); (90Cxx-XX); (65Kxx-XX)

Dynamics

Software Authors:   Nusse, Helena E.; Yorke, James A.
Cited in: 185 Publications (1994–2022)
Related Software: AUTO; HomCont; Mathematica; DSTool; DMC; TISEAN; …
Main Fields: (58-04-XX); (37G99-XX); (37B99-XX)

ASSAT

Software Authors:   Yuting Zhao
Cited in: 169 Publications (2003–2022)
Related Software: Cmodels; Smodels; clasp; Gringo; Lparse; Chaff; …
Main Fields: (classification-XX)

Esterel

Software Authors:   Gérard Berry
Cited in: 135 Publications (1985–2023)
Related Software: SIGNAL; LUSTRE; Uppaal; ULM; Simulink; SPIN; …
Main Fields:

DiffSharp

Software Authors:   Baydin, A.G., Pearlmutter, B.A.
Cited in: 149 Publications (2016–2023)
Related Software: Adam; TensorFlow; PyTorch; DGM; ImageNet; DeepXDE; …
Main Fields:

Why3

Software Authors:   François Bobot; Jean-Christophe Filliâtre; Claude Marché; Guillaume Melquiond; Andrei Paskevich
Cited in: 132 Publications (2004–2023)
Related Software: KRAKATOA; Coq; Caduceus; z3; Boogie; Isabelle/HOL; …
Main Fields:

OBJ3

Software Authors:   J. Goguen, T. Winkler, J. Meseguer, K. Futatsigi and J. Jouannaud; (kiniry)
Cited in: 137 Publications (1989–2021)
Related Software: Maude; CafeOBJ; CASL; ELAN; Haskell; AProVE; …
Main Fields:

PYTHIA8

Software Authors:   T. Sjöstrand, S. Mrenna, P.Z. Skands
Cited in: 129 Publications (2006–2022)
Related Software: MadGraph; Herwig++; FeynRules; DELPHES; MC@NLO; FastJet; …
Main Fields:

LSODE

Software Authors:   Alan C. Hindmarsh
Cited in: 137 Publications (1983–2022)
Related Software: VODE; DASSL; RODAS; ODEPACK; DIFSUB; Matlab; …
Main Fields:

BLAST

Software Authors:   Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Gregoire
Cited in: 105 Publications (2003–2021)
Related Software: SLAM; CPAchecker; SPIN; CBMC; SatAbs; z3; …
Main Fields: (68N30-XX)

Boogie

Software Authors:   K. Rustan M. Leino
Cited in: 117 Publications (2007–2022)
Related Software: z3; Why3; Spec#; KRAKATOA; ESC/Java; Dafny; …
Main Fields:

nlmdl

Software Authors:   Gallant, A. Ronald
Cited in: 120 Publications (1987–2022)
Related Software: Stata; SemiPar; R; Ox; SAS; OPQ; …
Main Fields:

cdd

Software Authors:   Komei Fukuda
Cited in: 119 Publications (1996–2022)
Related Software: polymake; Gfan; PORTA; lrs; cddplus; gmp; …
Main Fields:

FeynRules

Software Authors:   A. Alloul, N.D. Christensen, C. Degrande, C. Duhr, B. Fuks
Cited in: 108 Publications (2010–2022)
Related Software: FeynArts; MadGraph; CalcHEP; PYTHIA8; MadGraph5_aMC@NLO; DELPHES; …
Main Fields: (81V22-XX); (81T60-XX); (65C05-XX)

ASTREE

Software Authors:   Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
Cited in: 108 Publications (2002–2021)
Related Software: Apron; PPL; z3; Coq; Octagon; BLAST; …
Main Fields:

LARCH

Software Authors:   Guttag, John V.; Horning, James J.
Cited in: 94 Publications (1989–2021)
Related Software: JML; Eiffel; PVS; CASL; Maude; CafeOBJ; …
Main Fields: (68Q65-XX); (68N15-XX); (68Q60-XX)

Reduze

Software Authors:   Andreas von Manteuffel; Cedric Studerus
Cited in: 96 Publications (2010–2022)
Related Software: LiteRed; FIRE; FORM; AIR; FIRE5; Axodraw; …
Main Fields:

CBMC

Software Authors:   Clarke E, Kroening D, Lerda F
Cited in: 75 Publications (2004–2022)
Related Software: MiniSat; BLAST; SPIN; z3; CPAchecker; SLAM; …
Main Fields:

KRAKATOA

Software Authors:   Marché, C.; Paulin-Mohring, C.; Urbain, X.
Cited in: 78 Publications (2004–2022)
Related Software: Why3; Caduceus; JML; Spec#; Boogie; Coq; …
Main Fields:

Find

Software Authors:   C.A.R. Hoare
Cited in: 86 Publications (1972–2023)
Related Software: Quicksort; Algorithm 347; Algorithm 489; Coq; MedianOfNinthers; QuickHeapsort; …
Main Fields:

OTIS

Software Authors:   Paris, S.W.; Hargraves, C.R; NASA Glenn Research Center
Cited in: 85 Publications (1987–2020)
Related Software: SOCS; SNOPT; NPSOL; Ipopt; DIDO; GPOPS; …
Main Fields:

Voronoi

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

LIPSOL

Software Authors:   Zhang, Yin; Greg Sweriduk
Cited in: 83 Publications (1997–2022)
Related Software: PCx; Matlab; Mosek; HOPDM; LOQO; McIPM; …
Main Fields:

SOFTSUSY

Software Authors:   B.C. Allanach
Cited in: 78 Publications (2001–2022)
Related Software: Spheno; SuSpect; micrOMEGAs; NMHDECAY; MicrOMEGAs 2.0; FeynHiggs; …
Main Fields: (81V22-XX); (81T60-XX); (81T13-XX)

DART

Software Authors:   Patrice Godefroid; Nils Klarlund; Koushik Sen
Cited in: 58 Publications (2005–2022)
Related Software: CUTE; z3; Pex; KLEE; STP; Java PathFinder; …
Main Fields:

ImageJ

Software Authors:   Schneider, C.A., Rasband, W.S., Eliceiri, K.W.; Abramoff, M.D., Magalhaes, P.J., Ram, S.J
Cited in: 52 Publications (2006–2022)
Related Software: R; Fiji; Matlab; Python; CellProfiler; Icy; …
Main Fields:

MUSCLE

Software Authors:   R.C. Edgar
Cited in: 49 Publications (2005–2022)
Related Software: ClustalW; MAFFT; T-coffee; BLAST; PSI-BLAST; DIALIGN; …
Main Fields:

Hull

Software Authors:   K.L. Clarkson
Cited in: 75 Publications (1992–2020)
Related Software: LEDA; Qhull; CGAL; Triangle; Voronoi; TOPCOM; …
Main Fields:

VCC

Software Authors:   Ernie Cohen, Markus Dahlweid, Mark Hillebrand, Dirk Leinenbach, Michał Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies
Cited in: 59 Publications (2010–2022)
Related Software: z3; Boogie; Why3; Dafny; Coq; Spec#; …
Main Fields:

BlackHat

Software Authors:   C. F. Berger, Z. Bern, L. J. Dixon, F. Febres Cordero, D. Forde, H. Ita, D. A. Kosower, D. Maître
Cited in: 73 Publications (2009–2021)
Related Software: CutTools; SAMURAI; Golem95; GoSam; HELAC-1LOOP; PHEGAS; …
Main Fields:

COPASI

Software Authors:   S. Hoops, S. Sahle, R. Gauges, C. Lee, J. Pahle, N. Simus, M. Singhal, L. Xu, P. Mendes, U. Kummer
Cited in: 59 Publications (2008–2022)
Related Software: BioModels; R; BioNetGen; KEGG; SUNDIALS; Python; …
Main Fields:

TRLan

Software Authors:   Kesheng Wu; Horst Simon
Cited in: 70 Publications (1999–2022)
Related Software: IRAM; JDQZ; ARPACK; JDQR; eigs; a-TRLan; …
Main Fields:

YACC

Software Authors:   Stephen C. Johnson
Cited in: 59 Publications (1978–2021)
Related Software: ANTLR; Bison; ALGOL 60; AWK; XQuery; LCF; …
Main Fields:

GALib

Software Authors:   Matthew Wall
Cited in: 55 Publications (1999–2021)
Related Software: Genocop; VRP; CPLEX; EPANET; DistAl; HykGene; …
Main Fields:

CUTE

Software Authors:   Koushik Sen; Darko Marinov; Gul Agha
Cited in: 50 Publications (2003–2021)
Related Software: DART; z3; KLEE; Pex; Java PathFinder; STP; …
Main Fields: (65K05-XX); (90C06-XX); (90C30-XX)

CVODE

Software Authors:   Cohen, S.D., Hindmarsh, A.C.
Cited in: 62 Publications (1997–2021)
Related Software: SUNDIALS; RODAS; RKC; Cantera; VODE; Boost C++ Libraries; …
Main Fields:

BEAST

Software Authors:   Bouckaert, R., Heled, J., Kühnert, D., Vaughan, T., Wu, C-H., Xie, D., Suchard, MA., Rambaut, A., Drummond, A. J.
Cited in: 59 Publications (2009–2022)
Related Software: MrBayes; BEAUti; RAxML; fastDNAml; R; MEGA; …
Main Fields:

GENSMAC

Software Authors:   Tom'e, M. F.; Filho, A. C.; Cuminato, J. A.; Mangiavacchi, N.; McKee, S.
Cited in: 61 Publications (1994–2020)
Related Software: GENSMAC3D; FREEFLOW; Flow-3D; SOLA-VOF; SOLA; SLIC; …
Main Fields: (76M20-XX); (76D27-XX); (76D05-XX)

TTTPLOTS

Software Authors:   Aiex, Renata M.; Resende, Mauricio G.C.; Ribeiro, Celso C.
Cited in: 58 Publications (2007–2022)
Related Software: PERL; GRASP; Tabu search; Scatter Search; irace; MersenneTwister; …
Main Fields: (90C27-XX); (90C59-XX)

GreatSPN

Software Authors:   Babar, Junaid; Beccuti, Marco; Donatelli, Susanna; Miner, Andrew
Cited in: 51 Publications (1988–2021)
Related Software: GreatSPN 1.7; TimeNET; CADP; SPNP; PEPA; PRISM; …
Main Fields: (68Q85-XX)

CompCert

Software Authors:   Leroy, X.
Cited in: 50 Publications (2009–2022)
Related Software: Coq; Isabelle/HOL; z3; CakeML; cminor; Isabelle; …
Main Fields: (68N30-XX); (68T15-XX)

FIRE5

Software Authors:   Smirnov, A.V.
Cited in: 51 Publications (2015–2022)
Related Software: FIRE; LiteRed; Reduze; Kira; AIR; FIESTA; …
Main Fields: (81-04-XX); (81Q30-XX); (81T18-XX)

Smallfoot

Software Authors:   Berdine, J., Calcagno, C., O’Hearn, P.W.
Cited in: 51 Publications (2004–2022)
Related Software: jStar; VeriFast; z3; Coq; HIP; SLAyer; …
Main Fields:

SPRNG

Software Authors:   M. Mascagni, A. Srinivasa
Cited in: 45 Publications (1990–2022)
Related Software: TestU01; Diehard; MersenneTwister; RngSteam; R; dieharder; …
Main Fields: (65C10-XX); (11K45-XX); (65Y05-XX)

STP

Software Authors:   Vijay Ganesh; Trevor Hansen; Mate Soos; Dan Liew; Ryan Govostes; Andrew V. Jones; et al.
Cited in: 40 Publications (2007–2022)
Related Software: z3; DART; CUTE; Yices; Boolector; MiniSat; …
Main Fields:

SOLA-VOF

Software Authors:   B.D. Nichols, C.W. Hirt, R.S. Hotchkiss
Cited in: 45 Publications (1984–2022)
Related Software: NASA-VOF2D; RIPPLE; SLIC; Gerris; Flow-3D; GENSMAC3D; …
Main Fields:

Daikon

Software Authors:   Ernst, Michael D.; Perkins, Jeff H.; Guo, Philip J.; McCamant, Stephen; Pacheco, Carlos; Tschantz, Matthew S.; Xiao, Chen
Cited in: 34 Publications (2005–2022)
Related Software: JML; Eiffel; z3; Houdini; Z; JCrasher; …
Main Fields: (68N99-XX); (68N17-XX); (68T05-XX)

Pregel

Software Authors:   Malewicz, G., Austern, M.H., Bik, A.J., Dehnert, J.C., Horn, I., Leiser, N., Czajkowski, G.
Cited in: 37 Publications (2010–2022)
Related Software: GraphLab; MapReduce; Hadoop; Giraph; PowerGraph; GraphX; …
Main Fields:

BSPlib

Software Authors:   Jarvis, S. A.; Hill, J. M. D.; Siniolakis, C. J.; Vasilev, V. P.
Cited in: 41 Publications (1997–2020)
Related Software: BSPedupack; PVM; MulticoreBSP; SparseMatrix; NAS Parallel Benchmarks; SPARSKIT; …
Main Fields: (68N19-XX); (68M99-XX)

TIDES

Software Authors:   A. Abad, R Barrio, F. Blesa, M. Rodriguez
Cited in: 42 Publications (2009–2022)
Related Software: Taylor; ATOMFT; RODES; Mathematica; Cosy; DAETS; …
Main Fields:

MUMMER

Software Authors:   S. Kurtz, A. Phillippy, A.L. Delcher, M. Smoot, M. Shumway, C. Antonescu, S.L. Salzberg
Cited in: 29 Publications (2003–2022)
Related Software: LAGAN; REPuter; BLASTZ; PatternHunter; AVID; DIALIGN; …
Main Fields:

Idris

Software Authors:   Edwin Brady
Cited in: 39 Publications (2011–2022)
Related Software: Coq; Agda; Irdis; Haskell; Nuprl; Lean; …
Main Fields:

FLAME

Software Authors:   Bientinese, Paolo; Quintana-Ortí, Enrique S.; van de Geijn, Robert A
Cited in: 38 Publications (1997–2021)
Related Software: LAPACK; BLAS; ATLAS; SPIRAL; PLAPACK; libflame; …
Main Fields:

Mixmod

Software Authors:   Biernacki, Christophe; Celeux, Gilles; Govaert, Gérard; Langrognet, Florent
Cited in: 37 Publications (2006–2022)
Related Software: mclust; R; UCI-ml; PGMM; Rmixmod; PRMLT; …
Main Fields: (62H30-XX); (62-04-XX); (65C60-XX)

CIL

Software Authors:   Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.
Cited in: 30 Publications (2002–2022)
Related Software: BLAST; CBMC; SLAM; CUTE; veriSoft; z3; …
Main Fields:

SG

Software Authors:   Holst, M.J.
Cited in: 38 Publications (2001–2022)
Related Software: APBS; FreeFem++; CHARMM; DelPhi; PDB2PQR; MIBPB; …
Main Fields:

AFEM@matlab

Software Authors:   L Chen and C.-S. Zhang
Cited in: 37 Publications (2008–2022)
Related Software: Matlab; iFEM; ALBERTA; p1afem; Ameshref; ameshcoars; …
Main Fields:

Blitz++ library

Software Authors:   Todd Veldhuizen
Cited in: 32 Publications (2000–2021)
Related Software: Blitz++; Boost; BLAS; Boost C++ Libraries; ATLAS; STL; …
Main Fields:

LUPS

Software Authors:   Alferes, José Júlio; Pereira, Luís Moniz; Przymusinska, Halina; Przymusinski, Teodor C.
Cited in: 37 Publications (1999–2019)
Related Software: XSB; Smodels; EVOLP; Jason; ConGolog; METATEM; …
Main Fields: (68N17-XX)

Gaigen

Software Authors:   Daniel Fontijne; Leo Dorst; Tim Bouma
Cited in: 35 Publications (2004–2022)
Related Software: Gaalop; CLUCalc; CLIFFORD; GMac; GABLE; GluCat; …
Main Fields:

NASA-VOF2D

Software Authors:   M.D. Torrey, L.D. Cloutman, R.C. Mjolsness, C.W. Hirt
Cited in: 36 Publications (1993–2020)
Related Software: SOLA-VOF; SLIC; Gerris; PROST; RIPPLE; Flow-3D; …
Main Fields:

CLAIRE

Software Authors:   Caseau, Yves; Josset, François-Xavier; Laburthe, François
Cited in: 32 Publications (1998–2019)
Related Software: Oz; Choco; SALSA; BL data set; CHIP; ELAN; …
Main Fields: (68P10-XX); (68W05-XX); (68N19-XX)

NSPCG

Software Authors:   Oppe, Thomas C.; Joubert, Wayne D.; Kincaid, David R.
Cited in: 35 Publications (1988–2022)
Related Software: ELLPACK; CGS; LAPACK; ITPACK 2C; ITPACK; LSQR; …
Main Fields: (65F10-XX); (65F35-XX); (65F50-XX)

xPerm

Software Authors:   José M. Martín-García
Cited in: 32 Publications (2008–2022)
Related Software: xAct; Invar; xTras; xTensor; xPert; Cadabra; …
Main Fields: (15-04-XX); (16-04-XX); (68W30-XX)

AIR

Software Authors:   C. Anastasiou, A. Lazopoulos
Cited in: 33 Publications (2010–2021)
Related Software: Reduze; FIRE; LiteRed; FORM; FIRE5; FIESTA; …
Main Fields:

NetCDF

Software Authors:   Glenn Davis, Russ Rew, Ed Hartnett, John Caron, Steve Emmerson, Harvey Davies
Cited in: 17 Publications (2004–2022)
Related Software: Python; Trilinos; HDF; PETSc; deal.ii; p4est; …
Main Fields: (68N15-XX)

Seq-Gen

Software Authors:   Andrew Rambaut; Nick C. Grassly
Cited in: 26 Publications (2002–2022)
Related Software: fastDNAml; PHYLIP; BIONJ; RAxML; MrBayes; FastTree; …
Main Fields:

SMS

Software Authors:   Korelc, Jože
Cited in: 33 Publications (1997–2022)
Related Software: Mathematica; AceGen; AceFEM; FINGER; Matlab; ABAQUS; …
Main Fields: (91B99-XX); (90-02-XX); (65C20-XX)

WhyML

Software Authors:   Filliâtre, Jean-Christophe; Paskevich, Andrei
Cited in: 32 Publications (2013–2023)
Related Software: Why3; z3; Coq; Boogie; Isabelle/HOL; Dafny; …
Main Fields: (68Nxx-XX)

FlameMaster

Software Authors:   H. Pitsch
Cited in: 31 Publications (2005–2022)
Related Software: GRI-Mech 3.0; Cantera; hypre; ODEPACK; OPPDIF; OpenFOAM; …
Main Fields:

OpenACC

Software Authors:   Sandra Wienke; Paul Springer; Christian Terboven; Dieter an Mey
Cited in: 18 Publications (2014–2021)
Related Software: CUDA; OpenCL; MPI; CUBLAS; Trilinos; StarPU; …
Main Fields:

OpenLB

Software Authors:   Jonas Latt; Mathias J. Krause
Cited in: 28 Publications (2007–2022)
Related Software: Palabos; waLBerla; LB3D; p4est; Julia; OpenFOAM; …
Main Fields:

PHREEQC

Software Authors:   Parkhurst, D.L., Appelo, C.J
Cited in: 29 Publications (2004–2022)
Related Software: PhreeqcRM; HYDROGEOCHEM; MoMaS; HYTEC; CrunchFlow; OpenGeoSys; …
Main Fields:

BioProspector

Software Authors:   Liu, X., Brutlag, D., Liu, J.
Cited in: 21 Publications (2002–2013)
Related Software: TRANSFAC; JASPAR; WebLogo; CisModule; PhyME; TEIRESIAS; …
Main Fields:

INTLIB

Software Authors:   Kearfott, R.B.; Dawande, M.; Hu, C.
Cited in: 28 Publications (1992–2018)
Related Software: PROFIL/BIAS; INTLAB; C-XSC; INTBIS; Matlab; BLAS; …
Main Fields: (65G30-XX); (65Y15-XX)

mwrank

Software Authors:   J. E. Cremona
Cited in: 29 Publications (2000–2019)
Related Software: ecdata; PARI/GP; Magma; SageMath; APECS; Maple; …
Main Fields:

Nestedsums

Software Authors:   Stefan Weinzierl
Cited in: 28 Publications (2002–2022)
Related Software: XSummer; Hypexp; GiNaC; HYPERDIRE; Mathematica; HPL; …
Main Fields:

REVEAL

Software Authors:   Liang, S., Fuhrman, S., Somogyi, R
Cited in: 22 Publications (2003–2022)
Related Software: KEGG; R; BoolNet; E-CELL; GEPASI; Macaulay2; …
Main Fields:

SNARKs for C

Software Authors:   Ben-Sasson, Eli; Chiesa, Alessandro; Genkin, Daniel; Tromer, Eran; Virza, Madars
Cited in: 28 Publications (2013–2022)
Related Software: Pinocchio; Geppetto; Ligero; ZKBoo; libiop; zk-SNARK; …
Main Fields: (68P25-XX); (94A60-XX)

SCHUR

Software Authors:   Brian G. Wybourne
Cited in: 28 Publications (1994–2022)
Related Software: Mathematica; MathTensor; Hetero; PHYLIP; ape; R; …
Main Fields: (81R05-XX); (22-04-XX); (22E46-XX)

AS 197

Software Authors:   Mélard, G.
Cited in: 27 Publications (1984–2012)
Related Software: AS 154; expsmooth; SparseM; Forecast; forecast; itsmr; …
Main Fields: (65C99-XX); (62A01-XX); (62M10-XX)

MPM3D

Software Authors:   Tsinghua University (THU)
Cited in: 27 Publications (2011–2022)
Related Software: MPM3DMP; Karamelo; LS-DYNA; OVITO; Taichi; CHOLMOD; …
Main Fields:

PhreeqcRM

Software Authors:   David Parkhurst
Cited in: 27 Publications (2009–2022)
Related Software: PHREEQC; HYDROGEOCHEM; MoMaS; CrunchFlow; HYTEC; OpenGeoSys; …
Main Fields:

SPHEREPACK

Software Authors:   John C. Adams, Paul N. Swarztrauber
Cited in: 24 Publications (1998–2018)
Related Software: SHTOOLS; Chebfun; chammp; Travis CI; uvcdat; xarray; …
Main Fields:

CADRE

Software Authors:   de Boor, C.
Cited in: 25 Publications (1973–2010)
Related Software: QUADPACK; Algorithm 145; EISPACK; Matlab; PASCAL-XSC; LINPACK; …
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

PseAAC-Builder

Software Authors:   Du, P.; Wang, X.; Xu, C.; Gao, Y.
Cited in: 25 Publications (2013–2020)
Related Software: propy; iRSpot-PseDNC; PseAAC; iSNO-PseAAC; PseAAC-General; iLoc-Hum; …
Main Fields:

CONDOR

Software Authors:   Vanden Berghen, Frank; Bersini, Hugues
Cited in: 24 Publications (2005–2020)
Related Software: DFO; UOBYQA; COBYLA2; WEDGE; BOBYQA; NEWUOA; …
Main Fields: (65K05-XX); (90C30-XX); (90C56-XX)