1158 search results - page 150 / 232 » Software is discrete mathematics |
99
Voted
SIAMNUM
2011
14 years 7 months ago
2011
We present a method to approximate (in any space dimension) diffusion equations with schemes having a specific structure; this structure ensures that the discrete local maximum a...
145
Voted
SIAMSC
2011
14 years 7 months ago
2011
We develop an algebraic multigrid (AMG) setup scheme based on the bootstrap framework for multiscale scientific computation. Our approach uses a weighted least squares definition...
98
Voted
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
83
Voted
ITRE
2005
IEEE
15 years 6 months ago
2005
IEEE
— We contrast the current paradigm of information education for the general public with that of mathematics and of foreign languages. This contrast exposes the questionable menta...
101
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...