Person:748257

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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kyoko Makino