
Fault Diagnosis Toolbox
 Referenced in 3 articles
[sw32054]
 analysis and design of fault diagnosis systems for dynamic systems, primarily described by differentialalgebraic ... toolbox are extensive support for structural analysis of largescale dynamic models, fault isolability analysis...

PowerDynamics.jl
 Referenced in 2 articles
[sw36524]
 that is specifically designed for the stability analysis of systems with high shares of renewable ... Julia’s stateoftheart differential equation solvers and is highly performant even ... modeling concept, implemented component models and fault scenarios have been experimentally tested against measurements...

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

ACL2
 Referenced in 279 articles
[sw00060]
 ACL2 is both a programming language in which...

BoomerAMG
 Referenced in 168 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

CoCoA
 Referenced in 634 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1818 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 200 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

CUTE
 Referenced in 64 articles
[sw00177]
 CUTE: a concolic unit testing engine for C...

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...

GreatSPN
 Referenced in 57 articles
[sw00384]
 GreatSPN2.0 is a software package for the modeling...

HSL
 Referenced in 274 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

hypre
 Referenced in 275 articles
[sw00426]
 hypre is a software library for the solution...

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

LAPACK
 Referenced in 1647 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

Magma
 Referenced in 2986 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5168 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6041 articles
[sw00554]
 Almost any workflow involves computing results, and that...