Python Software Authors: Guido van Rossum Cited in: 1,185 Publications (1991–2023) Related Software: SciPy; NumPy; Matplotlib; Scikit; Matlab; R; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
FEniCS Software Authors: Simula Research Laboratory, University of Cambridge, University of Chicago, Texas Tech University and KTH Royal Institute of Technology Cited in: 860 Publications (2007–2023) Related Software: SyFi; PETSc; DOLFIN; Gmsh; Python; deal.ii; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
ImageNet Software Authors: J. Deng, W. Dong, R. Socher, L.-J. Li, K. Li, L. Fei-Fei Cited in: 724 Publications (2010–2023) Related Software: AlexNet; Adam; TensorFlow; PyTorch; CIFAR; GitHub; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
QRM Software Authors: Bernhard Pfaff; Marius Hofert; Alexander McNeil; Scott Ulmann Cited in: 787 Publications (2005–2022) Related Software: R; CopulaModel; copula; copula; ismev; CAViaR; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
KELLEY Software Authors: Kelley, C.T. Cited in: 649 Publications (1995–2022) Related Software: minpack; Matlab; L-BFGS; IMFIL; NITSOL; DFO; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
AMPL Software Authors: Fourer, R., Gay, D.M., Kernighan, B.W. Cited in: 610 Publications (1989–2023) Related Software: CPLEX; Ipopt; GAMS; SNOPT; MINOS; Matlab; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
WordNet Software Authors: Princeton University; George A. Miller; Christiane Fellbaum Cited in: 217 Publications (1996–2022) Related Software: word2vec; ConceptNet; YAGO; LIBSVM; BabelNet; Freebase; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Statistics (62-XX)
BARON Software Authors: Sahinidis, Nikolaos V. Cited in: 380 Publications (1996–2023) Related Software: GAMS; CPLEX; SCIP; ANTIGONE; LINDO; Ipopt; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
Eiffel Software Authors: Bertrand Meyer Cited in: 227 Publications (1989–2022) Related Software: JML; Smalltalk; Spec#; ESC/Java; Z; Simula 67; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
CRONE Software Authors: Michel Alexeline, Rachid Malti, Patrick Lanusse, Pierre Melchior, Alain Oustaloup Cited in: 187 Publications (1995–2022) Related Software: Ninteger; DFOC; Matlab; sysdfod; Fractional Order Chaotic Systems; Robotics; … Main Fields: Real functions (26-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX)
LiE Software Authors: A.M. Cohen, B. Lisser, M.A.A. van Leeuwen Cited in: 165 Publications (1993–2023) Related Software: Magma; Mathematica; Macaulay2; GAP; Maple; SageMath; … Main Fields: Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); Group theory and generalizations (20-XX)
p4est Software Authors: Carsten Burstedde; Lucas C. Wilcox; Omar Ghattas Cited in: 145 Publications (2010–2023) Related Software: deal.ii; PETSc; Trilinos; Gerris; GitHub; Chombo; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
MADM Software Authors: Rao, R. Venkata Cited in: 129 Publications (1998–2023) Related Software: ELECTRE; VIKOR; NBI; FLINTSTONES; SimLean; Mathematica; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
ADINA Software Authors: ADINA R & D, Inc; K. J. Bathe Cited in: 132 Publications (1976–2021) Related Software: ANSYS; ABAQUS; FEAP; Matlab; COMSOL; Mimics; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
ABACUS Software Authors: Elf, Matthias; Gutwenger, Carsten; Jünger, Michael; Rinaldi, Giovanni Cited in: 117 Publications (1996–2022) Related Software: CPLEX; MINTO; SYMPHONY; TSPLIB; PORTA; MIPLIB; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
Cosy Software Authors: K Makino, M Berz Cited in: 96 Publications (1995–2022) Related Software: FADBAD++; ADOL-C; ValEncIA-IVP; INTOPT_90; INTLAB; ATOMFT; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)
NFFT Software Authors: Jens Keiner, Stefan Kunis, Daniel Potts Cited in: 83 Publications (2003–2022) Related Software: NFFT3; FFTW; Matlab; FINUFFT; DLMF; NUFFT; … Main Fields: Approximations and expansions (41-XX); Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX)
MooNMD Software Authors: John, Volker; Matthies, Gunnar Cited in: 77 Publications (2004–2022) Related Software: UMFPACK; FEATFLOW; RODAS; OpenFOAM; ROS3P; Anderson; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
MPDATA Software Authors: Smolarkiewicz, Piotr K.; Margolin, Len G. Cited in: 78 Publications (1998–2022) Related Software: EULAG; NICAM; libmpdata++; HE-E1GODF; chammp; CASTRO; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
CEC 13 Software Authors: J. Liang, B. Qu, P. Suganthan, A.G. Hernández-Diaz Cited in: 73 Publications (2014–2023) Related Software: JADE; CEC 05; ABC; WOA; GSA; GWO; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
NFFT3 Software Authors: J. Keiner, S. Kunis, D. Potts Cited in: 72 Publications (2009–2022) Related Software: NFFT; FFTW; FINUFFT; DLMF; Matlab; PNFFT; … Main Fields: Approximations and expansions (41-XX); Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX)
OrthogonalPolynomials Software Authors: Cvetković, Aleksandar S.; Milovanović, Gradimir V. Cited in: 67 Publications (1997–2022) Related Software: OPQ; Mathematica; Matlab; ORTHPOL; HPGT; GQLOG; … Main Fields: Special functions (33-XX); Approximations and expansions (41-XX); Harmonic analysis on Euclidean spaces (42-XX)
LOCBIF Software Authors: Khibnik, Alexander I.; Kuznetsov, Yuri A.; Levitin, Victor V.; Nikolaev, Eugene V. Cited in: 65 Publications (1992–2019) Related Software: AUTO; DSTool; AUTO-86; HomCont; PITCON; MATCONT; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
DuMuX Software Authors: Flemisch, B., Darcis, M., Erbertseder, K., Faigle, B., Lauser, A., Mosthaf, K., Müthing, S., Nuske, P., Tatomir, A., Wolff, M., R. Helmig Cited in: 53 Publications (2009–2023) Related Software: DUNE; UMFPACK; Gmsh; MRST; ISTL; DUNE-ALUGrid; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
CPAchecker Software Authors: Dirk Beyer, Stefan Löwe, Philipp Wendler Cited in: 39 Publications (2011–2022) Related Software: BLAST; SLAM; CBMC; z3; UFO; SatAbs; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
VBA Software Authors: Microsoft Cited in: 27 Publications (1997–2021) Related Software: Visual Basic; Excel; Matlab; Access; Stata; JavaScript; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)
FUN3D Software Authors: Biedron, R.T.; Carlson, J.-R.; Derlaga, J.M.; Gnoffo, P.A.; Hammond, D.P.; Jones, W.T.; Kleb, B.; Lee-Rausch, E.M.; Nielsen, E.J.; Park, M.A.; Rumsey, C.L.; Thomas, J.L.; Wood, W.A. Cited in: 54 Publications (2009–2022) Related Software: Spalart-Allmaras; USM3D; NSU3D; EDGE; OpenFOAM; TAU; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
LEMON Software Authors: Balázs Dezsőa; Alpár Jüttner; Péter Kovács Cited in: 53 Publications (2013–2023) Related Software: CPLEX; TSPLIB; VRP; SCIP; XPRESS; Boost C++ Libraries; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
PcGive Software Authors: Doornik JA, Hendry DF Cited in: 50 Publications (1998–2020) Related Software: Ox; PcGets; Stata; R; EViews; SHAZAM; … Main Fields: Difference and functional equations (39-XX); Statistics (62-XX); Numerical analysis (65-XX)
CONLIN Software Authors: C. Fleury Cited in: 50 Publications (1988–2020) Related Software: top.m; SCPIP; Matlab; SNOPT; top88.m; PENNON; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
ACRITH-XSC Software Authors: Walter, Wolfgang V. Cited in: 48 Publications (1985–2019) Related Software: C-XSC; C-XSC 2.0; PASCAL-XSC; INTLIB; INTLAB; FORTRAN-SC; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
Wolfram Demonstrations Software Authors: Wolfram Cited in: 43 Publications (2007–2022) Related Software: Mathematica; OEIS; iRRAM; GeoGebra; astsa; WoLFram; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Dynamical systems and ergodic theory (37-XX)
iRRAM Software Authors: Norbert Th. Müller Cited in: 43 Publications (2001–2022) Related Software: RealLib; MPFR; Haskell; MPFI; gmp; RZ; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Dynamical systems and ergodic theory (37-XX)
CoFI Software Authors: Mosses, Peter D. Cited in: 39 Publications (1997–2017) Related Software: CASL; ATERM; Maude; OBJ3; MAYA; OMDoc; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); General algebraic systems (08-XX)
Pseudo Hoops Software Authors: George Georgescu, Laurentiu Leustean, Viorel Preoteasa Cited in: 43 Publications (2005–2022) Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)
DUNE-FEM Software Authors: Dedner, Andreas; Klöfkorn, Robert; Nolte, Martin; Ohlberger, Mario Cited in: 39 Publications (2010–2022) Related Software: DUNE; deal.ii; PETSc; FEniCS; Feel++; UFL; … Main Fields: Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX)
Lucid Software Authors: Wadge, William W.; Ashcroft, Edward A. Cited in: 34 Publications (1978–2015) Related Software: Haskell; Esterel; LUSTRE; SIGNAL; TransLucid; Sisal; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); General topology (54-XX)
pARMS Software Authors: Saad, Y.; Sosonkina, M. Cited in: 39 Publications (2002–2020) Related Software: ARMS; ILUM; ILUT; PETSc; BILUTM; SparseMatrix; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
TinkerPlots Software Authors: Key Curriculum Press Cited in: 0 Publications Related Software: Fathom; R; NetLogo; bootstrap; WINSTEPS; ElemStatLearn; … Main Fields: –
Ginsim Software Authors: Gonzales, A. G.; Naldi, A.; Sanchez, L.; Thieffry, D.; Chaouiya, C Cited in: 35 Publications (2008–2022) Related Software: BoolNet; GitHub; Macaulay2; ADAM; CoLoMoTo; z3; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
MoDeST Software Authors: D'Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric Cited in: 32 Publications (2001–2022) Related Software: PRISM; Uppaal; HyTech; IF-2.0; MOTOR; Jani; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
OGDF Software Authors: Markus Chimani; Carsten Gutwenger; Michael Jünger; Karsten Klein; Petra Mutzel; Michael Schulz Cited in: 36 Publications (2008–2021) Related Software: SteinLib; SCIP; Graphviz; CPLEX; DIMACS; CGAL; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Numerical analysis (65-XX)
GEX Software Authors: Gao, X.-S., et al. Cited in: 30 Publications (1996–2020) Related Software: GeoGebra; JGEX; GeoProof; GEOTHER 1.1; GeoThms; GCLC; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Numerical analysis (65-XX)
BEASY Software Authors: Danson, D.J.; Brebbia, C.A. Cited in: 34 Publications (1982–2019) Related Software: NASGRO; Netgen; ABAQUS; ANSYS; Mathematica Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)
InfoGAN Software Authors: Xi Chen, Yan Duan, Rein Houthooft, John Schulman, Ilya Sutskever, Pieter Abbeel Cited in: 29 Publications (2017–2022) Related Software: Wasserstein GAN; Adam; ImageNet; CIFAR; StyleGAN; MNIST; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
OpenLB Software Authors: Jonas Latt; Mathias J. Krause Cited in: 29 Publications (2007–2022) Related Software: Palabos; waLBerla; LB3D; Hemelb; p4est; Hemocell; … Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)
HR Software Authors: Colton, Simon Cited in: 27 Publications (2002–2022) Related Software: Mace4; OTTER; GRAFFITI; TPTP; AutoGraphiX; GAP; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
Cayenne Software Authors: Augustsson, L. Cited in: 29 Publications (1997–2017) Related Software: Coq; Agda; LEGO; Twelf; Nuprl; Automath; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX)
HOLyHammer Software Authors: Kaliszyk, Cezary; Urban, Josef Cited in: 29 Publications (2014–2022) Related Software: HOL Light; Mizar; Flyspeck; E Theorem Prover; Sledgehammer; TPTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)
Hypertool Software Authors: Wu M.Y., Gajski D.D. Cited in: 17 Publications (2007–2019) Related Software: Condor-G; STG; Noodle; Pegasus; DRSCRO; OpenNebula; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
DiaGen Software Authors: Minas, Mark; Viehstaedt, G. Cited in: 24 Publications (1997–2015) Related Software: GenGED; AToM3; PROGRES; AGG; GrGen; VIATRA2; … Main Fields: Combinatorics (05-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Gaalop Software Authors: Hildenbrand, Dietmar; Pitt, Joachim; Koch, Andreas Cited in: 27 Publications (2010–2022) Related Software: Gaigen; CLUCalc; GMac; CLIFFORD; GABLE; CLU; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Geometry (51-XX); Numerical analysis (65-XX)
NUS-WIDE Software Authors: T.-S. Chua, J. Tang, R. Hong, H. Li, Z. Luo, Y. Zheng Cited in: 21 Publications (2011–2021) Related Software: CIFAR; SIFT; ImageNet; TagProp; WSABIE; LIBSVM; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Computer science (68-XX)
AARON Software Authors: Aaron Robertson, Dan Saracino, Doron Zeilberger Cited in: 27 Publications (2002–2021) Related Software: OEIS; FindStat Main Fields: Combinatorics (05-XX); Number theory (11-XX); Functions of a complex variable (30-XX)
Fuzzydl Software Authors: Bobillo, F.; Straccia, U. Cited in: 21 Publications (2009–2019) Related Software: DeLorean; FaCT++; Pellet; Fril++; Linda; TuCSoN; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
CoCasl Software Authors: Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz Cited in: 26 Publications (2003–2014) Related Software: CASL; Maude; Hets; CCSL; CafeOBJ; CIRC; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
DEDiscover Software Authors: University of Rochester’s Center for Biodefense Immune Modeling (CBIM) Cited in: 25 Publications (2011–2022) Related Software: SemiPar; R; fda (R); smfsb; deSolve; System Identification Toolbox; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Statistics (62-XX)
MOLGEN Software Authors: Grund, R.; Kerber, A.; Laue, R. Cited in: 26 Publications (1992–2019) Related Software: nauty; GAP; AutoGraphiX; GRAFFITI; GRAPE; daVinci; … Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Convex and discrete geometry (52-XX)
SIMGRID Software Authors: H. Casanova Cited in: 18 Publications (2002–2020) Related Software: GridSim; OptorSim; MicroGrid; ISP; MPI; CPU Benchmarks; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
cheney-kincaid Software Authors: Cheney, Ward; Kincaid, David Cited in: 23 Publications (1985–2012) Related Software: MACSYMA; Matlab; Mathematica; Maple; SimGen; PLTMG; … Main Fields: Approximations and expansions (41-XX); Statistics (62-XX); Numerical analysis (65-XX)
QUESO Software Authors: Ernesto Prudencio; Karl W. Schulz Cited in: 21 Publications (2011–2022) Related Software: libMesh; DAKOTA; PETSc; deal.ii; DDDAS; GRINS; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
Visual MISER Software Authors: Yang, Feng; Teo, Kok Lay; Loxton, Ryan; Rehbock, Volker; Li, Bin; Yu, Changjun; Jennings, Leslie Cited in: 25 Publications (2016–2022) Related Software: MISER3; NLPQLP; ACADO; Ipopt; Theta*; SOCS; … Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Operations research, mathematical programming (90-XX)
eSkel Software Authors: A. Benoit, M. Cole, J. Hillston, S. Gilmore Cited in: 18 Publications (2002–2016) Related Software: Haskell; DataCutter; Eden; PEPA; Ninf-G/MPI; NetSolve; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Geophysics (86-XX)
Rabbit Software Authors: Beyer, Dirk; Lewerentz, Claus; Noack, Andreas Cited in: 22 Publications (2001–2018) Related Software: Uppaal; Kronos; PRISM; Uppaal2k; UPPAAL TIGA; HyTech; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)
Concepts Software Authors: Frauenfelder, Philipp; Lage, Christian Cited in: 23 Publications (2002–2022) Related Software: Gmsh; deal.ii; HP90; NewtonLib; AAA; RODAS; … Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)
AbYSS Software Authors: Nebro, A.J., Luna, F., Alba, E., Dorronsoro, B., Durillo, J.J., Beham, A. Cited in: 19 Publications (2008–2021) Related Software: SPEA2; jMetal; MOEA/D; Scatter Search; SMPSO; PAES; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)
alphahull Software Authors: Beatriz Pateiro-Lopez, Alberto Rodriguez-Casal Cited in: 20 Publications (2012–2022) Related Software: R; geometry; alphashape3d; spatstat; tripack; deldir; … Main Fields: Measure and integration (28-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
EDA Software Authors: Martinez, Wendy L.; Martinez, Angel R.; Solka, Jeffrey L. Cited in: 20 Publications (2005–2021) Related Software: Matlab; smacof; k-means++; PRMLT; SVM; SHOGUN; … Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Statistics (62-XX)
FlowLab Software Authors: LaRoche, R.D.; Hutchings, B.J.; Muralikrishnan, R. Cited in: 22 Publications (2008–2021) Related Software: OpenFOAM; ParaView; GIMP; Gmsh; FLUENT; AVL; … Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
Chapel Software Authors: Brad Chamberlain Cited in: 13 Publications (2009–2021) Related Software: CUDA; CoArray; MapReduce; Cilk; CHARM++; OpenCL; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)
GPSS World Software Authors: minutemansoftware Cited in: 20 Publications (2005–2021) Related Software: Globus Toolkit; JADE Main Fields: Integral transforms, operational calculus (44-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
Henshin Software Authors: Thorsten Arendt; Enrico Biermann; Stefan Jurack; Christian Krause; Gabriele Taentzer Cited in: 19 Publications (2012–2021) Related Software: AGG; GROOVE; PRISM; RuleMerger; Verigraph; OCL2AC; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
HUGIN Software Authors: Hugin Expert A/S Cited in: 14 Publications (2002–2018) Related Software: RHugin; R; bnlearn; deal; Elvira; Netica; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
MARTE Software Authors: Object Management Group, Inc. Cited in: 10 Publications (2009–2017) Related Software: SysML; Uppaal; SPIN; Matlab; TINA; Simulink; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)
UG4 Software Authors: Vogel, A., Reiter, S., Rupp, M., Nägel, A., Wittum, G. Cited in: 20 Publications (2012–2021) Related Software: pcl; libDiscretization; libAlgebra; libGrid; UG; Exa-Dune; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
FOMCON Software Authors: A. Tepljakov, E. Petlenkov, J. Belikov Cited in: 19 Publications (2013–2021) Related Software: Ninteger; CRONE; Matlab; FOPID; DFOC; FIT; … Main Fields: Real functions (26-XX); Ordinary differential equations (34-XX); Statistics (62-XX)
GAZEBO Software Authors: Koenig, N.; Howard, H. Cited in: 16 Publications (2006–2022) Related Software: ROS; MuJoCo; Adam; GitHub; OpenAI Gym; PyTorch; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Biology and other natural sciences (92-XX)
IPSEN Software Authors: Schürr, Andy Cited in: 20 Publications (1991–2010) Related Software: mctoolbox; LAPACK; GRAS; DRAGOS; PostgreSQL; Fujaba; … Main Fields: History and biography (01-XX); Linear and multilinear algebra; matrix theory (15-XX); Operator theory (47-XX)
ISETL Software Authors: Dubinsky, Ed Cited in: 9 Publications (1989–2002) Related Software: Mathematica; Maple; GAP Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX)
MEXX Software Authors: Christian Lubich; Ulrich Nowak; Uwe Pöhle; Christian Engstler Cited in: 19 Publications (1995–2019) Related Software: RODAS; DASSL; MBSPACK; ODEPACK; SUNDIALS; veDYNA; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
FULPAL Software Authors: H. Rommelfanger Cited in: 19 Publications (1990–2017) Related Software: PSPLIB; Genocop; RanGen; INFORM Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Operations research, mathematical programming (90-XX)
Igatools Software Authors: Pauletti, M.Sebastian; Martinelli, Massimiliano; Cavallini, Nicola; Antolin, Pablo Cited in: 19 Publications (2015–2021) Related Software: PetIGA; GeoPDEs; IETI; ISOGAT; G+Smo; PetIGA-MF; … Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)
slimgb Software Authors: Michael Brickenstein Cited in: 19 Publications (2006–2018) Related Software: SINGULAR; FGb; Macaulay2; Magma; PolyBoRi; SageMath; … Main Fields: Commutative algebra (13-XX); Nonassociative rings and algebras (17-XX); Computer science (68-XX)
Sundance Software Authors: Long, Kevin R. Cited in: 18 Publications (2003–2021) Related Software: FEniCS; PETSc; deal.ii; Trilinos; FreeFem++; DOLFIN; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
TXL Software Authors: Cordy, James R. Cited in: 13 Publications (2005–2022) Related Software: Stratego; ASF+SDF; JastAdd; ANTLR; Haskell; Tom; … Main Fields: Computer science (68-XX)
LeZi-update Software Authors: Bhattacharya, Amiya; Das, Sajal K. Cited in: 13 Publications (2000–2010) Related Software: SHARPE Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ADER-DG Software Authors: Rannabauer, Leonhard; Dumbser, Michael; Bader, Michael Cited in: 17 Publications (2014–2022) Related Software: HE-E1GODF; MOOD; ECHO; GEOCLAW; Peano; ReALE; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
BCI2000 Software Authors: Schalk G, McFarland D J, Hinterberger T, Birbaumer N, Wolpaw J R Cited in: 10 Publications (2016–2021) Related Software: PhysioToolkit; EEGLAB; OpenViBE; Brainstorm; BCILAB; rtMEG; … Main Fields: Ordinary differential equations (34-XX); Statistics (62-XX); Computer science (68-XX)
MBase Software Authors: Franke, Andreas; Kohlhase, Michael Cited in: 17 Publications (1999–2006) Related Software: TPS; OMEGA; Nuprl; Coq; OMDoc; TRAMP; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)
Ariadne Software Authors: Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano Cited in: 15 Publications (2008–2023) Related Software: HyTech; PHAVer; SpaceEx; HSolver; RSOLVER; KeYmaera; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
FEAST Software Authors: Ch. Becker, S. Kilian, S. Turek, F. E. A. S. T. Group Cited in: 14 Publications (1999–2015) Related Software: FEATFLOW; OpenCL; Trilinos; PETSc; DUNE; SOFA; … Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)
FLICA-OVAP Software Authors: – Cited in: 16 Publications (2011–2022) Related Software: AUSM; HLLE; HE-E1GODF; CATHARE; L2Roe; AUSMPW+; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
Rseslib Software Authors: A. Wojna; R. Latkowski Cited in: 12 Publications (2001–2021) Related Software: RSES; LERS; UCI-ml; ROSETTA; RIONA; rapidminer; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Autoref Software Authors: Lammich, Peter Cited in: 15 Publications (2013–2022) Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; Transfer; Lifting; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
BabelNet Software Authors: R. Navigli, S.P. Ponzetto Cited in: 12 Publications (2012–2022) Related Software: WordNet; YAGO; word2vec; DBpedia; ConceptNet; Nasari; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SenticNet Software Authors: Cambria E., Speer R., Havasi C., Hussain A. Cited in: 5 Publications (2017–2022) Related Software: SentiWordNet; ConceptNet; WordNet; Clockwork RNN; NUS-WIDE; word2vec; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)
Temporal_Eigenvector_Centrality Software Authors: Taylor, Dane; Myers, Sean A.; Clauset, Aaron; Porter, Mason A.; Mucha, Peter J. Cited in: 12 Publications (2016–2022) Related Software: GenLouvain; RolX; Mathematics Genealogy Project; Python; mftoolbox; SNAP; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Statistical mechanics, structure of matter (82-XX)
CometBoards Software Authors: Gendy, A.S.; Patnaik, S.N.; Hopkins, D.A.; Berke, L. Cited in: 14 Publications (1996–2018) Related Software: e04ucf; nag; NAG; CONLIN; NLPQL; MHOST; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
pyOpt Software Authors: Perez, Ruben E.; Jansen, Peter W.; Martins, Joaquim R.R.A. Cited in: 12 Publications (2012–2021) Related Software: SNOPT; Python; DAKOTA; DFVLR-SQP; SciPy; OpenMDAO; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
rCOS Software Authors: Liu, Zhiming; Morisset, Charles; Stolz, Volker Cited in: 12 Publications (2007–2016) Related Software: Z; SPIN; Circus; UNITY; ESC/Java; ArchJava; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)