Sciweavers

1056 search results - page 19 / 212
» Handbook of mathematical functions
Sort
View
MPC
2000
Springer
105views Mathematics» more  MPC 2000»
14 years 6 days ago
The Universal Resolving Algorithm: Inverse Computation in a Functional Language
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...
Sergei M. Abramov, Robert Glück
ACMMPC
2000
Springer
236views Mathematics» more  ACMMPC 2000»
14 years 1 months ago
Calculating Functional Programs
Abstract. Functional programs are merely equations; they may be manipulated by straightforward equational reasoning. In particular, one can use this style of reasoning to calculate...
Jeremy Gibbons
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
13 years 7 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
MICS
2010
102views more  MICS 2010»
13 years 7 months ago
Computing Zeta Functions of Superelliptic Curves in Larger Characteristic
Abstract. Following Gaudry and G¨urel who extended Kedlaya’s point-counting algorithm to superelliptic curves, we introduce Harvey’s running time improvements for large enough...
Moritz Minzlaff
MCM2
2011
51views more  MCM2 2011»
12 years 11 months ago
Fundamental Passacaglia: Harmonic Functions and the Modes of the Musical Tetractys
Abstract. In this paper we take the three tonal functions tonic, subdominant, dominant out of their usual theoretical domicile – the combinatorics of fifth-related triads enrich...
Karst de Jong, Thomas Noll