• 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...
  • C-XSC

  • Referenced in 109 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 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 large-scale 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 high-level 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, open-source math software...