Sciweavers

47 search results - page 1 / 10
» pads 2006
Sort
View
PADS
2006
ACM
13 years 10 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 4 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