Sciweavers

47 search results - page 1 / 10
» pads 2006
Sort
View
PADS
2006
ACM
14 years 1 months ago
Using Abstraction in the Verification of Simulation Coercion
Xinyu Liu, Paul F. Reynolds Jr., David C. Brogan
NA
2006
59views more  NA 2006»
13 years 7 months ago
On the fast solution of Toeplitz-block linear systems arising in multivariate approximation theory
When constructing multivariate Pad
Stefan Becuwe, Annie A. M. Cuyt