Fast verified computation for solutions of algebraic Riccati equations arising in transport theory.
Shinya MiyajimaPublished in: Numer. Linear Algebra Appl. (2017)
Keyphrases
- polynomial equations
- algebraic geometry
- linear algebra
- difference equations
- differential equations
- boundary value problem
- stochastic differential equations
- square root
- general theory
- benchmark problems
- database
- computer algebra
- knowledge base
- search algorithm
- bayesian networks
- hamilton jacobi
- algebraic structure
- mathematical theory
- numerical methods
- theoretical basis
- theoretical foundation
- dynamical systems
- mathematical model
- theoretical framework