5510 search results - page 216 / 1102 » Mathematics |
137
click to vote
CASC
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we deal with the problem of the computation of the homology of a finite simplicial complex after an "elementary simplicial perturbation" process such as th...
140
click to vote
ISSAC
2000
Springer
15 years 8 months ago
2000
Springer
A canal surface S, generated by a parametrized curve m(t), in R3 is the envelope of the set of spheres with radius r(t) centered at m(t). This concept generalizes the classical of...
109
click to vote
MPC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...
109
click to vote
NAA
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Various variants of Schwarz methods for a singularly perturbed two dimensional stationary convection-diffusion problem are constructed and analysed. The iteration counts,...
150
click to vote
MPC
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This paper is about exceptions handling using classical techniques of program extraction. We propose an impredicative formalization in the calculus of constructions and w...