Netgen Cited in 204 Documents (1997–2023) Software Authors: J. Schöberl, J. Gerstmayr, R. Gaisbauer Related Software: NGSolve; Gmsh; TetGen; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
Proteus Cited in 109 Documents (2005–2022) Software Authors: Feng, Zhi-Gang; Michaelides, Efstathios E. Related Software: PHYSALIS; PowerFLOW; PeliGRIFF; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); …
SMS-EMOA Cited in 97 Documents (2007–2023) Software Authors: Beume, Nicola; Naujoks, Boris; Emmerich, Michael Related Software: MOEA/D; SPEA2; HypE; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-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); …
Steerable pyramid Cited in 71 Documents (1999–2022) Software Authors: E. Simoncelli Related Software: DT-CWT; SIFT; PDCO; … Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX); Numerical analysis (65-XX); …
CasADi Cited in 81 Documents (2012–2023) Software Authors: Andersson, Joel; Åkesson, Johan; Diehl, Moritz Related Software: Ipopt; SUNDIALS; ACADO; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …
SYM Cited in 74 Documents (2008–2023) Software Authors: S. Dimas; D. Tsoubelis Related Software: LIE; Mathematica; SYMMGRP; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
FIRE5 Cited in 57 Documents (2015–2023) Software Authors: Smirnov, A.V. Related Software: FIRE; LiteRed; Reduze; … Main Fields: Number theory (11-XX); Global analysis, analysis on manifolds (58-XX); Mechanics of particles and systems (70-XX); …
FronTier Cited in 54 Documents (2005–2022) Software Authors: J. Du, B. Fix, J. Glimm, X. Jia, X. Li, Y. Li, L. Wu Related Software: FIVER; Gerris; OpenFOAM; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
Wolfram Demonstrations Cited in 48 Documents (2007–2023) Software Authors: Wolfram Related Software: Mathematica; OEIS; iRRAM; … Main Fields: Combinatorics (05-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); …
psych Cited in 39 Documents (2009–2023) Software Authors: William Revelle Related Software: R; ggplot2; lavaan; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …
IF-2.0 Cited in 38 Documents (2002–2022) Software Authors: Bozga, Marius; Graf, Susanne; Mounier, Laurent Related Software: Uppaal; Kronos; SPIN; … Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); …
MOCK Cited in 35 Documents (2005–2022) Software Authors: Handl, Julia; Knowles, Joshua Related Software: UCI-ml; Silhouettes; clusfind; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Computer science (68-XX); …
Lparse Cited in 42 Documents (2001–2020) Software Authors: Tommi Syrjänen Related Software: Gringo; ASSAT; MiniSat; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
Bow Cited in 27 Documents (2001–2020) Software Authors: Andrew McCallum Related Software: UCI-ml; C4.5; LIBSVM; … Main Fields: Functional analysis (46-XX); Statistics (62-XX); Computer science (68-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); …
SG Cited in 38 Documents (2001–2022) Software Authors: Holst, M.J. Related Software: APBS; FreeFem++; CHARMM; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
STAN Cited in 37 Documents (1998–2018) Software Authors: Long, Derek; Fox, Maria Related Software: Graphplan; Walksat; CPlan; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Isabelle/jEdit Cited in 35 Documents (2011–2022) Software Authors: Wenzel, Makarius Related Software: Isabelle; Isabelle/HOL; Coq; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX); …
DLV Cited in 29 Documents (2001–2021) Software Authors: Grasso, Giovanni; Iiritano, Salvatore; Leone, Nicola; Ricca, Francesco Related Software: WASP; Gringo; Cmodels; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
LOOP Cited in 24 Documents (2001–2012) Software Authors: van den Berg, Joachim; Jacobs, Bart Related Software: JML; PVS; KRAKATOA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Q-Morph Cited in 26 Documents (1999–2021) Software Authors: Owen, S.J.; Staten, M.L.; Canann, S.A.; Saigal, S. Related Software: Triangle; H-Morph; QuadCover; … Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
PAKCS Cited in 25 Documents (1994–2020) Software Authors: M. Hanus, S. Antoy, B. Braßel, M. Engelke, K. Höppner, J. Koj, P. Niederau, R. Sadre, F. Steiner Related Software: TOY; Curry; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
GPflow Cited in 21 Documents (2017–2023) Software Authors: Matthews, Alexander G.De G.; van der Wilk, Mark; Nickson, Tom; Fujii, Keisuke; Boukouvalas, Alexis; León-Villagrá, Pablo; Ghahramani, Zoubin; Hensman, James Related Software: TensorFlow; GPy; Adam; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …
SUIF Cited in 15 Documents (1995–2011) Software Authors: Robert P. Wilson; Robert S. French; Christopher S. Wilson; Saman P. Amarasinghe; Jennifer M. Anderson; Steve W. K. Tjiang; Shih-Wei Liao; Chau-Wen Tseng; Mary W. Hall; Monica S. Lam; John L. Hennessy Related Software: CUDA; MiBench; ParaWise; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ROSETTA Cited in 20 Documents (1998–2021) Software Authors: Øhrn, Aleksander; Komorowski, Jan; Skowron, Andrzej; Synak, Piotr Related Software: UCI-ml; LERS; RSES; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
Node.js Cited in 6 Documents (2017–2022) Software Authors: Chaniotis, Ioannis K.; Kyriakou, Kyriakos-Ioannis D.; Tselikas, Nikolaos D. Related Software: JavaScript; GitHub; MySQL; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
PANG Cited in 19 Documents (2009–2022) Software Authors: Gander, Martin J.; Japhet, Caroline Related Software: FEniCS; DUNE; CutFEM; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
MOTGA Cited in 19 Documents (2007–2022) Software Authors: Alves, Maria Joao; Almeida, Marla Related Software: SPEA2; MOEA/D; OR-Library; … Main Fields: Computer science (68-XX); Quantum theory (81-XX); Operations research, mathematical programming (90-XX); …
SymDiff Cited in 18 Documents (2012–2021) Software Authors: Lahiri, S., Hawblitzel, C., Kawaguchi, M., Rebelo, H. Related Software: z3; Boogie; RVT; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX); …
ToscanaJ Cited in 17 Documents (2004–2011) Software Authors: Becker, Peter; Correia, Joachim Hereth Related Software: Galicia; ConImp; JGraph; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); …
Jakarta Cited in 17 Documents (2001–2014) Software Authors: Daniela Junho de Andrade, Simão Melo de Sousa Related Software: Coq; OCaml; LETOS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Geophysics (86-XX); …
Multivac Cited in 17 Documents (2008–2023) Software Authors: Mallet, V Related Software: FlamMap; FARSITE; WRF-SFIRE; … Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); …
PSPManalysis Cited in 18 Documents (2001–2021) Software Authors: M.A. Kirkilionis, O. Diekmann, B. Lisser, M.Nool, A.M. de Roos, B.P. Sommeijer Related Software: Matlab; MATCONT; DDE-BIFTOOL; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
Ani3D Cited in 17 Documents (2010–2022) Software Authors: K. Lipnikov, Y. Vassilevski, A. Danilov, et al Related Software: Ani2D; MUMPS; FEATFLOW; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
JAS Cited in 15 Documents (2008–2023) Software Authors: Heinz Kredel Related Software: SINGULAR; AXIOM; Plural; … Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX); …
NSPSO Cited in 15 Documents (2003–2017) Software Authors: Li, Xiaodong Related Software: SPEA2; jMetal; MOPSO; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
PROPhESY Cited in 17 Documents (2015–2022) Software Authors: Dehnert, C., Junges, S., Jansen, N., Corzilius, F., Volk, M., Bruintjes, H., Katoen, J.-P., Ábrahám, E. Related Software: PRISM; Storm; PARAM; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); …
HYTEC Cited in 16 Documents (2010–2022) Software Authors: Jan van der Lee, Laurent De Windt, Vincent Lagneau, Patrick Goblet Related Software: MoMaS; MIN3P; HYDROGEOCHEM; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
LIQUi Cited in 8 Documents (2018–2021) Software Authors: Dave Wecker, Krysta M. Svore Related Software: qHiPSTER; ProjectQ; Python; … Main Fields: Computer science (68-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX); …
Dynagraph Cited in 14 Documents (2002–2021) Software Authors: Gordon Woodhull Related Software: Graphviz; KEGG; R; … Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Statistics (62-XX); …
SatEx Cited in 11 Documents (2001–2011) Software Authors: Simon, Laurent; Chatalic, Philippe Related Software: Chaff; SATO; UnitWalk; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
BoogiePL Cited in 11 Documents (2005–2020) Software Authors: DeLine, R., Leino, K.R.M. Related Software: z3; Spec#; Boogie; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HOL-Boogie Cited in 13 Documents (2008–2015) Software Authors: Böhme, Sascha; Leino, K.Rustan M.; Wolff, Burkhart Related Software: Isabelle/HOL; Why3; Boogie; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
KinectFusion Cited in 11 Documents (2015–2022) Software Authors: Izadi, S., et al. Related Software: g2o; SIFT; Make3D; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
MARS Cited in 14 Documents (2014–2023) Software Authors: Zhang, Qinghai; Fogelson, Aaron Related Software: GePUP; PROST; Gerris; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …
MOPED Cited in 14 Documents (2003–2023) Software Authors: Costa, Mario; Minisci, Edmondo Related Software: RM-MEDA; MOEA/D; MOPSO; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Computer science (68-XX); …
PIDE Cited in 13 Documents (2012–2022) Software Authors: Wenzel, Makarius Related Software: Isabelle/jEdit; Isabelle/HOL; Sledgehammer; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
GWT Cited in 8 Documents (2009–2023) Software Authors: – Related Software: SageMath; PostgreSQL; House of Graphs; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
H-Morph Cited in 11 Documents (2000–2022) Software Authors: Owen, Steven J.; Saigal, Sunil Related Software: Q-Morph; CubeCover; LBIE; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Optics, electromagnetic theory (78-XX); …
MathLink Cited in 12 Documents (1995–2011) Software Authors: wolfram.com Related Software: Mathematica; C-XSC; ParLinSys; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …
PAINT Cited in 12 Documents (2012–2021) Software Authors: Hartikainen, Markus; Miettinen, Kaisa; Wiecek, Margaret M. Related Software: NBI; Pareto navigator; NIMBUS; … Main Fields: Operations research, mathematical programming (90-XX)
SCASY Cited in 12 Documents (2009–2020) Software Authors: Granat, Robert; Jonsson, Isak; Kågström, Bo Related Software: ScaLAPACK; Algorithm 432; LAPACK; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SMACK Cited in 9 Documents (2016–2022) Software Authors: Carter, M., He, S., Whitaker, J., Rakamarić, Z., Emmi, M. Related Software: z3; CBMC; SeaHorn; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
ADO.NET Cited in 6 Documents (2002–2012) Software Authors: Microsoft Related Software: VisualStudio.NET; ASP.NET; MySQL; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX); …
QNet Cited in 11 Documents (2008–2020) Software Authors: S.Grunewald, K.Forslund, A.Dress, V. Moulton Related Software: SplitsTree; iTOL; EMBOSS; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Statistics (62-XX); …
Halide Cited in 8 Documents (2016–2022) Software Authors: Jonathan Ragan-Kelley, Connelly Barnes, Andrew Adams, Sylvain Paris, Frédo Durand, Saman Amarasinghe Related Software: PyTorch; Caffe; TensorFlow; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX); …
MOCell Cited in 10 Documents (2009–2021) Software Authors: Nebro, Antonio J.; Durillo, Juan J.; Luna, Francisco; Dorronsoro, Bernabé; Alba, Enrique Related Software: SPEA2; jMetal; MOEA/D; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
MOIF Cited in 9 Documents (2018–2022) Software Authors: Cocchi, G.; Liuzzi, G.; Papini, A.; Sciandrone, M. Related Software: DFMO; MultiGLODS; DFO; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX); …
MultiScaleOT Cited in 9 Documents (2016–2021) Software Authors: Bernhard Schmitzer Related Software: EMD; Scikit; Cython; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
OMPL Cited in 9 Documents (2013–2023) Software Authors: Şucan, I.A., Moll, M., Kavraki, L.E. Related Software: CGAL; core 2; Glucose; … Main Fields: Convex and discrete geometry (52-XX); Manifolds and cell complexes (57-XX); Computer science (68-XX)
Prometheus Cited in 9 Documents (2008–2022) Software Authors: Barber, J.; Bose, C.; Bourlioux, A.; Braun, J.; Brunelle, E.; Garcia, T.; Hillen, T.; Ong, B. Related Software: FlamMap; FARSITE; WRF-SFIRE; … Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Statistics (62-XX); …
ALM Cited in 8 Documents (2012–2020) Software Authors: Daniela Inclezan, Michael Gelfond Related Software: PEORL; VerbNet; CCalc; … Main Fields: Computer science (68-XX)
DEMORS Cited in 4 Documents (2010–2015) Software Authors: Santana-Quintero, Luis V.; Hernández-Díaz, Alfredo G.; Molina, Julián; Coello Coello, Carlos A.; Caballero, Rafael Related Software: MOEA/D; SPEA2; WBMOAIS; … Main Fields: Operations research, mathematical programming (90-XX)
Fortran-GA Cited in 8 Documents (2003–2012) Software Authors: David L. Carroll Related Software: SNOPT; ParEGO; CEC 05; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Mechanics of particles and systems (70-XX); …
HSL_MP42 Cited in 8 Documents (2001–2021) Software Authors: Scott, J. A Related Software: HSL; SparseMatrix; METIS; … Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX); …
OpenDreamKit Cited in 8 Documents (2016–2020) Software Authors: Michael Kohlhase Related Software: SageMath; MMT; GitHub; … Main Fields: Computer science (68-XX)
Prosper Cited in 7 Documents (2007–2010) Software Authors: Levente Hunyadi Related Software: PROSPER; HOL Light; HOL; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Computer science (68-XX); …
recsy Cited in 8 Documents (2004–2022) Software Authors: Granat, Robert; Jonsson, Isak; Kågström, Bo Related Software: mctoolbox; GEMM; BLAS; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)
ALPAL Cited in 7 Documents (1991–2020) Software Authors: Cook, Grant O.jun.; Painter, Jeffrey F. Related Software: GENTRAN; PDEQSOL; CTADEL; … Main Fields: General and overarching topics; collections (00-XX); Integral equations (45-XX); Numerical analysis (65-XX); …
Gpos-mPLoc Cited in 6 Documents (2010–2019) Software Authors: Shen, H.-B.; Chou, K.-C. Related Software: Gneg-mPLoc; iLoc-Virus; Hum-mPLoc; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
ITP/OCL Cited in 5 Documents (2011–2016) Software Authors: Clavel, Manuel; Egea, Marina Related Software: Maude; MOMENT2; CafeOBJ; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Klocwork Cited in 2 Documents (2007–2021) Software Authors: Rogue Wave Software, Inc. Related Software: FindBugs; CodeSonar; STANSE; … Main Fields: Computer science (68-XX)
PIC-MCC Cited in 7 Documents (2008–2014) Software Authors: Chanrion, O.; Neubert, T. Related Software: Bolsig; KDTREE; Plasimo; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …
TinyOS Cited in 6 Documents (2008–2019) Software Authors: Dalton, Andrew R.; Wahba, Sally K.; Dandamudi, Sravanthi; Hallstrom, Jason O. Related Software: FDR3; ProB; AUTOSAR; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
ACSSCode Cited in 5 Documents (1999–2020) Software Authors: Hojin Moon; J. Jack Lee; Hongshik Ahn; Rumiana Nikolova Related Software: WebStat; LISP-STAT; Rweb; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)
EasyDyn Cited in 5 Documents (2008–2022) Software Authors: O. Verlinden,G. Kouroussis,S. Datoussaid, C. Conti Related Software: Modelica; UMAT; ABAQUS; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX)
GPareto Cited in 4 Documents (2017–2021) Software Authors: Mickaël Binois; Victor Picheny Related Software: ParEGO; EGO; MOEA/D; … Main Fields: Computer science (68-XX); Fluid mechanics (76-XX); Operations research, mathematical programming (90-XX)
HaifaSat Cited in 6 Documents (2006–2021) Software Authors: Gershman, Roman; Strichman, Ofer Related Software: BerkMin; MiniSat; Glucose; … Main Fields: Computer science (68-XX)
lentFoam Cited in 6 Documents (2015–2021) Software Authors: Tomislav Marić; Holger Marschall; Dieter Bothe Related Software: OpenFOAM; InterFOAM; Gerris; … Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)
Pinapa Cited in 4 Documents (2008–2011) Software Authors: Moy, M., Maraninchi, F., Maillet-Contoz, L. Related Software: SystemC; veriSoft; Esterel; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Systems theory; control (93-XX); …
PIPE2 Cited in 5 Documents (2013–2022) Software Authors: Nicholas J. Dingle , William J. Knottenbelt , Tamas Suto Related Software: MARCA; HyperStar; Jphase; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Robotica Cited in 5 Documents (2001–2020) Software Authors: Nethery, J.F.; Spong, M.W. Related Software: Matlab; Robotics; Mathematica; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …
rpvm Cited in 4 Documents (2007–2013) Software Authors: Li, N., Rossini, A.J. Related Software: R; Rmpi; iplots; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …
DELAUNDO Cited in 4 Documents (1993–2010) Software Authors: J.-D. Müller Related Software: ANGENER; GRUMMP; DYNA3D; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)
GFortran Cited in 4 Documents (2011–2023) Software Authors: – Related Software: DDCalc; dmscatter; Python; … Main Fields: Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); Quantum theory (81-XX); …
HQP Cited in 5 Documents (2001–2014) Software Authors: R. Franke; B. Weidmann; L. Vogelbacher; H. Linke, E. Arnold Related Software: HQP/OMUSES; Ipopt; SNOPT; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
ITS-Tools Cited in 5 Documents (2019–2022) Software Authors: Yann Thierry-Mieg Related Software: TINA; LoLA; LTSmin; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
JWL++ Cited in 5 Documents (2016–2020) Software Authors: P. C. Souers, S. Anderson, J. Mercer, E. McGuire, P. Vitello Related Software: HE-E1GODF; TREESPH; LS-DYNA; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); …
lpeq Cited in 5 Documents (2002–2011) Software Authors: Tomi Janhunen Related Software: DLPEQ; GNT; GOLEM; … Main Fields: Computer science (68-XX)
LusSy Cited in 3 Documents (2007–2013) Software Authors: Moy, M., Maraninchi, F., Maillet-Contoz, L. Related Software: SystemC; KRATOS; veriSoft; … Main Fields: Computer science (68-XX)
TBTK Cited in 3 Documents (2020–2023) Software Authors: Kristofer Björnson Related Software: Kwant; pybinding; Python; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …
Template-Coq Cited in 5 Documents (2018–2022) Software Authors: Anand, Abhishek; Boulier, Simon; Cohen, Cyril; Sozeau, Matthieu; Tabareau, Nicolas Related Software: Coq; MetaCoq; CertiCoq; … Main Fields: Computer science (68-XX)
ARMor Cited in 4 Documents (2013–2020) Software Authors: Zhao, L., Li, G., Sutter, B.D., Regehr, J. Related Software: seL4; HOL; TrABin; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
BVD Cited in 3 Documents (2015–2022) Software Authors: Le Goues, Claire; Leino, K.Rustan M.; Moskal, Michał Related Software: z3; VCC; Boogie; … Main Fields: Computer science (68-XX)
CRSX Cited in 3 Documents (2009–2011) Software Authors: Rose, K.H.; IBM Related Software: Automath; Nominal Isabelle; PoplMark; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
D2MOPSO Cited in 4 Documents (2012–2015) Software Authors: Noura Al Moubayed; Andrei Petrovski; John McCall Related Software: MOEA/D; jMetal; SPEA2; … Main Fields: Operations research, mathematical programming (90-XX)
DLPEQ Cited in 4 Documents (2004–2011) Software Authors: Janhunen, Tomi; Oikarinen, Emilia Related Software: lpeq; GNT; GOLEM; … Main Fields: Computer science (68-XX)
EMOPSO Cited in 2 Documents (2010–2016) Software Authors: Toscano-Pulido, G., Coello Coello, C.A., Santana-Quintero, L.V. Related Software: SMPSO; SPEA2; NSPSO; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
FEMOEA Cited in 4 Documents (2015–2020) Software Authors: Redondo, J.L.; Fernández, J.; Ortigosa, P.M. Related Software: MOEA/D; AbYSS; SPEA2; … Main Fields: Operations research, mathematical programming (90-XX)