Sciweavers

CASC
2010
Springer
175views Mathematics» more  CASC 2010»
13 years 3 months ago
On Reduction of Lagrange Systems
Valentin Irtegov, Tatyana Titorenko
CASC
2010
Springer
160views Mathematics» more  CASC 2010»
13 years 4 months ago
Factorization of Polynomials and GCD Computations for Finding Universal Denominators
We discuss the algorithms which, given a linear difference equation with rational function coefficients over a field k of characteristic 0, compute a polynomial U(x) ∈ k[x] (a ...
Sergei A. Abramov, A. Gheffar, D. E. Khmelnov
CASC
2010
Springer
155views Mathematics» more  CASC 2010»
13 years 4 months ago
Type Specialization in Aldor
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...
Laurentiu Dragan, Stephen M. Watt
CASC
2010
Springer
153views Mathematics» more  CASC 2010»
13 years 2 months ago
Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden
Abstract. Residue systems present a well-known way to reduce computation cost for symbolic computation. However most residue systems are implemented for integers or polynomials. Th...
Oleg Lobachev, Rita Loogen
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
13 years 4 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
Mathematics
Top of PageReset Settings