AUTO Cited in 959 Documents (1981–2023) Software Authors: Doedel, Eusebius, Alan Champneys, Fabio Dercole, Thomas Fairgrieve, Yuri Kuznetsov, Bart Oldeman, Randy Paffenroth, Bjorn Sandstede, Xianjun Wang, and Chenghai Zhang Related Software: AUTO-07P; HomCont; AUTO-86; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
WinBUGS Cited in 732 Documents (1999–2023) Software Authors: David Spiegelhalter; Andrew Thomas; Nicky Best; Dave Lunn Related Software: R; BayesDA; BUGS; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
MACSYMA Cited in 716 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); …
SPSS Cited in 522 Documents (1974–2023) Software Authors: IBM; Norman H. Nie; C. Hadlai Hull Related Software: SAS; R; Stata; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
z3 Cited in 660 Documents (2001–2023) Software Authors: Microsoft Research; Leonardo de Moura; Nikolaj Bjørner Related Software: CVC4; SMT-LIB; Yices; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
FEAPpv Cited in 534 Documents (2005–2023) Software Authors: O.C. Zienkiewicz; R.L. Taylor Related Software: ABAQUS; Matlab; PETSc; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
BUGS Cited in 361 Documents (1992–2023) Software Authors: D. Spiegelhalter, A. Thomas, W. Gilks Related Software: R; WinBUGS; JAGS; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Mplus Cited in 190 Documents (1998–2023) Software Authors: Mplus development team Related Software: R; LISREL; EQS; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …
JAGS Cited in 253 Documents (2005–2023) Software Authors: Martyn Plummer Related Software: R; Stan; WinBUGS; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Datalog Cited in 282 Documents (1978–2022) Software Authors: Ceri, S., Gottlob, G., Tanca, L Related Software: ASSAT; Gringo; Clingo; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
top.m Cited in 241 Documents (2005–2022) Software Authors: Sigmund, O Related Software: top88.m; Matlab; ESOFRAME; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
itsmr Cited in 225 Documents (1996–2022) Software Authors: George Weigt Related Software: ITSM2000; R; astsa; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
HYPLAS Cited in 222 Documents (1996–2023) Software Authors: De Souza Neto EA, Perić D, Owen DRJ Related Software: ABAQUS; Matlab; FEAPpv; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); …
FastICA Cited in 165 Documents (2001–2022) Software Authors: J Hurri, H Gävert, J Särelä, A Hyvärinen Related Software: ICALAB; R; Daisy; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
FEAP Cited in 196 Documents (1993–2023) Software Authors: Taylor; University of California, Berkeley Related Software: PETSc; ABAQUS; FEAPpv; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
UNITY Cited in 181 Documents (1988–2021) Software Authors: K. Mani Chandy; Jayadev Misra Related Software: NQTHM; PVS; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Pajek Cited in 148 Documents (2002–2023) Software Authors: Batagelj, Vladimir; Mrvar, Andrej Related Software: Pajek datasets; statnet; SparseMatrix; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
UTA Plus Cited in 158 Documents (1982–2023) Software Authors: Jacquet-Lagrèze E., Siskos J. Related Software: VisualUTA; M-MACBETH; ELECTRE; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
SERBA Cited in 157 Documents (1980–2023) Software Authors: Paris, F.; Alarcon, E. Related Software: BEAN; Regularization tools; NAG; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
ESC/Java Cited in 120 Documents (2001–2022) Software Authors: Greg Nelson Related Software: Spec#; SIMPLIFY; JML; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
Bandera Cited in 104 Documents (2000–2018) Software Authors: Hatcliff, John; Dwyer, Matthew Related Software: SPIN; Java PathFinder; veriSoft; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
CMPGRD Cited in 124 Documents (1990–2023) Software Authors: Chesshire, G.; Henshaw, W.D. Related Software: Ogen; OVERFLOW; PETSc; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-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); …
STABLE Cited in 113 Documents (1997–2022) Software Authors: Nolan, John P. Related Software: SYMSTB; Matlab; R; … Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …
GeM Cited in 101 Documents (1990–2022) Software Authors: Alexei F. Cheviakov Related Software: Maple; CRACK; LIEPDE; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Mechanics of deformable solids (74-XX); …
Latent GOLD Cited in 85 Documents (2002–2022) Software Authors: Vermunt, J.K.; Magidson, J; Statistical Innovations Inc., Related Software: R; Mplus; mclust; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
boa Cited in 88 Documents (2000–2022) Software Authors: Brian J. Smith Related Software: R; WinBUGS; CODA; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Geophysics (86-XX); …
Casper Cited in 83 Documents (1999–2018) Software Authors: Gavin Lowe / Oxford University Computing Laborator Related Software: AVISPA; TAPS; OFMC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-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); …
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); …
OTIS Cited in 87 Documents (1987–2023) Software Authors: Paris, S.W.; Hargraves, C.R; NASA Glenn Research Center Related Software: SOCS; SNOPT; NPSOL; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); …
NAMD Cited in 68 Documents (1999–2023) Software Authors: James Phillips Related Software: Gromacs; CHARMM; VMD; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); …
LIE Cited in 82 Documents (1993–2022) Software Authors: Head, A.K. Related Software: DIMSYM; SYMMGRP; REDUCE; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX); …
DART Cited in 58 Documents (2005–2022) Software Authors: Patrice Godefroid; Nils Klarlund; Koushik Sen Related Software: CUTE; z3; Pex; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
LIMDEP Cited in 69 Documents (1984–2020) Software Authors: Econometric Software, Inc Related Software: Stata; R; Excel; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
BEAN Cited in 75 Documents (2004–2022) Software Authors: Sutradhar, Alok; Paulino, Glaucio H.; Gray, Leonard J. Related Software: SERBA; XFEM; ABAQUS; … Main Fields: Partial differential equations (35-XX); Integral equations (45-XX); Numerical analysis (65-XX); …
COPASI Cited in 61 Documents (2008–2022) Software Authors: S. Hoops, S. Sahle, R. Gauges, C. Lee, J. Pahle, N. Simus, M. Singhal, L. Xu, P. Mendes, U. Kummer Related Software: BioModels; R; BioNetGen; … Main Fields: Ordinary differential equations (34-XX); Statistics (62-XX); Computer science (68-XX); …
Mercury Cited in 70 Documents (1994–2022) Software Authors: mercurylang.org Related Software: ECCE; Haskell; DPPD; … Main Fields: General and overarching topics; collections (00-XX); Category theory; homological algebra (18-XX); Statistics (62-XX); …
XFOIL Cited in 65 Documents (1997–2023) Software Authors: Mark Drela; Harold Youngren Related Software: EGO; GAToolBox; Spalart-Allmaras; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
BEAST Cited in 62 Documents (2009–2023) Software Authors: Bouckaert, R., Heled, J., Kühnert, D., Vaughan, T., Wu, C-H., Xie, D., Suchard, MA., Rambaut, A., Drummond, A. J. Related Software: MrBayes; BEAUti; RAxML; … Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …
CaterpillarSSA Cited in 61 Documents (2001–2022) Software Authors: Golyandina, N.N.; Nekrutkin, V.V.; Zhigljavsky, A.A. Related Software: Forecast; forecast; R; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …
LOCBIF Cited in 65 Documents (1992–2019) Software Authors: Khibnik, Alexander I.; Kuznetsov, Yuri A.; Levitin, Victor V.; Nikolaev, Eugene V. Related Software: AUTO; DSTool; AUTO-86; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …
DISCOVERER Cited in 62 Documents (1999–2023) Software Authors: Xia B Related Software: QEPCAD; Maple; REDLOG; … Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …
BILOG Cited in 50 Documents (1986–2020) Software Authors: Zimowski, M.F., Muraki, E., Mislevy, R.J., Bock, R.D Related Software: R; PARSCALE; Mplus; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Statistical mechanics, structure of matter (82-XX); …
CPAchecker Cited in 42 Documents (2011–2022) Software Authors: Dirk Beyer, Stefan Löwe, Philipp Wendler Related Software: BLAST; SLAM; z3; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
GreatSPN Cited in 51 Documents (1988–2021) Software Authors: Babar, Junaid; Beccuti, Marco; Donatelli, Susanna; Miner, Andrew Related Software: GreatSPN 1.7; TimeNET; CADP; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX); …
PAUP* Cited in 50 Documents (1987–2023) Software Authors: David Swofford Related Software: PHYLIP; RAxML; MrBayes; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
BEAM189 Cited in 56 Documents (2003–2023) Software Authors: Wang, Changguo; Tan, Huifeng; Du, Xingwen Related Software: ABAQUS; ANSYS; Meschach; … Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX); …
libMC Cited in 54 Documents (2009–2023) Software Authors: Chachuat, B Related Software: ANTIGONE; BARON; MC++; … Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
CeTA Cited in 48 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); …
RAxML Cited in 33 Documents (2004–2023) Software Authors: Stamatakis, Alexandros; Ludwig, Thomas; Meier, Harald Related Software: MrBayes; BEAST; PAUP*; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …
ACRITH-XSC Cited in 48 Documents (1985–2019) Software Authors: Walter, Wolfgang V. Related Software: C-XSC; C-XSC 2.0; PASCAL-XSC; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
Daikon Cited in 39 Documents (2005–2022) Software Authors: Ernst, Michael D.; Perkins, Jeff H.; Guo, Philip J.; McCamant, Stephen; Pacheco, Carlos; Tschantz, Matthew S.; Xiao, Chen Related Software: JML; Houdini; Eiffel; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX); …
Timbuk Cited in 48 Documents (2001–2022) Software Authors: Thomas Genet; Yohan Boichut; Benoît Boyer; Valérie Viet Triem Tong; .. Related Software: Maude; AVISPA; Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX); …
CiaoPP Cited in 47 Documents (1999–2022) Software Authors: Hermenegildo M. V., Bueno F., Puebla G., Lopez P. Related Software: Ciao; Mercury; SICStus; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
K Prover Cited in 46 Documents (2007–2022) Software Authors: Roşu, Grigore et.al Related Software: Maude; K tool; z3; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
STP Cited in 41 Documents (2007–2022) Software Authors: Vijay Ganesh; Trevor Hansen; Mate Soos; Dan Liew; Ryan Govostes; Andrew V. Jones; et al. Related Software: z3; DART; CUTE; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX); …
HLM Cited in 22 Documents (2002–2016) Software Authors: SSI, Scientific Software International, Inc., Related Software: MLwiN; R; WinBUGS; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
OVITO Cited in 39 Documents (2012–2023) Software Authors: Alexander Stukowski Related Software: LAMMPS; VMD; Gromacs; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
TIDES Cited in 42 Documents (2009–2022) Software Authors: A. Abad, R Barrio, F. Blesa, M. Rodriguez Related Software: Taylor; ATOMFT; RODES; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
CAPTAIN Cited in 38 Documents (2006–2022) Software Authors: Peter Young Related Software: CONTSID; Matlab; System Identification Toolbox; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); …
Ltur Cited in 40 Documents (1988–2022) Software Authors: Minoux, M. Related Software: Datalog; JBool; HgMUS; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); …
PESTO Cited in 40 Documents (2016–2022) Software Authors: Taylor, Adrien B.; Hendrickx, Julien M.; Glineur, F. Related Software: YALMIP; CVX; SeDuMi; … Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
Mixmod Cited in 37 Documents (2006–2022) Software Authors: Biernacki, Christophe; Celeux, Gilles; Govaert, Gérard; Langrognet, Florent Related Software: mclust; R; PGMM; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX); …
Modulef Cited in 39 Documents (1985–2018) Software Authors: Bernadou, M.; Hassim, A.; Laug, P.; Steer, D.; Vidrascu, M.; Saltel, E. Related Software: petsc4py; COFFEE; TSFC; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
CIL Cited in 30 Documents (2002–2022) Software Authors: Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W. Related Software: BLAST; CBMC; SLAM; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
XGobi Cited in 28 Documents (1995–2020) Software Authors: Swayne DF, Cook D, Buja A Related Software: R; GGobi; ggplot2; … Main Fields: Convex and discrete geometry (52-XX); Statistics (62-XX); Computer science (68-XX); …
Chimera Cited in 29 Documents (2006–2023) Software Authors: Pettersen EF, Goddard TD, Huang CC, Couch GS, Greenblatt DM, Meng EC, Ferrin TE Related Software: BLAST; PSI-BLAST; VMD; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX); …
FIDAP Cited in 37 Documents (1982–2009) Software Authors: Engelman, Michael S. Related Software: SPARSKIT; ITSOL; ILUS; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
MULTIMIX Cited in 34 Documents (1999–2020) Software Authors: Hunt, Lynette; Jorgensen, Murray Related Software: R; UCI-ml; mclust; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …
NONMEM Cited in 34 Documents (1996–2021) Software Authors: Beal, S.L.; Sheiner, L.B. Related Software: R; S-PLUS; SAS; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Pex Cited in 24 Documents (2009–2021) Software Authors: Nikolai Tillmann, Jonathan de Halleux Related Software: DART; CUTE; z3; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX); …
AVATAR Cited in 34 Documents (2014–2023) Software Authors: Voronkov, A. Related Software: VAMPIRE; TPTP; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Multilinear Engine Cited in 33 Documents (2002–2022) Software Authors: Pentti Paatero Related Software: TensorToolbox; Matlab; PARAFAC; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …
PANDA Cited in 32 Documents (1983–2010) Software Authors: Bushnell, David Related Software: BOSOR5; VICONOPT; CONMIN; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SMS Cited in 33 Documents (1997–2022) Software Authors: Korelc, Jože Related Software: Mathematica; AceGen; AceFEM; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
SplitsTree Cited in 30 Documents (1996–2023) Software Authors: Huson, D.H. Related Software: PHYLIP; ClustalW; fastDNAml; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); General topology (54-XX); …
JavaFAN Cited in 30 Documents (2004–2018) Software Authors: Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore Related Software: Maude; K Prover; MMT; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
REVEAL Cited in 24 Documents (2003–2022) Software Authors: Liang, S., Fuhrman, S., Somogyi, R Related Software: KEGG; R; BoolNet; … Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX); …
JPAX Cited in 21 Documents (2002–2022) Software Authors: Havelund, Klaus; Roşu, Grigore Related Software: Maude; Bandera; Java PathFinder; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TC-HAT Cited in 30 Documents (2008–2022) Software Authors: Thota, P., Dankowicz, H. Related Software: SlideCont; COCO; AUTO; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …
ODESSA Cited in 29 Documents (1988–2021) Software Authors: J. R. Leis and M. A. Kramer Related Software: AUTO-86; CVODES; LSODE; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …
PhyloNetwork Cited in 24 Documents (2010–2022) Software Authors: Gabriel Cardona, Francesc Rosselló, Gabriel Valiente Related Software: bioperl; NetDiversity; PERL; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); …
SAP2000 Cited in 24 Documents (2003–2022) Software Authors: Computers and Structures, Inc. Related Software: Matlab; OpenSees; Python; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
FLagSHyP Cited in 27 Documents (2016–2023) Software Authors: Bonet, Javier; Gil, Antonio J.; Wood, Richard D. Related Software: Gmsh; ABAQUS; HYPLAS; … Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
LOGOS Cited in 27 Documents (2014–2021) Software Authors: Deryugin, Yu.N.; Zhuchkov, R.N.; Zelenskiy, D.K.; Kozelkov, A.S.; Sarazov, A.S.; Kudimov, N.F.; Lipnickiy, Yu.M.; Panasenko, A.V.; Safronov, A.V. Related Software: AUSM; MPI; LSODE; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); …
MIXOR Cited in 23 Documents (2000–2021) Software Authors: Donald Hedeker; Robert D. Gibbons Related Software: Stata; MLwiN; SAS/STAT; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX); …
FASTA Cited in 17 Documents (1992–2022) Software Authors: William R. Pearson Related Software: BLAST; PSI-BLAST; ClustalW; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …
MARK Cited in 22 Documents (2002–2022) Software Authors: White GC, Burnham KP Related Software: Program MARK; R; RMark; … Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …
HiggsSignals Cited in 24 Documents (2014–2023) Software Authors: P. Bechtle, S. Heinemeyer, O. Stål, T. Stefaniak, G. Weiglein Related Software: HiggsBounds; SARAH; Spheno; … Main Fields: Probability theory and stochastic processes (60-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX); …
SENKIN Cited in 23 Documents (1997–2022) Software Authors: Lutz, A.E.; Kee, R.J.; Miller, J.A. Related Software: CHEMKIN; TRANSPORT; GRI-Mech 3.0; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
Wannier90 Cited in 21 Documents (2008–2023) Software Authors: Arash A. Mostofi, Jonathan R. Yates, Young-Su Lee, Ivo Souza, David Vanderbilt, Nicola Marzari Related Software: Quantum Espresso; WIEN2k; ABINIT; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX); …
COSTA Cited in 22 Documents (1992–2020) Software Authors: Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini Related Software: SPEED; AProVE; Refal; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Partial differential equations (35-XX); …
OpenAD/F Cited in 23 Documents (2007–2022) Software Authors: Utke, Jean; Naumann, Uwe; Fagan, Mike; Tallent, Nathan; Strout, Michelle Mills; Heimbach, Patrick; Hill, Chris; Wunsch, Carl Related Software: TAPENADE; ADIFOR; ADOL-C; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
HAMPI Cited in 20 Documents (2012–2023) Software Authors: Ganesh, V., Kieżun, A., Artzi, S., Guo, P.J., Hooimeijer, P., Ernst, M Related Software: Stranger; z3; Norn; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Metatool Cited in 22 Documents (2007–2019) Software Authors: von Kamp A, Schuster S Related Software: efmtool; KEGG; YANA; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
MOPS Cited in 15 Documents (2003–2019) Software Authors: Chen, H., Wagner, D. Related Software: SLAM; BLAST; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
NoMoRe Cited in 22 Documents (2001–2012) Software Authors: Anger, Christian; Konczak, Kathrin; Linke, Thomas Related Software: ASSAT; Cmodels; Smodels; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)
SLAyer Cited in 19 Documents (2012–2022) Software Authors: Josh Berdine; Byron Cook; Samin Ishtiaq Related Software: VeriFast; Smallfoot; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DEAP Cited in 20 Documents (1998–2020) Software Authors: Coelli, T Related Software: DEA; Benchmarking; sfa; … Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)