17450 search results - page 354 / 3490 » Numerical Methods with Applications |
138
click to vote
CAD
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. This paper reports a geometric constraint solving approach based on symbolic computation. With this approach, we can compute robust numerical solutions for a set of equat...
131
click to vote
ENTCS
2010
15 years 2 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
130
click to vote
JSC
2011
14 years 11 months ago
2011
Homotopy continuation provides a numerical tool for computing the equivalence of a smooth variety in an intersection product. Intersection theory provides a theoretical tool for re...
141
click to vote
SIAMNUM
2010
14 years 11 months ago
2010
Abstract. In [9], we introduced and analyzed a recovery-based a posteriori error estimator for conforming linear finite element approximation to interface problems. It was shown th...
119
click to vote
TSP
2010
14 years 11 months ago
2010
This paper proposes a systematic approach for the optimized design of analog filters, which includes all well-known classical analog filters as a special case. All specifications i...