• modred

  • Referenced in 3 articles [sw17490]
  • parallelized Python library for model reduction, modal analysis, and system identification of large systems...
  • InKreSAT

  • Referenced in 5 articles [sw23448]
  • InKreSAT: modal reasoning via incremental reduction to SAT. InKreSAT is a prover for the modal...
  • CAESAR_SOLVE

  • Referenced in 14 articles [sw10194]
  • regular alternation-free modal μ-calculus, and on-the-fly reduction of state spaces based...
  • COMVIS

  • Referenced in 2 articles [sw02316]
  • share and integrate information from different visual modalities, and how it can support the necessities ... results of single visual modules, with error reduction up to a factor...
  • Viscoelastic Vibration Toolbox

  • Referenced in 0 articles [sw32085]
  • fluid FEM models in pressure formulation, model reduction strategies for resolution of the coupled problem ... temperature, …) using innovative iterative methods. Implementation of Modal Strain Energy (MSE) method for reference. Post...
  • MIST_

  • Referenced in 1 article [sw07165]
  • Fast modal simulation of paraxial optical systems: the MIST open source toolbox This paper presents ... field propagation. This approach allows a huge reduction in the computational time, especially when...
  • ANSYS

  • Referenced in 655 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Coq

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

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

  • Referenced in 576 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • hypre

  • Referenced in 263 articles [sw00426]
  • hypre is a software library for the solution...
  • Isabelle

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

  • Referenced in 297 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

  • Referenced in 1626 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 261 articles [sw00509]
  • In the core computer science areas -- data structures...
  • LSQR

  • Referenced in 358 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • MATCONT

  • Referenced in 363 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

  • Referenced in 5883 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12074 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • mclust

  • Referenced in 257 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...