4 search results - page 1 / 1 » The unfolding of non-finitist arithmetic |
APAL
2000
13 years 6 months ago
2000
ICFP
1998
ACM
13 years 10 months ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...
COMPGEOM
2004
ACM
13 years 11 months ago
2004
ACM
We present a new algorithm for unfolding planar polygonal linkages without self-intersection based on following the gradient flow of a “repulsive” energy function. This algor...
SYNASC
2005
IEEE
13 years 12 months ago
2005
IEEE
— Systolic online algorithms for the multiplication of univariate polynomials and of multiple precision integers are synthesised using a novel method based on the following funct...