
[IEEE 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006) - Duisburg, Germany (2006.09.26-2006.09.29)] 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006) - Computer-Assisted Proofs in Solving Linear Parametric Problems
Popova, Evgenija D.Année:
2006
Langue:
english
DOI:
10.1109/scan.2006.12
Fichier:
PDF, 594 KB
english, 2006