
NLvib
 Referenced in 1 article
[sw29773]
 analysis of nonlinear systems, including structures, fluids and electric circuits. The book includes solved exercises...

Maxwell
 Referenced in 5 articles
[sw23881]
 software for the design and analysis of electric motors, actuators, sensors, transformers and other electromagnetic ... nonlinear, transient motion of electromechanical components and their effects on the drive circuit and control...

SimMechanics
 Referenced in 8 articles
[sw04349]
 transforms, ordinary differential equations (both linear and nonlinear) and Laplace transforms, and numerical methods ... modeling, in particular the modeling of electrical circuits including power systems, motor drives, power generation...

Xyce
 Referenced in 2 articles
[sw06364]
 Originally developed in support of the electrical designers at Sandia National Laboratories, Xyce has become ... circuit simulations. As a parallel code, it not only allows the simulations of circuits ... algorithms and controls, better convergence of the nonlinear solver, and improved device methods...

ANSYS
 Referenced in 663 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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

CXSC
 Referenced in 109 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 125 articles
[sw00182]
 A C++ class library for extended scientific computing...

Galileo
 Referenced in 13 articles
[sw00316]
 Galileo: A tool for dynamic fault tree analysis...

INTBIS
 Referenced in 31 articles
[sw00442]
 Algorithm 681: INTBIS, a portable interval Newton/bisection package...

LANCELOT
 Referenced in 302 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

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

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

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

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

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

Matlab
 Referenced in 12477 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

R
 Referenced in 8728 articles
[sw00771]
 R is a language and environment for statistical...

rbMIT
 Referenced in 142 articles
[sw00784]
 The rbMIT © MIT Software package implements in Matlab...

SageMath
 Referenced in 1714 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...