Hitoshi Yanami

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 Proceedings of the 2009 conference on Symbolic numeric computation	2017-02-03	Paper
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation	2016-09-29	Paper
SyNRAC: a toolbox for solving real algebraic constraints Mathematical Software – ICMS 2014	2014-09-08	Paper
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination Theoretical Computer Science	2013-11-29	Paper
A symbolic-numeric approach to multi-objective optimization in manufacturing design Mathematics in Computer Science	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 Computational Science – ICCS 2006	2008-12-09	Paper
Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination Applicable Algebra in Engineering, Communication and Computing	2008-09-10	Paper
Computational Science - ICCS 2004 Lecture Notes in Computer Science	2005-12-23	Paper
Computational Science – ICCS 2005 Lecture Notes in Computer Science	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