4 search results - page 1 / 1 » The unfolding of non-finitist arithmetic |
APAL
2000
13 years 10 months ago
2000
ICFP
1998
ACM
14 years 3 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
14 years 4 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
14 years 4 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...