Sciweavers

3670 search results - page 1 / 734
» Linear Recursive Functions
Sort
View
MCU
2004
76views Hardware» more  MCU 2004»
13 years 6 months ago
Real Recursive Functions and Real Extensions of Recursive Functions
Recently, functions over the reals that extend elementarily computable functions over the integers have been proved to correspond to the smallest class of real functions containing...
Olivier Bournez, Emmanuel Hainry
CORR
2007
Springer
72views Education» more  CORR 2007»
13 years 4 months ago
A Proof of a Recursion for Bessel Moments
We provide a proof of a conjecture in [2] on the existence and form of linear recursions for moments of powers of the Bessel function K0.
Jonathan M. Borwein, Bruno Salvy
BIRTHDAY
2007
Springer
13 years 10 months ago
Linear Recursive Functions
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...
Sandra Alves, Maribel Fernández, Már...
FUIN
2006
89views more  FUIN 2006»
13 years 4 months ago
Recursive Analysis Characterized as a Class of Real Recursive Functions
Recently, using a limit schema, we presented an analog and machine independent algebraic characterization of elementary functions over the real numbers in the sense of recursive a...
Olivier Bournez, Emmanuel Hainry
APLAS
2004
ACM
13 years 10 months ago
A Functional Language for Logarithmic Space
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however eï...
Peter Møller Neergaard