
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 predesign 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 boundaryelement 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 highlevel 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 particlemesh 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 latticeBoltzmann 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...