Hans J. Stetter profile picture

Hans J. Stetter

Analysis of Discretization Methods for Ordinary Differential Equations
Numerical polynomial algebra
Scientific Computation with Automatic Result Verification
Scientific Computation with Automatic Result Verification
Analysis of Discretization Methods for Ordinary Differential Equations
Analysis of Discretization Methods for Ordinary Differential Equations
Analysis of Discretization Methods for Ordinary Differential Equations