Search Sciweavers | Sciweavers

23

CORR
2006
Springer

101views Education» more CORR 2006»

Fast computation of power series solutions of systems of differential equations

13 years 7 months ago

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...

claim paper

Read More »

26

click to vote

MOC
1998

104views more MOC 1998»

Chaos in the Lorenz equations: A computer assisted proof. Part II: Details

13 years 7 months ago

Download www.ams.org

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

claim paper

Read More »

25

click to vote

CHI
2011
ACM

238views Human Computer Interaction» more CHI 2011»

Is the media equation a flash in the pan?: the durability and longevity of social responses to computers

12 years 11 months ago

Download relationalagents.com

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

claim paper

Read More »

28

click to vote

ENTCS
2002

110views more ENTCS 2002»

The Solution Operator of the Korteweg-de Vries Equation is Computable

13 years 7 months ago

Download www.fernuni-hagen.de

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

claim paper

Read More »

26

click to vote

CIE
2009
Springer

95views Applied Computing» more CIE 2009»

Computability of Continuous Solutions of Higher-Type Equations

14 years 2 months ago

Download www.cs.bham.ac.uk

Martín Hötzel Escardó

claim paper