2016 search results - page 9 / 404 » Megamaps: Construction and Examples |
141
click to vote
JCPHY
2011
14 years 6 months ago
2011
We develop a hierarchical matrix construction algorithm using matrixvector multiplications, based on the randomized singular value decomposition of low-rank matrices. The algorith...
140
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...
141
Voted
CAD
2000
Springer
15 years 3 months ago
2000
Springer
In this paper we consider error propagation in geometric constructions from a geometric viewpoint. First we study affine combinations of convex bodies: This has numerous examples ...
119
click to vote
JUCS
2010
14 years 10 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
133
click to vote
COCOON
1995
Springer
15 years 7 months ago
1995
Springer
A Craig interpolant of two inconsistent theories is a formula which is true in one and false in the other. This paper gives an eificient method for constructing a Craig interpolant...