×

Found 202 Software Packages (Results 1–100)

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)