Matlab Software Authors: MathWorks Inc Cited in: 13,208 Publications (1982–2024) Related Software: Simulink; Maple; LMI toolbox; MATLAB ODE suite; ode23; ode45; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
Uppaal Software Authors: Uppsala University, Sweden; Aalborg University in Denmark Cited in: 541 Publications (1990–2022) Related Software: Kronos; HyTech; SPIN; PRISM; IF-2.0; NuSMV; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
UMDES Software Authors: Christos G. Cassandras; Stéphane Lafortune Cited in: 401 Publications (1996–2022) Related Software: Supremica; libFAUDES; SPIN; GLPK; TCT; Matlab; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MPT Software Authors: M. Kvasnica; P. Grieder; M. Baoti; ETH Zürich; Borrelli, Francesco Cited in: 234 Publications (2004–2022) Related Software: YALMIP; CPLEX; Matlab; Hybrid Toolbox; Gurobi; fast_mpc; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
PLTMG Software Authors: Randolph E. Bank; University of California Cited in: 214 Publications (1990–2023) Related Software: UG; deal.ii; PETSc; Kaskade7; Matlab; ALBERTA; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
Scilab Software Authors: Scilab Enterprises; Ricardo Fabbri Cited in: 169 Publications (1999–2022) Related Software: Matlab; Octave; R; Mathematica; Maple; Scicos; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Neural Network Toolbox Software Authors: Demuth, H.B.,Beale, M., Hagan, M.T. Cited in: 131 Publications (1995–2021) Related Software: Matlab; UCI-ml; Optimization Toolbox; C4.5; Wavelet Toolbox; Fuzzy Logic Toolbox; … Main Fields: Statistics (62-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
Esterel Software Authors: Gérard Berry Cited in: 135 Publications (1985–2023) Related Software: SIGNAL; LUSTRE; Uppaal; ULM; Simulink; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
Robust Control Toolbox Software Authors: MathWorks; Balas G, Chiang R, Packard A, Safonov M Cited in: 153 Publications (1989–2022) Related Software: Matlab; Control System Toolbox; Mu Analysis and Synthesis Toolbox; LMI toolbox; YALMIP; Optimization Toolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
Control System Toolbox Software Authors: The MathWorks, Inc; Grace, A.; Laub, A. J.; Little, J. N.; Thompson, C. M. Cited in: 150 Publications (1995–2022) Related Software: Matlab; LMI toolbox; Robust Control Toolbox; YALMIP; SeDuMi; Optimization Toolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX)
Modelica Software Authors: Yebra, L.J.; Berenguel, M.; Dormido, S.; Zarza, E. Cited in: 116 Publications (2000–2022) Related Software: Dymola; Matlab; OpenModelica; Simulink; JModelica; RODAS; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
Mu Analysis and Synthesis Toolbox Software Authors: MathWorks; Gary J. Balas, John C. Doyle, Keith Glover, Andy Packard, Roy Smith Cited in: 109 Publications (1993–2021) Related Software: Robust Control Toolbox; LMI toolbox; Matlab; Control System Toolbox; Skew; Optimization Toolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Mechanics of deformable solids (74-XX)
QDES Software Authors: Boyd, Stephen P.; Barratt, Craig H. Cited in: 106 Publications (1991–2022) Related Software: LMI toolbox; SeDuMi; Matlab; YALMIP; Robust Control Toolbox; Optimization Toolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
ELAN Software Authors: Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek Cited in: 105 Publications (1996–2020) Related Software: Maude; CafeOBJ; OBJ3; Stratego; Haskell; ATERM; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
GPOPS Software Authors: Rao AV, Benson DA, Huntington GT, Francolin C, Darby CL, Patterson MA Cited in: 92 Publications (2010–2023) Related Software: Matlab; SOCS; SNOPT; Ipopt; OTIS; ACADO; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
SLICOT Software Authors: Benner, Peter; Mehrmann, Volker; Sima, Vasile; Van Huffel, Sabine; Varga, Andras Cited in: 85 Publications (1999–2022) Related Software: LAPACK; Matlab; mctoolbox; ScaLAPACK; ARPACK; BLAS; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)
PostgreSQL Software Authors: – Cited in: 54 Publications (2000–2023) Related Software: Oracle; MySQL; MS SQL Server; Python; DB2; R; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
GAToolBox Software Authors: C. Houck, J. Joines, M. Kay, A. Chipperfield, P. Flemming, H. Pohlheim, C. Fonseca Cited in: 68 Publications (1999–2021) Related Software: Matlab; Genocop; Genetic Algorithm and Direct Search Toolbox; XFOIL; EGO; DFO; … Main Fields: Statistics (62-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
RICPAC Software Authors: W. F. Arnold; Alan J. Laub Cited in: 67 Publications (1987–2023) Related Software: Algorithm 432; Matlab; LYAPACK; mctoolbox; LAPACK; MESS; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX)
LYAPACK Software Authors: Thilo Penzl Cited in: 67 Publications (1998–2022) Related Software: Algorithm 432; Matlab; benchmodred; SparseMatrix; SLICOT; mctoolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
SDPLIB Software Authors: Brian Borchers Cited in: 66 Publications (1999–2022) Related Software: SDPT3; SeDuMi; CSDP; SDPA; SDPLR; PENNON; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
HIFOO Software Authors: D. Arzelier, G. Deaconu, S. Gumussoy, D. Henrion, M. Millstone, M.L. Overton Cited in: 64 Publications (2007–2023) Related Software: COMPleib; SeDuMi; PENBMI; YALMIP; GradSamp; Matlab; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
YAWL Software Authors: van der Aalst, Wil M.P. Cited in: 26 Publications (2004–2021) Related Software: Woflan; Taverna; WSAT; PNML; Oracle; BPEL2PN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
LabVIEW Software Authors: National Instruments Corporation Cited in: 52 Publications (1999–2021) Related Software: Matlab; Simulink; Modelica; PhysioToolkit; ADOL-C; CasADi; … Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
Adams Software Authors: MSC Software Cited in: 52 Publications (2005–2022) Related Software: Matlab; ANSYS; NASTRAN; SIMPACK; ABAQUS; Meschach; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)
Bocop Software Authors: Bonnans, F.J., Martinon, P., Grélard, V. Cited in: 51 Publications (2013–2022) Related Software: Ipopt; SOCS; minpack; HamPath; GloptiPoly; GitHub; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)
pde2path Software Authors: H. Uecker, D. Wetzel, J. Rademacher Cited in: 51 Publications (2014–2022) Related Software: AUTO; Matlab; MATCONT; AUTO-07P; COCO; HomCont; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
KeYmaera Software Authors: Platzer, André; Quesel, Jan-David Cited in: 48 Publications (2008–2022) Related Software: SpaceEx; HyTech; KeYmaera X; PHAVer; Isabelle/HOL; Flow*; … Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX)
K Prover Software Authors: Roşu, Grigore et.al Cited in: 46 Publications (2007–2022) Related Software: Maude; K tool; z3; MMT; JavaFAN; K-Java; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
EXPFIT4 Software Authors: L.Gr. Ixaru, H. De Meyer, G. Vanden Berghe, M. Van Daele Cited in: 46 Publications (1997–2022) Related Software: LaTeX; Maple; NEW9p; numerov; formConv; SLCPM12; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
FRIL Software Authors: Baldwin, J. F.; Martin, T. P.; Pilsworth, B. W. Cited in: 37 Publications (1987–2020) Related Software: Likelog; FPROLOG; XPath; XQuery; Ciao; Rfuzzy; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)
Uppaal2k Software Authors: Kim G. Larsen, Wang Yi, Paul Pettersson, Alexandre David, Brian Nielsen, Arne Skou, John Håkansson, Jacob Illum Rasmussen, Pavel Krcál, Ulrik Larsen, Marius Mikucionis, Leonid Mokrushin Cited in: 38 Publications (2000–2017) Related Software: Uppaal; Kronos; HyTech; PRISM; SPIN; Rabbit; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
OreModules Software Authors: Chyzak, Frédéric; Quadrat, Alban; Robertz, Daniel Cited in: 42 Publications (2004–2020) Related Software: SINGULAR; Plural; OreMorphisms; Janet; homalg; Maple; … Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Numerical analysis (65-XX)
TrueTime Software Authors: Anton Cervin, Dan Henriksson, Bo Lincoln, Johan Eker, Karl-Erik Årzén Cited in: 39 Publications (2005–2021) Related Software: Matlab; Simulink; Torsche; Uppaal; SeDuMi; AQuoSA; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
CAPTAIN Software Authors: Peter Young Cited in: 38 Publications (2006–2022) Related Software: CONTSID; Matlab; System Identification Toolbox; STAMP; Forecast; forecast; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)
HYSDEL Software Authors: Fabio Danilo Torrisi, Alberto Bemporad, Gioele Bertini, Peter Hertach, Dominic Jost, Domenico Mignone Cited in: 40 Publications (2003–2022) Related Software: Hybrid Toolbox; CPLEX; HyTech; MPT; Chaff; cdd; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
SMRSOFT Software Authors: Chesi, G. Cited in: 38 Publications (2011–2022) Related Software: SeDuMi; Sostools; YALMIP; Matlab; SPOTless; Mosek; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
MR and LTV Synthesis Tools Software Authors: Pirie, Carol; Dullerud, Geir E. Cited in: 35 Publications (1999–2021) Related Software: YALMIP; SeDuMi; LMI toolbox; Sostools; Matlab; Mosek; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Operations research, mathematical programming (90-XX)
Prodigy Software Authors: Carbonell, J., Blythe, J., Etzioni, O., Gil, Y., Joseph, R., Kahn, D., Knoblock, C., Minton, S., Pérez, M.A., Reilly, S., Veloso, M., Wang, X. Cited in: 24 Publications (1992–2019) Related Software: UCPOP; Graphplan; KQML; OTTER; Bliksem; Waldmeister; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
GEPASI Software Authors: P. Mendes Cited in: 28 Publications (1996–2013) Related Software: E-CELL; Virtual Cell; SCAMP; MCELL; MetaModel; ODEPACK; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
GELDA Software Authors: Peter Kunkel, Volker Mehrmann, Werner Rath and Jörg Weickert Cited in: 33 Publications (1996–2018) Related Software: GENDA; RODAS; Modelica; DASSL; NewtonLib; MBSPACK; … Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
OSQP Software Authors: Bartolomeo Stellato, Goran Banjac, Paul Goulart, Alberto Bemporad, Stephen Boyd Cited in: 29 Publications (2018–2023) Related Software: qpOASES; Mosek; SCS; CVXPY; Gurobi; ECOS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
DDDAS Software Authors: Frederica Darema Cited in: 23 Publications (2008–2022) Related Software: Exshall; QUESO; libMesh; DAKOTA; FEniCS; PMTK; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
PMIRKDC Software Authors: Muir, P.H.; Pancer, R.N.; Jackson, K.R. Cited in: 32 Publications (1996–2020) Related Software: MIRKDC; COLSYS; COLNEW; bvp4c; twpbvp; Matlab; … Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
INTBIS Software Authors: Kearfott, R.Baker; Novoa, Manuel III Cited in: 31 Publications (1990–2018) Related Software: INTLIB; IbexOpt; Numerica; ANTIGONE; ICOS; C-XSC 2.0; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)
LMITOOL Software Authors: El Ghaoui; Nikoukhah, R.; Delebecque, F. Cited in: 30 Publications (1996–2021) Related Software: LMI toolbox; SDPA; GloptiPoly; PENNON; SeDuMi; Matlab; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Operations research, mathematical programming (90-XX)
MuJoCo Software Authors: E. Todorov, T. Erez, Y. Tassa Cited in: 23 Publications (2016–2022) Related Software: OpenAI Gym; TensorFlow; Adam; PyTorch; GitHub; Python; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)
Hybrid Toolbox Software Authors: Bemporad A. Cited in: 29 Publications (2004–2022) Related Software: HYSDEL; MPT; CPLEX; Matlab; GLPK; ECOS; … Main Fields: (04-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)
NESTOR Software Authors: Cooper, G.F. Cited in: 27 Publications (1985–2017) Related Software: TETRAD; ElemStatLearn; MICE; pcalg; impute; GeNIe; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
Creol Software Authors: Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh Cited in: 25 Publications (2006–2022) Related Software: Featherweight Java; ABCL; Maude; Multilisp; ABS; AmbientTalk; … Main Fields: Computer science (68-XX)
SALBPGen Software Authors: A Otto, C Otto, A Scholl Cited in: 27 Publications (2012–2023) Related Software: TUALB; 2-ANTBAL; VRPSolver; BaPCod; SCIP; CPLEX; … Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX)
Cassandra Software Authors: Lakshman, A., Malik, P. Cited in: 20 Publications (2012–2022) Related Software: Dynamo; Bigtable; MongoDB; CouchDB; MapReduce; MySQL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Duali Software Authors: Kendrick, David A.; Tucci, Marco P.; Amman, Hans M. Cited in: 26 Publications (1997–2020) Related Software: DualPC; Dynare; LMI toolbox; System Identification Toolbox; PATH Solver; AMPL; … Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Operations research, mathematical programming (90-XX)
ILUPACK Software Authors: M. Bollhöfer, Y. Saad, O. Schenk Cited in: 26 Publications (2005–2022) Related Software: SparseMatrix; PARDISO; PETSc; ILUT; ParaSails; hypre; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
LS-SVMlab Software Authors: J.A.K. Suykens, T. Van Gestel, J. De Brabanter, B. De Moor, J. Vandewalle Cited in: 25 Publications (2006–2020) Related Software: Matlab; UCI-ml; LIBSVM; RSVM; SVM Toolbox; longmemo; … Main Fields: Statistics (62-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
S-TaLiRo Software Authors: Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram Cited in: 24 Publications (2011–2022) Related Software: Breach; SpaceEx; Flow*; Matlab; dReach; StateFlow; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
SPRINT2D Software Authors: Berzins, M.; Fairlie, R.; Pennington, S.V.; Ware, J.M.; Scales, L.E. Cited in: 25 Publications (1986–2013) Related Software: DASSL; LSODE; GEOMPACK; RODAS; PLTMG; CHEMKIN; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
GASP IV Software Authors: Pritsker, A. Alan B. Cited in: 24 Publications (1974–2006) Related Software: SIMSCRIPT; Simula 67; DYNAMO; Ada95; LISP; CLOS Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
GroupKit Software Authors: Roseman M.; Greenberg S. Cited in: 2 Publications (2003–2009) Related Software: DECAF; PlanEdit; KLAIM; MarCaSPiS; COWS; SAS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
FOTF Toolbox Software Authors: Xue, Dingyü Cited in: 21 Publications (2015–2021) Related Software: Matlab; Ninteger; CRONE; Robust Control Toolbox; FOMCON; FLOreS; … Main Fields: General and overarching topics; collections (00-XX); Real functions (26-XX); Ordinary differential equations (34-XX)
SCOTS Software Authors: Rungger, Matthias; Zamani, Majid Cited in: 22 Publications (2016–2022) Related Software: PESSOA; CoSyma; TuLiP; Sostools; ROCS; Matlab; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
CAS/PI Software Authors: Kajler, Norbert Cited in: 21 Publications (1992–2018) Related Software: Mathematica; Maple; AXIOM; MACSYMA; OMRS; Isabelle; … Main Fields: Real functions (26-XX); Computer science (68-XX)
IRKC Software Authors: Shampine, L.F.; Sommeijer, B.P.; Verwer, J.G. Cited in: 21 Publications (2006–2022) Related Software: RKC; RODAS; VODE; LSODA; MEBDF; SERK2v3; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
ObservabilityTest Software Authors: Sedoglavic, Alexandre Cited in: 21 Publications (2001–2022) Related Software: DAISY; COMBOS; SIAN; Maple; GenSSI; BLAD; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
RACT Software Authors: Andrey Tremba; Giuseppe Calafiore; Fabrizio Dabbene; Elena Gryazina; Boris Polyak; Pavel Shcherbakov; Roberto Tempo Cited in: 21 Publications (2007–2022) Related Software: YALMIP; Knapsack; UCI-ml; COMPleib; PENNON; complib; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)
PELLPACK Software Authors: Houstis, E.N.; Rice, J.R.; Weerawarana, S.; Catlin, A.C.; Papachiou, P.; Wang, K.-Y.; Gaitatzes, M. Cited in: 18 Publications (1998–2008) Related Software: ELLPACK; PYTHIA; LAPACK; SciNapse; Mathematica; METIS; … Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX)
BliStr Software Authors: Urban, J. Cited in: 19 Publications (2013–2021) Related Software: E Theorem Prover; VAMPIRE; MaLARea; Flyspeck; Mizar; MPTP 0.2; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)
K tool Software Authors: David Lazar, Andrei Arusoaie, Traian Florin Şerbǎnuţǎ, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Roşu Cited in: 17 Publications (2010–2022) Related Software: K Prover; Maude; PLT Redex; z3; K-Maude; MMT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
MUSCOD-II Software Authors: University of Heidelberg; M. Diehl, D. B. Leineweber, A. A. S. Schäfer Cited in: 19 Publications (1998–2021) Related Software: Ipopt; ADIFOR; SOCS; PROPT; qpOASES; NewtonLib; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
Scicos Software Authors: INRIA Cited in: 19 Publications (2006–2019) Related Software: Scilab; ScicosLab; FreeFem++; Modelica; Chaos; GPOPS; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)
JModelica Software Authors: – Cited in: 15 Publications (2010–2022) Related Software: Optimica; Modelica; Dymola; Ipopt; CasADi; Matlab; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
STEPS Software Authors: Iain Hepburn, Weiliang Chen, Stefan Wils, Erik De Schutter Cited in: 16 Publications (2014–2019) Related Software: MesoRD; URDME; Smoldyn; PySB; ReaDDy; FEniCS; … Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-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)
D-NURBS Software Authors: Hong Qin; Terzopoulos, D. Cited in: 13 Publications (2005–2020) Related Software: Strands; Algorithm 624; CUBIT Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
Giotto Software Authors: Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch Cited in: 14 Publications (2001–2022) Related Software: Kronos; SIGNAL; Esterel; Ptolemy; Uppaal; fast_mpc; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
emgr Software Authors: Christian Himpe Cited in: 12 Publications (2013–2022) Related Software: Matlab; Octave; hapod; MATLAB ODE suite; MathEnergy; morgen; … Main Fields: Dynamical systems and ergodic theory (37-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)
Seesoft Software Authors: Eick, S.; Jr., J. Steffen Cited in: 8 Publications (1995–2011) Related Software: Codecrawler; Hipikat; Jove; CVSscan; Vizz3D; ThemeRiver; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
TuLiP Software Authors: Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray Cited in: 15 Publications (2016–2022) Related Software: PESSOA; CoSyma; SCOTS; CUDD; LTLMoP; ROCS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
DASOPT Software Authors: Petzold, Linda; Rosen, J.Ben; Gill, Philip E.; Jay, Laurent O.; Park, Kihong Cited in: 14 Publications (1988–2021) Related Software: ADIFOR; SNOPT; SOCS; LAPACK; L-BFGS; GiNaC; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
HyFIS Software Authors: Kim J, Kasabov N Cited in: 9 Publications (2002–2021) Related Software: ANFIS; DENFIS; R; CORElearn; fRegression; nnet; … Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
PID_tuning Software Authors: Eriksson, Lasse Cited in: 14 Publications (2005–2021) Related Software: YALMIP; SeDuMi; Matlab; Neural Network Toolbox; FOC; Tabu search; … Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Systems theory; control (93-XX)
Dylan Software Authors: Shalit A Cited in: 12 Publications (1996–2014) Related Software: Python; Eiffel; Cecil; Ruby; LISP; R; … Main Fields: Statistics (62-XX); Computer science (68-XX)
SecureUML Software Authors: Lodderstedt, Torsten; Basin, David; Doser, Jürgen Cited in: 7 Publications (2002–2014) Related Software: Z; SPIN; HOL-OCL; STG; TorX; AGATHA; … Main Fields: Computer science (68-XX)
Siconos Software Authors: Siconos development team Cited in: 13 Publications (2010–2022) Related Software: PATH Solver; pvlib; CasADi; Ipopt; ZQPCVX; Meschach; … Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)
LFLC 2000 Software Authors: IRAFM Cited in: 12 Publications (2004–2021) Related Software: ETPS; ANFIS; TSDL; TDSL; ConceptNet Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
MBSymba Software Authors: Lot, R.; Da Lio, M. Cited in: 12 Publications (2004–2021) Related Software: Maple; RODAS; SOCS; GEE; Python; CasADi; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
NModel Software Authors: Jacky, Jonathan; Veanes, Marqus; Campbell, Colin; Schulte, Wolfram Cited in: 9 Publications (2007–2021) Related Software: SpecExplorer; UniTESK; DART; SPIN; TestNG; TorX; … Main Fields: Computer science (68-XX)
OreMorphisms Software Authors: Cluzeau, T., Quadrat, A Cited in: 12 Publications (2007–2020) Related Software: OreModules; OreAlgebraicAnalysis; Macaulay2; SINGULAR; Plural; Janet; … Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX)
PolyX Software Authors: PolyX, Ltd.; H. Kwakernaak, M. Sebek Cited in: 12 Publications (1999–2014) Related Software: Robust Control Toolbox; SeDuMi; Polynomial Toolbox; Matlab; GloptiPoly; QFT toolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Real functions (26-XX); Numerical analysis (65-XX)
QFT toolbox Software Authors: Borghesani, C.; Chait, Y.; Yaniv, O. Cited in: 12 Publications (1995–2017) Related Software: QFTCT; Matlab; Mu Analysis and Synthesis Toolbox; Robust Control Toolbox; YALMIP; OptimPID; … Main Fields: Systems theory; control (93-XX)
RAMAS Software Authors: Kloetzer, Marius; Belta, Calin Cited in: 12 Publications (2006–2013) Related Software: RoVerGeNe; HyTech; PHAVer; SpaceEx; HSolver; Benchmarks; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
RIOTS_95 Software Authors: YQ Chen; Adam L. Schwartz Cited in: 12 Publications (2001–2020) Related Software: Matlab; MISER3; sysdfod; FSST; ma2dfc; DFOC; … Main Fields: Combinatorics (05-XX); Real functions (26-XX); Calculus of variations and optimal control; optimization (49-XX)
SpEC Software Authors: Hemberger, Daniel A.; Scheel, Mark A.; Kidder, Lawrence E.; Szilágyi, Béla; Lovelace, Geoffrey; Taylor, Nicholas W.; Teukolsky, Saul A. Cited in: 12 Publications (2011–2021) Related Software: SpECTRE; Einstein Toolkit; Cactus; yt; ASCL; Python; … Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)
Time-Delay System Toolbox Software Authors: Kim A.V., Kwon W.H., Pimenov V.G., Han S.H., Lozhnikov A.B., Onegova O.V., Kang J.W. Cited in: 12 Publications (2002–2019) Related Software: – Main Fields: Ordinary differential equations (34-XX); Integral transforms, operational calculus (44-XX); Calculus of variations and optimal control; optimization (49-XX)
FALKO Software Authors: SIEMENS; Börger, Egon; Päppinghaus, Peter; Schmid, Joachim Cited in: 10 Publications (2000–2012) Related Software: CoreASM; Metasonic; Rodin; ASM Workbench; ASMKeY; XASM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
FMI Software Authors: Arnold, Martin; Clauß, Christoph; Schierz, Tom Cited in: 11 Publications (2014–2022) Related Software: Modelica; SUNDIALS; CHOPtrey; RODAS; LSODE; Adams; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
Imogen Software Authors: Sean McLaughlin; Frank Pfenning Cited in: 11 Publications (2008–2019) Related Software: ILTP; fCube; IntHistGC; ileanCoP; LoTREC; STRIP; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
SCAMP Software Authors: Sauro, Herbert M.; Fell, David A. Cited in: 7 Publications (1991–2011) Related Software: GEPASI; Virtual Cell; E-CELL; MetaModel; MEG; TABASCO; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
TCT Software Authors: Lei Feng, W.M. Wonham Cited in: 11 Publications (2011–2022) Related Software: UMDES; GitHub; PESTS; MuDiv; libFAUDES; Supremica; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Systems theory; control (93-XX)