Sciweavers

9 search results - page 1 / 2
» casc 2010
Sort
View
CASC
2010
Springer
175views Mathematics» more  CASC 2010»
13 years 2 months ago
On Reduction of Lagrange Systems
Valentin Irtegov, Tatyana Titorenko
CASC
2010
Springer
149views Mathematics» more  CASC 2010»
13 years 3 months ago
Series Transformations to Improve and Extend Convergence
G. A. Kalugin, D. J. Jeffrey
AICOM
2010
75views more  AICOM 2010»
13 years 5 months ago
Large theory reasoning with SUMO at CASC
Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven T...
CASC
2010
Springer
155views Mathematics» more  CASC 2010»
13 years 3 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