
d/dt
 Referenced in 37 articles
[sw10314]
 continuous and hybrid systems with linear differential inclusions. The d/dt tool for verification of hybrid...

INTLAB
 Referenced in 435 articles
[sw04004]
 eigenvalue problems (simple and clusters, also inner inclusions and structured matrices) generalized eigenvalue problems (simple ... complex sparse matrices (very fast) automatic differentiation (forward mode, vectorized computations, fast) Gradients (to solve ... functions (fast, rigorous, but not necessarily sharp inclusions) rigorous input/output (outer and inner inclusions) accurate...

redbKIT
 Referenced in 186 articles
[sw12977]
 error analysis. Reduced basis methods for partial differential equations. An introduction. The whole mathematical presentation ... both linear and nonlinear PDEs. Moreover, the inclusion of many pseudocodes allows the reader...

Siconos
 Referenced in 12 articles
[sw25724]
 Systems and Control (hybrid systems, differential inclusions, optimal control with state constraints), Optimization (Complementarity systems...

SPeeDI
 Referenced in 7 articles
[sw00896]
 system are the (twodimensional) polygonal differential inclusions (or SPDI for short...

hgm R
 Referenced in 18 articles
[sw08770]
 RungeKutta method of solving ordinary differential equations and efficient solvers of systems of linear ... group of people inclusing us and has given several new results. For example, the orthant ... dimensional case, we numerically solve ordinary differential equation of rank...

GSPeeDI
 Referenced in 1 article
[sw00394]
 systems whose dynamics is given by differential inclusions, and that are not restricted...

SusHi
 Referenced in 6 articles
[sw10356]
 models. Apart from inclusive cross sections up to NNLO QCD, differential cross sections with respect...

MC++
 Referenced in 11 articles
[sw13199]
 univariate functions; this is an extremely inclusive class of functions containing nearly every function which ... solution of nonlinear algebraic equations and ordinary differential equations (ODEs). MC++ is programmed...

AGGRESCAN
 Referenced in 3 articles
[sw22400]
 also provides new insights into the differential aggregation properties displayed by globular proteins, natively unfolded ... amyloidogenic proteins and proteins found in bacterial inclusion bodies. CONCLUSION: By identifying aggregationprone segments...

UniVerMec
 Referenced in 1 article
[sw35265]
 objects. They characterize a mathematical function by inclusion functions in different arithmetics and allow ... representing particular features of the function (e.g., differentiability). The representation objects allow us to describe...

DoubleExpSeq
 Referenced in 1 article
[sw17050]
 Empirical Bayes Shrinkage of the Dispersion Parameter. Differential exon usage test for RNASeq data ... method for the dispersion parameter the utilizes inclusionexclusion data to analyze the propensity...

JASP
 Referenced in 3 articles
[sw27700]
 contingency tables. JASP is opensource and differentiates itself from existing opensource solutions ... their broader adoption and furthers a more inclusive statistical reporting practice. The JASP analyses...

MADS
 Referenced in 3 articles
[sw35537]
 differential splicing (MADS), for discovery of differential alternative splicing from exontiling microarray data. MADS ... known to have large changes in transcript inclusion levels and offered improvement over Affymetrix...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

CXSC
 Referenced in 109 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 125 articles
[sw00182]
 A C++ class library for extended scientific computing...

FORTRANSC
 Referenced in 14 articles
[sw00305]
 FORTRANSC ist eine vollständig implementierte Erweiterung von...

GAP
 Referenced in 2948 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 272 articles
[sw00363]
 GMP is a free library for arbitrary precision...