HyTech Software Authors: Tom Henzinger, Pei-Hsin Ho, and Howard Wong-Toi. Cited in: 312 Publications (1996–2021) Related Software: Uppaal; PHAVer; Kronos; SPIN; SpaceEx; d/dt; … Main Fields: Mathematical logic and foundations (03-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)
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)
BiCGstab Software Authors: Sleijpen, G.L.G.; van der Vorst, H.A.; Fokkema, D.R. Cited in: 131 Publications (1989–2022) Related Software: CGS; GpBiCg; mctoolbox; SparseMatrix; Algorithm 913; MatrixMarket; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
PHAVer Software Authors: Frehse, Goran Cited in: 115 Publications (2005–2022) Related Software: HyTech; SpaceEx; Uppaal; RSOLVER; HSolver; d/dt; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
PPL Software Authors: Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M. Cited in: 103 Publications (2002–2022) Related Software: HyTech; Apron; ASTREE; Uppaal; PHAVer; PolyLib; … Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
GloMIQO Software Authors: C. A. Floudas; Ruth Misener Cited in: 82 Publications (2009–2022) Related Software: SCIP; BARON; ANTIGONE; MINLPLib; CPLEX; LINDO; … Main Fields: Convex and discrete geometry (52-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
SpaceEx Software Authors: Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray,Olivier Lebeltel, Rodolfo Ripado, Antoine Girard,Thao Dang, Oded Maler Cited in: 79 Publications (2011–2022) Related Software: HyTech; PHAVer; Flow*; KeYmaera; RSOLVER; Ellipsoidal Toolbox; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
DifferentialEquations.jl Software Authors: C. Rackauckas, Q. Nie Cited in: 42 Publications (2018–2022) Related Software: Julia; NeuralPDE.jl; GitHub; Python; Flux; DiffEqFlux; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
GpBiCg Software Authors: Fujino, Seiji; Zhang, Shao-Liang Cited in: 64 Publications (1997–2022) Related Software: CGS; BiCGstab; SparseMatrix; CORS; BiCOR; ILUT; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-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; Matlab; GradSamp; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
DISCOVERER Software Authors: Xia B Cited in: 57 Publications (1999–2022) Related Software: QEPCAD; Maple; REDLOG; Sostools; YALMIP; ISOLATE; … Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
DENFIS Software Authors: Kasabov NK, Song Q Cited in: 27 Publications (2004–2020) Related Software: ANFIS; ElemStatLearn; UCI-ml; MPI; JStatCom; GenSoFNN; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MAGMA Software Authors: J. Dongarra, T. Dong, M. Gates, A. Haidar, S. Tomov, I. Yamazaki Cited in: 47 Publications (2010–2022) Related Software: PLASMA; LAPACK; CUDA; ScaLAPACK; CUBLAS; BLAS; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)
ForWaRD Software Authors: Neelamani, R.; Choi, H.; Baraniuk, R. Cited in: 55 Publications (2004–2021) Related Software: RecPF; Regularization tools; Matlab; RestoreTools; BSDS; HyBR; … Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-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)
HYBRJ Software Authors: Burton S. Garbow, Kenneth E. Hillstrom, Jorge J. More Cited in: 46 Publications (1981–2020) Related Software: minpack; NAG; Matlab; Genocop; SOCS; Bocop; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
HSolver Software Authors: Stefan Ratschan; Zhikun She; Tomáš Dzetkulič Cited in: 43 Publications (2005–2021) Related Software: RSOLVER; Benchmarks; HyTech; PHAVer; SpaceEx; Sostools; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
StarPU Software Authors: C. Augonnet, S. Thibault, R. Namyst, P.-A. Wacrenier Cited in: 29 Publications (2012–2022) Related Software: CUDA; OpenCL; PLASMA; OmpSs; MAGMA; Cilk; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)
SPIKE Software Authors: Polizzi, Eric; Sameh, Ahmed Cited in: 39 Publications (2004–2022) Related Software: PARDISO; SparseMatrix; MUMPS; LAPACK; PSPIKE; ScaLAPACK; … Main Fields: Numerical analysis (65-XX); Computer science (68-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)
Modulef Software Authors: Bernadou, M.; Hassim, A.; Laug, P.; Steer, D.; Vidrascu, M.; Saltel, E. Cited in: 39 Publications (1985–2018) Related Software: petsc4py; COFFEE; TSFC; Firedrake; Algorithm 884; UFL; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
d/dt Software Authors: Asarin, Eugene; Dang, Thao; Maler, Oded Cited in: 38 Publications (2002–2021) Related Software: HyTech; PHAVer; SpaceEx; RSOLVER; Uppaal; HSolver; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
HAS-QAP Software Authors: Gambardella, L.M.; Taillard, E.D.; Dorigo, M. Cited in: 34 Publications (1999–2021) Related Software: MACS-VRPTW; QAPLIB; Tabu search; HAS-SOP; VRP; Scatter Search; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
rnorrexp Software Authors: George Marsaglia, Wai Wan Tsang Cited in: 30 Publications (1982–2022) Related Software: Ziggurat; MersenneTwister; GMRFLib; SFMT; Matlab; AS 241; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
STeP Software Authors: N. Bjørner, I.A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H.B. Sipma, T.E. Uribe Cited in: 33 Publications (1997–2015) Related Software: PVS; SPIN; Uppaal; Kronos; HyTech; Java PathFinder; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
nuXmv Software Authors: Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta Cited in: 33 Publications (2015–2022) Related Software: z3; NuSMV; MiniSat; MathSAT5; SPIN; SMT-LIB; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Flow* Software Authors: Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan Cited in: 32 Publications (2015–2022) Related Software: SpaceEx; KeYmaera; HyTech; PHAVer; dReach; Breach; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
SALSA Software Authors: Laburthe, Francois; Caseau, Yves Cited in: 30 Publications (2000–2017) Related Software: COMET; Localizer; Oz; CPLEX; OPL; CLAIRE; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
TC-HAT Software Authors: Thota, P., Dankowicz, H. Cited in: 29 Publications (2008–2022) Related Software: SlideCont; COCO; AUTO; HomCont; MATCONT; DDE-BIFTOOL; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
Breach Software Authors: Alexandre Donzé Cited in: 26 Publications (2011–2022) Related Software: S-TaLiRo; Flow*; SpaceEx; Matlab; KeYmaera; C2e2; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Hybrid Toolbox Software Authors: Bemporad A. Cited in: 28 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)
Benchmarks Software Authors: Ratschan, Stefan; She, Zhikun Cited in: 25 Publications (2005–2021) Related Software: RSOLVER; HSolver; HyTech; PHAVer; Sostools; QEPCAD; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)
HySAT Software Authors: Fränzle, Martin; Herde, Christian Cited in: 25 Publications (2006–2021) Related Software: MathSAT; HyTech; SpaceEx; PHAVer; ABsolver; RSOLVER; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-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)
dReach Software Authors: S. Kong, S. Gao, W. Chen, E. M. Clarke Cited in: 22 Publications (2015–2021) Related Software: SpaceEx; Flow*; KeYmaera; HyTech; PHAVer; dReal; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
NodeTrix Software Authors: Nathalie Henry, Jean-Daniel Fekete, Michael J. McGuffin Cited in: 15 Publications (2010–2021) Related Software: ChordLink; ThemeRiver; Algorithm 447; MS SQL Server; Bigtable; DryadLINQ; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
Charon Software Authors: Alur, Rajeev; Grosu, Radu; Hur, Yerang; Kumar, Vijay; Lee, Insup Cited in: 16 Publications (2000–2016) Related Software: HyTech; SpaceEx; d/dt; HyCreate; HYST; HyDI; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
PyDSTool Software Authors: Clewley RH, Sherwood WE, LaMar MD, Guckenheimer JM Cited in: 19 Publications (2012–2022) Related Software: MATCONT; Matlab; AUTO; DDE-BIFTOOL; XPPAUT; COCO; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)
VORPAL Software Authors: Nieter, Chet; Cary, John R. Cited in: 17 Publications (2004–2019) Related Software: OSIRIS; QUICKPIC; OOPIC; H-VLPL; Pegasus; CRPropa; … Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Optics, electromagnetic theory (78-XX)
Evolino Software Authors: Schmidhuber, J., Wierstra, D., Gomez, F. J. Cited in: 12 Publications (2007–2021) Related Software: Clockwork RNN; LSTM; darch; DARPA TIMIT; Flickr30K; MS-COCO; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
RSBR_ Software Authors: Zhong, Ning; Dong, Ju-Zhen; Ohsuga, Setsuo Cited in: 18 Publications (2001–2020) Related Software: LERS; C4.5; D-SCIDS; ROSE; UCI-ml; ReSySTER; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)
PSPIKE Software Authors: Madan Sathe; Olaf Schenk; Ahmed H. Sameh; Murat Manguoğlu Cited in: 14 Publications (2004–2022) Related Software: SparseMatrix; SPIKE; PARDISO; MUMPS; CSparse; PSPIKE+; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
CORA Software Authors: Matthias Althoff, Niklas Kochdumper Cited in: 15 Publications (2016–2022) Related Software: SpaceEx; HYST; C2e2; HyTech; PHAVer; MPT; … Main Fields: Ordinary differential equations (34-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
Racoon Software Authors: Jürgen Dreher; Rainer Grauer Cited in: 15 Publications (2006–2020) Related Software: PARAMESH; p4est; Peano; AMROC; Chombo; deal.ii; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
Ariadne Software Authors: Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano Cited in: 14 Publications (2008–2021) Related Software: HyTech; PHAVer; SpaceEx; HSolver; RSOLVER; KeYmaera; … Main Fields: Mathematical logic and foundations (03-XX); General topology (54-XX); Computer science (68-XX)
KeYmaera X Software Authors: Fulton, N., Mitsch, S., Quesel, J., Völp, M., Platzer, A. Cited in: 15 Publications (2015–2022) Related Software: KeYmaera; SpaceEx; Isabelle/HOL; Bellerophon; Coq; dReal; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
STAMP Software Authors: Cao Minh, C., Chung, J., Kozyrakis, C., Olukotun, K. Cited in: 10 Publications (2009–2020) Related Software: STMBench7; RingSTM; TLRW; NOrec; TMunit; PARSEC; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-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)
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)
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)
ADVISOR Software Authors: T Markel, A Brooker, T Hendricks, V Johnson, K Kelly, B Kramer, M O’Keefe, S Sprik, K Wipke Cited in: 10 Publications (2006–2019) Related Software: Matlab; fmincon; GAToolBox; Genocop Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Optics, electromagnetic theory (78-XX)
Yampa Software Authors: Henrik Nilsson, Antony Courtney Cited in: 9 Publications (2003–2020) Related Software: Haskell; Fran; Esterel; GHC; Copilot; seL4; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
Hybrid Stable Spline Toolbox Software Authors: Pillonetto, Gianluigi Cited in: 9 Publications (2016–2022) Related Software: Matlab; PRMLT; GitHub; Adam; GPflow; TensorFlow; … Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
HyEQ Software Authors: R.G. Sanfelice, D.A. Copp, P. Nanez Cited in: 9 Publications (2013–2022) Related Software: HybridSystemsLab; YALMIP; UMDES; Simulink; Matlab Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Pegasus Software Authors: Kunz, Matthew W.; Stone, James M.; Bai, Xue-Ning Cited in: 9 Publications (2014–2022) Related Software: gs2; AstroGK; VORPAL; XGC0; OSIRIS; Viriato; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
TotalView Software Authors: Rogue Wave Software, Inc. Cited in: 6 Publications (2000–2022) Related Software: C-DVM; MARMOT; Guard; Mrnet; DMPL; WIEN97; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
HYST Software Authors: Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson Cited in: 7 Publications (2015–2019) Related Software: SpaceEx; CORA; C2e2; PHAVer; HyTech; dReach; … Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Systems theory; control (93-XX)
sldg Software Authors: Einkemmer, Lukas Cited in: 8 Publications (2016–2021) Related Software: Vador; GYSELA; FFTW; mftoolbox; CYLGYR; QUALIMUWABA; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
SPeeDI Software Authors: Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio Cited in: 7 Publications (2002–2017) Related Software: GSPeeDI; HyTech; ParaPlan; dReach; Flow*; KeYmaera; … Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Systems theory; control (93-XX)
UniForM Software Authors: Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer Cited in: 7 Publications (1999–2011) Related Software: Uppaal; FranTk; GHC; Haskell; MersenneTwister; DCVALID; … Main Fields: Computer science (68-XX)
AltAlt Software Authors: Romeo Sanchez Nigenda, XuanLong Nguyen, Subbarao Kambhampati Cited in: 6 Publications (2002–2009) Related Software: Graphplan; STAN; SAPA; Walksat; PDDL; LPG; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
hABCDE Software Authors: Xiang, Wanli; Ma, Shoufeng; An, Meiqing Cited in: 7 Publications (2014–2021) Related Software: ABC; WOA; CEC 13; GSA; WCA; KEEL; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
HybridSal Software Authors: Tiwari, A. Cited in: 4 Publications (2009–2020) Related Software: HSolver; RSOLVER; Yices; Breach; HyLAA; SpaceEx; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
HYPERS Software Authors: Omelchenko, Y.A.; Karimabadi, H. Cited in: 7 Publications (2012–2022) Related Software: HPX; Gurobi; WRF-SFIRE; ForeFire; IPython; Matplotlib; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
PSIM Software Authors: Powersim Inc. Cited in: 7 Publications (2012–2022) Related Software: Matlab; Turbo Pascal; SymPowerSystems; LMI toolbox; SimPowerSystems; Simulink Main Fields: Dynamical systems and ergodic theory (37-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)
QMCPACK Software Authors: J. Kim, et al. Cited in: 7 Publications (2008–2020) Related Software: S3D Legion; KKRnano; NWChem; DataSpork; GAUSSIAN; CRYSTAL; … Main Fields: General and overarching topics; collections (00-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
RealCertify Software Authors: Victor Magron, Mohab Safey El Din Cited in: 6 Publications (2018–2021) Related Software: SDPA; SeDuMi; multivsos; univsos; RAGlib; Maple; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Dynamical systems and ergodic theory (37-XX)
SIDNUR Software Authors: Pichot, Géraldine; Poirriez, Baptiste; Erhel, Jocelyne; De Dreuzy, Jean-Raynald Cited in: 7 Publications (2014–2021) Related Software: dfnWorks; Triangle; redbKIT; PorePy; Gmsh; FraC; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
AIMSUN Software Authors: TSS-Transport Simulation Systems Cited in: 6 Publications (2005–2012) Related Software: ESTRAUS; CPLEX Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Cell Illustrator Software Authors: Matsuno, Hiroshi; Nagasaki, Masao; Miyano, Satoru; University of Tokyo. Cited in: 5 Publications (2009–2018) Related Software: SNOOPY; SUNDIALS; CPN Assistant; MrBayes; MAVisto; ViennaRNA; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
gridlib Software Authors: authors Cited in: 6 Publications (2002–2012) Related Software: LFA; FEAPpv; Wesseling; FEATFLOW; PLTMG; FFTW; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
HRSSA Software Authors: Marchetti, Luca; Priami, Corrado; Thanh, Vo Hong Cited in: 6 Publications (2016–2019) Related Software: HSimulator; COPASI; STEPS; SHAVE; CERENA Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
JuliaReach Software Authors: Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling Cited in: 5 Publications (2018–2022) Related Software: SpaceEx; Flow*; XSpeed; LAPACK; Ellipsoidal Toolbox; SLICOT; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
sbioPN Software Authors: Roberto Bertolusso; Marek Kimmel Cited in: 6 Publications (2012–2022) Related Software: SPPARKS Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Biology and other natural sciences (92-XX)
XSpeed Software Authors: Ray, Rajarshi; Gurung, Amit Cited in: 5 Publications (2017–2022) Related Software: SpaceEx; JuliaReach; LAPACK; Ellipsoidal Toolbox; SLICOT; Flow*; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Bellerophon Software Authors: Fulton, Nathan; Mitsch, Stefan; Bohrer, Brandon; Platzer, André Cited in: 5 Publications (2017–2022) Related Software: KeYmaera; KeYmaera X; SpaceEx; Isabelle/HOL; ModelPlex; dReach; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
HyComp Software Authors: A. Cimatti, A. Griggio, S. Mover, S. Tonetta Cited in: 5 Publications (2017–2022) Related Software: nuXmv; CTIGAR; z3; NuSMV; MathSAT5; Uppaal; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
JudoSTM Software Authors: Olszewski, M., Cutler, J., Steffan, J.G. Cited in: 3 Publications (2012–2022) Related Software: NOrec; DiSTM; Synchrobench; TLRW; TMunit; AtomCaml; … Main Fields: Computer science (68-XX)
MARCO Software Authors: Berman, Spring; Halász, Ádám; Kumar, Vijay Cited in: 5 Publications (2007–2018) Related Software: HyTech; PHAVer; Flow*; SpaceEx; FME; BlenX; … Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
ParADE Software Authors: – Cited in: 2 Publications (2005–2006) Related Software: OpenACC; PVM; NAS Parallel Benchmarks; SKaMPI; MPI; MPI/MPICH; … Main Fields: Computer science (68-XX)
REDLIB Software Authors: Farn Wang Cited in: 5 Publications (2011–2014) Related Software: Kronos; CMC; Synthia; Uppaal; UPPAAL TIGA; Tempo; … Main Fields: Computer science (68-XX)
SNZI Software Authors: Ellen, F., Lev, Y., Luchangco, V., Moir, M. Cited in: 5 Publications (2007–2017) Related Software: CIL; PhTM; Feather-Trace; STAMP; Autolocker; Atomizer; … Main Fields: Computer science (68-XX)
SOSlib Software Authors: Lu J, Muller S, Machné R, Flamm C Cited in: 3 Publications (2012–2019) Related Software: SUNDIALS; COPASI; BioBayes; R; SBW; LibSBMLSim; … Main Fields: Dynamical systems and ergodic theory (37-XX); Biology and other natural sciences (92-XX)
SPHIN Software Authors: Hosung Song Cited in: 5 Publications (2006–2017) Related Software: PHAVer; HyTech; SPIN; z3; KeYmaera; PROMELA; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
SReach Software Authors: Q. Wang, P. Zuliani, S. Kong, S. Gao, E. M. Clarke Cited in: 4 Publications (2015–2020) Related Software: ProbReach; dReal; AMYTISS; StocHy; pFaces; SReachTools; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
Stabhyli Software Authors: Möhlmann, Eike; Theel, Oliver Cited in: 5 Publications (2013–2020) Related Software: Averist; SpaceEx; PPL; z3; GLPK; NetworkX; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
StocHy Software Authors: Nathalie Cauchi, Kurt Degiorgio, Alessandro Abate Cited in: 5 Publications (2019–2022) Related Software: FAUST2; PRISM; SReachTools; ProbReach; AMYTISS; MoDeST; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
BACH Software Authors: Bu L, Li Y, Wang L, Li X Cited in: 4 Publications (2010–2018) Related Software: PHAVer; SpaceEx; HyTech; HySAT; KeYmaera X; Ellipsoidal Toolbox; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
CloudGenius Software Authors: Menzel, Michael; Ranjan, Rajiv; Wang, Lizhe; Khan, Samee U.; Chen, Jinjun Cited in: 2 Publications (2015–2019) Related Software: Zephyrus2; CumulusGenius; OpenNebula; Sun Grid Engine; Amazon EC2; Hadoop; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
HARE Software Authors: Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh Cited in: 4 Publications (2013–2020) Related Software: SpaceEx; Breach; S-TaLiRo; HSolver; RSOLVER; d/dt; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
HI-maude Software Authors: Fadlisyah, Muhammad; Ölveczky, Peter Csaba Cited in: 1 Publication (2015) Related Software: Maude; Maude-NPA; PMaude; JavaFAN; PHAVer Main Fields: History and biography (01-XX); Computer science (68-XX)
HybridSystemsLab Software Authors: Sanfelice, Ricardo G. Cited in: 4 Publications (2021–2022) Related Software: HyEQ; YALMIP; Matlab Main Fields: Systems theory; control (93-XX)
HyLAA Software Authors: Bak, Stanley; Duggirala, Parasara Sridhar Cited in: 4 Publications (2017–2021) Related Software: SpaceEx; CORA; Flow*; HyTech; PHAVer; HySAT; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
iSAT Software Authors: K. Scheibler, S. Kupferschmid, B. Becker Cited in: 4 Publications (2015–2017) Related Software: z3; SMT-RAT; MathSAT5; CVC4; MiniSat; OpenSMT; … Main Fields: Computer science (68-XX)
LySHA Software Authors: Duggirala, Parasara Sridhar; Mitra, Sayan Cited in: 4 Publications (2012–2021) Related Software: KeYmaera; KeYmaera X; Flow*; SpaceEx; MetiTarski; Bellerophon; … Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Systems theory; control (93-XX)
PSPIKE+ Software Authors: Yao Zhu; Ahmed H. Sameh Cited in: 4 Publications (2017–2019) Related Software: PSPIKE; SparseMatrix; CSparse; PARDISO; GenASPI; SchurRAS; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
R-Charon Software Authors: Kratz, Fabian; Sokolsky, Oleg; Pappas, George J.; Lee, Insup Cited in: 4 Publications (2006–2013) Related Software: QEPCAD; Charon; RAMAS; d/dt; ToolboxLS; HYSDEL; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
REACH Software Authors: Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin Cited in: 4 Publications (2013–2018) Related Software: ISOLATE; QEPCAD; iscasMc; z3; REDLOG; MRMC; … Main Fields: Field theory and polynomials (12-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)