9 citations · 39 across the 26 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
math.DS2011★ 2 cited
A method to rigorously enclose eigendecompositions of interval matrices
Roberto Castelli, Jean-Philippe Lessard
In this paper, a rigorous computational method to enclose eigendecompositions of complex interval matrices is proposed. Each eigenpair is found by solving a nonlinear equ…
math.DS2011★ 1 cited
Rigorous numerics in Floquet theory: computing stable and unstable bundles of periodic orbits
Roberto Castelli, Jean-Philippe Lessard
In this paper, a new rigorous numerical method to compute fundamental matrix solutions of non-autonomous linear differential equations with periodic coefficients is introduced. Dec…