Kyoko Makino

Available identifiers

zbMath Open makino.kyokoMaRDI QIDQ748257

List of research outcomes

Publication	Date of Publication	Type
Verified Computations Using Taylor Models and Their Applications	2022-07-01	Paper
Rigorous Reachability Analysis and Domain Decomposition of Taylor Models	2022-07-01	Paper
Validation of transfer map calculation for electrostatic deflectors in the code COSY INFINITY	2021-06-08	Paper
Verified High-Order Integration of DAEs and Higher-Order ODEs	2018-07-16	Paper
Rigorous global search using taylor models	2017-02-03	Paper
Rigorous integration of flows and ODEs using taylor models	2017-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q2830457	2016-10-28	Paper
Propagation of large uncertainty sets in orbital dynamics by automatic domain splitting	2015-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q2844217	2013-08-28	Paper
Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization	2011-10-26	Paper
Rigorous and accurate enclosure of invariant manifolds on surfaces	2011-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q3184909	2009-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q3184910	2009-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q3545308	2008-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q3517716	2008-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q5444070	2008-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q5437369	2008-01-18	Paper
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY	2005-06-01	Paper
Verified integration of dynamics in the solar system.	2004-08-26	Paper
Higher order verified inclusions of multidimensional systems by Taylor models.	2004-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4463457	2004-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4808034	2003-10-19	Paper
Computing validated solutions of implicit differential equations	2003-05-04	Paper
Controlling the wrapping effect in the solution of ODEs for asteroids	2003-04-28	Paper
New methods for high-dimensional verified quadrature	2000-11-02	Paper
Efficient control of the dependency problem based on Taylor model methods	1999-11-23	Paper
Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models	1999-01-17	Paper
Viscous fingering patterns in polymer solutions	1997-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q3125536	1997-05-11	Paper

Research outcomes over time

This page was built for person: Kyoko Makino