Hitoshi Yanami

zbMath Openyanami.hitoshiMaRDI QIDQ359902

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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
scientific article; zbMATH DE number 2089316 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2089125 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2009904 (Why is no real title available?)	2003-11-26	Paper
scientific article; zbMATH DE number 1952898 (Why is no real title available?)	2003-07-24	Paper

Research outcomes over time

This page was built for person: Hitoshi Yanami