The following pages link to Kyoko Makino (Q748257):
Displayed 30 items.
- (Q618185) (redirect page) (← links)
- Rigorous and accurate enclosure of invariant manifolds on surfaces (Q618187) (← links)
- Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization (Q642356) (← links)
- Propagation of large uncertainty sets in orbital dynamics by automatic domain splitting (Q748258) (← links)
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models (Q1276129) (← links)
- Efficient control of the dependency problem based on Taylor model methods (Q1300080) (← links)
- New methods for high-dimensional verified quadrature (Q1300081) (← links)
- Viscous fingering patterns in polymer solutions (Q1373375) (← links)
- Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY (Q1779571) (← links)
- Controlling the wrapping effect in the solution of ODEs for asteroids (Q1869607) (← links)
- Computing validated solutions of implicit differential equations (Q1872003) (← links)
- Verified integration of dynamics in the solar system. (Q1875034) (← links)
- Higher order verified inclusions of multidimensional systems by Taylor models. (Q1875382) (← links)
- (Q2830457) (← links)
- (Q2844217) (← links)
- Rigorous global search using taylor models (Q2959013) (← links)
- Rigorous integration of flows and ODEs using taylor models (Q2959020) (← links)
- (Q3125536) (← links)
- (Q3184909) (← links)
- (Q3184910) (← links)
- (Q3517716) (← links)
- (Q3545308) (← links)
- (Q4463457) (← links)
- Verified High-Order Integration of DAEs and Higher-Order ODEs (Q4577124) (← links)
- (Q4808034) (← links)
- Validation of transfer map calculation for electrostatic deflectors in the code <i>COSY INFINITY</i> (Q4992415) (← links)
- Verified Computations Using Taylor Models and Their Applications (Q5086227) (← links)
- Rigorous Reachability Analysis and Domain Decomposition of Taylor Models (Q5086231) (← links)
- (Q5437369) (← links)
- (Q5444070) (← links)