95 search results - page 6 / 19 » Fast linear algebra is stable |
CSL
2005
Springer
14 years 28 days ago
2005
Springer
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...
AUTOMATICA
1999
13 years 7 months ago
1999
Relays are common in automatic control systems. Even linear systems with relay feedback are, however, far from fully understood. New results are given about the behavior of these ...
HASKELL
2006
ACM
14 years 1 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We show that a fast algorithm for the QR factorization of a Toeplitz or Hankel matrix A is weakly stable in the sense that RT R is close to AT A. Thus, when the algorithm is used ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
This paper presents three feedback controllers that achieve an asymptotically stable, periodic, and fast walking gait for a 3D bipedal robot consisting of a torso, revolute knees, ...