Sciweavers

2008 search results - page 6 / 402
» Computing with Equations
Sort
View
CORR
2006
Springer
101views Education» more  CORR 2006»
15 years 2 months ago
Fast computation of power series solutions of systems of differential equations
We propose algorithms for the computation of the first N terms of a vector (or a full basis) of power series solutions of a linear system of differential equations at an ordinary ...
Alin Bostan, Frédéric Chyzak, Fran&c...
100
Voted
MOC
1998
104views more  MOC 1998»
15 years 2 months ago
Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
Abstract. Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique abstract existence results based...
Konstantin Mischaikow, Marian Mrozek
CHI
2011
ACM
14 years 6 months ago
Is the media equation a flash in the pan?: the durability and longevity of social responses to computers
Research on social responses to computers often assesses only first-impression reactions during a single experimental session, providing limited knowledge about the lasting effect...
Laura M. Pfeifer, Timothy W. Bickmore
ENTCS
2002
110views more  ENTCS 2002»
15 years 2 months ago
The Solution Operator of the Korteweg-de Vries Equation is Computable
The initial value problem of the Korteweg-de Vries (KdV) equation posted on the real line R: ut + uux + uxxx = 0, x R, t R u(x, 0) = (x), defines a nonlinear map KR from the ...
Klaus Weihrauch, Ning Zhong 0002
107
Voted
CIE
2009
Springer
15 years 9 months ago
Computability of Continuous Solutions of Higher-Type Equations
Martín Hötzel Escardó