Sciweavers

16430 search results - page 376 / 3286
» On Computable Tree Functions
Sort
View
CADE
2008
Springer
15 years 8 months ago
Automated Implicit Computational Complexity Analysis (System Description)
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...
Martin Avanzini, Georg Moser, Andreas Schnabl
AAECC
2006
Springer
135views Algorithms» more  AAECC 2006»
15 years 6 months ago
Computing Hypergeometric Solutions of Linear Recurrence Equations
We describe a complete algorithm to compute the hypergeometric solutions of linear recurrence relations with rational function coefficients. We use the notion of finite singularit...
Thomas Cluzeau, Mark van Hoeij
CORR
2006
Springer
114views Education» more  CORR 2006»
15 years 6 months ago
Fast algorithms for computing isogenies between elliptic curves
We survey algorithms for computing isogenies between elliptic curves defined over a field of characteristic either 0 or a large prime. We introduce a new algorithm that computes an...
Alin Bostan, Bruno Salvy, François Morain, ...
LOGCOM
2007
92views more  LOGCOM 2007»
15 years 6 months ago
Third-Order Computation and Bounded Arithmetic
Abstract. We describe a natural generalization of ordinary computation to a third-order setting and give a function calculus with nice properties and recursion-theoretic characteri...
Alan Skelley
SAC
2002
ACM
15 years 5 months ago
Wavelet packet transfer function modelling of nonstationary time series
This article shows how a non-decimated wavelet packet transform (NWPT) can be used to model a response time series,
Guy P. Nason, Theofanis Sapatinas