×

Found 5 Software Packages (Results 1–5)

imprProbEst

Software Authors:   Robert Hable
Cited in: 5 Publications (2009–2014)
Related Software: R; CRAN; lpSolve; lp_solve; RobASt; ROBETH
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

CalFuzzer

Software Authors:   Joshi, Pallavi; Naik, Mayur; Park, Chang-Seo; Sen, Koushik
Cited in: 2 Publications (2010–2018)
Related Software: Snugglebug; Boogie; DART; Con2colic; STP; jCUTE; …
Main Fields: Computer science (68-XX)

IPP Toolbox

Software Authors:   Limbourg P.
Cited in: 3 Publications (2012–2019)
Related Software: RAMAS Risk Calc; DSI Toolbox; INTLAB; Matlab
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

improb

Software Authors:   Troffaes, M. C. M.
Cited in: 2 Publications (2011–2015)
Related Software: GitHub
Main Fields: Functional analysis (46-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

HYRISK

Software Authors:   Jeremy Rohmer, Jean-Charles Manceau, Dominique Guyonnet, Faiza Boulahya
Cited in: 0 Publications
Related Software:
Main Fields: