• IQC

  • Referenced in 8 articles [sw21941]
  • analysis approaches are desirable. Robust stability and performance analysis have been active topics ... systems and control theory because of their practical importance. A variety of approaches have been...
  • Skew

  • Referenced in 8 articles [sw14905]
  • skew µ methods for analysing the robust stability and performance properties of an uncertain closed ... complement to the book ”A practical approach to robustness analysis with aeronautical applications” written ... made available. Unlike most other available robustness analysis tools, this toolbox also contains fully automated ... allows a non specialist to obtain guaranteed stability or performance robustness margins. Finally, different realistic...
  • MGRIT

  • Referenced in 19 articles [sw30280]
  • diagonalized, and then apply this analysis to our two basic model problems, the heat equation ... theoretically predicted convergence rates are sharp in practice for our model problems. Second, we explore ... convergence of MGRIT compares to the stability of the chosen time-stepping scheme. In particular...
  • McIPM

  • Referenced in 11 articles [sw07097]
  • similar advances in computational practice as shown in the theoretical analysis. In this paper ... with respect to implementation are addressed. Numerical stability and sparsity of the normal equation system...
  • CholQR

  • Referenced in 12 articles [sw13049]
  • properties of this mixed-precision CholQR. Our analysis shows that by selectively using the doubled ... improved numerical stability of the mixed-precision CholQR in practice. We then study its performance...
  • hdbscan

  • Referenced in 4 articles [sw39421]
  • find a clustering that gives the best stability over epsilon. This allows HDBSCAN to find ... more robust to parameter selection. In practice this means that HDBSCAN returns a good clustering ... select. HDBSCAN is ideal for exploratory data analysis; it’s a fast and robust algorithm...
  • OEIG

  • Referenced in 4 articles [sw07166]
  • matrices 𝐀 and 𝐁, its stability analysis, and an efficient algorithm for solving it. Usually ... value over the matrix pencil {𝐀-λ𝐁}. Practically, the proposed algorithm requires 𝒪...
  • CEASIOM

  • Referenced in 2 articles [sw19909]
  • analysis, and as appropriate, resort to higher fidelity numerical simulations. Moreover CEASIOM involve stability ... design cycle than is standard practice today. CEASIOM runs under either Windows or Linux...
  • GAMS Model

  • Referenced in 8 articles [sw21987]
  • have been used in policy or sector analysis and are interesting for both the methods ... refineries and petrochemical plants, macroeconomics stabilization, applied general equilibrium, international trade in aluminum ... interfacing to GAMS. FIN Library - includes GAMS practical financial optimization models described in the book...
  • PHASTA

  • Referenced in 1 article [sw23646]
  • order accurate), adaptive, stabilized (finite-element) transient analysis tool for the solution of compressible ... ranging from validation benchmarks to cases of practical interest. The practical cases of interest...
  • SimplicialVIEW

  • Referenced in 1 article [sw21821]
  • SimplicialVIEW: a Software Package for Robust Stability Analysis. We describe the mathematical software package SimplicialVIEW ... efficient geometric algorithms for computing an approximate stability crossover region in the uncertainty space ... theoretical foundation, and put it into practice using highly optimized computational geometry algorithms. The SimplicialVIEW...
  • BEMLIB

  • Referenced in 108 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • complib

  • Referenced in 34 articles [sw00149]
  • COMPlib: COnstraint matrix-optimization problem library–a collection...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • DEA

  • Referenced in 244 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • FGb

  • Referenced in 247 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • FOXBOX

  • Referenced in 16 articles [sw00307]
  • FOXBOX: A system for manipulating symbolic objects in...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...