The following pages link to Hitoshi Yanami (Q359902):
Displaying 8 items.
- A symbolic-numeric approach to multi-objective optimization in manufacturing design (Q359903) (← links)
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
- Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination (Q945005) (← links)
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems (Q2819637) (← links)
- SyNRAC: A Toolbox for Solving Real Algebraic Constraints (Q2879171) (← links)
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q2959017) (← links)
- (Q3046336) (← links)
- (Q3046618) (← links)
