
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 alternationfree modal μcalculus, and onthefly 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 largescale 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 highlevel language and interactive...

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