• Resultants

  • Referenced in 3 articles [sw01251]
  • proof for the algebraicity of the complex suspension over arbitrary fields. The algebraicity ... Chow varieties then follows over the complex numbers. The approach implies ... more algebraic proof of Lawson´s complex suspension theorem in characteristic 0. The continuity...
  • CACE

  • Referenced in 1 article [sw03176]
  • complex problem in controller design, taken from the field of vehicle suspension, proves the efficiency...
  • Fasim_C++

  • Referenced in 2 articles [sw13497]
  • simulation. Modern vehicle controllers are becoming increasingly complex, making a pre-design based on comprehensive ... several vehicle modules, e.g. the tyres, wheel suspensions or the vehicle body. The model...
  • BEMLIB

  • Referenced in 102 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • FIDAP

  • Referenced in 37 articles [sw00006]
  • FIDAP (A Fluid Dynamics Analysis Program). This paper...
  • ANSYS

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

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

  • Referenced in 293 articles [sw00341]
  • Gerris is a Free Software program for the...
  • HSL

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

  • Referenced in 5220 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

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

  • Referenced in 420 articles [sw00610]
  • Produced by experts for use in a variety...
  • polymake

  • Referenced in 308 articles [sw00724]
  • polymake is open source software for research in...
  • PPM

  • Referenced in 62 articles [sw00728]
  • PPM -- a highly efficient parallel particle-mesh library...
  • SuperLU

  • Referenced in 181 articles [sw00930]
  • SuperLU is a general purpose library for the...
  • TISEAN

  • Referenced in 162 articles [sw00967]
  • Practical implementation of nonlinear time series methods: The...
  • Hemelb

  • Referenced in 13 articles [sw01043]
  • HemeLB: A high performance parallel lattice-Boltzmann code...
  • AUTO

  • Referenced in 911 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • Meschach

  • Referenced in 79 articles [sw01112]
  • Meschach: Matrix computations in C. Meschach is a...
  • FreeFem++

  • Referenced in 1160 articles [sw01436]
  • FreeFem++ is an implementation of a language dedicated...