• 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 (two-dimensional) polygonal differential inclusions (or SPDI for short...
  • hgm R

  • Referenced in 18 articles [sw08770]
  • Runge-Kutta 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 aggregation-prone 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 RNA-Seq data ... method for the dispersion parameter the utilizes inclusion-exclusion data to analyze the propensity...
  • JASP

  • Referenced in 3 articles [sw27700]
  • contingency tables. JASP is open-source and differentiates itself from existing open-source 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 exon-tiling microarray data. MADS ... known to have large changes in transcript inclusion levels and offered improvement over Affymetrix...
  • C-XSC

  • Referenced in 109 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 125 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • FORTRAN-SC

  • Referenced in 14 articles [sw00305]
  • FORTRAN-SC 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...