Hitoshi Yanami

Available identifiers

zbMath Open yanami.hitoshiMaRDI QIDQ359902

List of research outcomes

Publication	Date of Publication	Type
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination	2017-02-03	Paper
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems	2016-09-29	Paper
SyNRAC: a toolbox for solving real algebraic constraints	2014-09-08	Paper
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination	2013-11-29	Paper
A symbolic-numeric approach to multi-objective optimization in manufacturing design	2013-08-23	Paper
Multi-objective design based on symbolic computation and its application to hard disk slider design	2010-09-14	Paper
A symbolic-numeric approach to some classes of parametric optimization problems for manufacturing design	2010-03-10	Paper
Development of SyNRAC	2008-12-09	Paper
Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination	2008-09-10	Paper
Computational Science - ICCS 2004	2005-12-23	Paper
Computational Science – ICCS 2005	2005-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q3046618	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3046336	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4434828	2003-11-26	Paper
https://portal.mardi4nfdi.de/entity/Q4414279	2003-07-24	Paper

Research outcomes over time

This page was built for person: Hitoshi Yanami