The following pages link to Hirokazu Anai (Q359817):
Displayed 50 items.
- Plant/controller design integration for \(\mathcal H_2\) control based on symbolic-numeric hybrid optimization (Q359820) (← links)
- An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems (Q359900) (← links)
- 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)
- Optimizing a particular real root of a polynomial by a special cylindrical algebraic decomposition (Q691649) (← links)
- Computer algebra for guaranteed accuracy. How does it help? (Q849196) (← links)
- Inference of probabilities over a stochastic IL-system by quantifier elimination (Q926324) (← links)
- Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination (Q945005) (← links)
- Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem (Q1025383) (← links)
- An indirect search algorithm for disaster restoration with precedence and synchronization constraints (Q1704041) (← links)
- Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas (Q2807841) (← links)
- Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems (Q2817922) (← 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)
- Solution of algebraic riccati equations using the sum of roots (Q2883819) (← links)
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q2959017) (← links)
- Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition (Q3090905) (← links)
- Mathematics by machine (Q3452371) (← links)
- Deciding linear-trigonometric problems (Q3454738) (← links)
- Applied Algebraic Geometry in Model Based Design for Manufacturing (Q3455008) (← links)
- An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks (Q3508506) (← links)
- Development of SyNRAC (Q3545111) (← links)
- (Q4329974) (← links)
- (Q4329975) (← links)
- (Q4434828) (← links)
- (Q4499559) (← links)
- (Q4552457) (← links)
- (Q4703420) (← links)
- (Q4705543) (← links)
- (Q4705546) (← links)
- (Q4705600) (← links)
- (Q4714013) (← links)
- (Q4948172) (← links)
- (Q5088991) (← links)
- DTM-Based Filtrations (Q5118358) (← links)
- Formula Simplification for Real Quantifier Elimination Using Geometric Invariance (Q5119942) (← links)
- (Q5132749) (← links)
- Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 (Q5145435) (← links)
- An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification (Q5168474) (← links)
- (Q5188232) (← links)
- (Q5188279) (← links)
- Sum of roots with positive real parts (Q5262738) (← links)
- Symbolic optimization of algebraic functions (Q5301617) (← links)
- (Q5301672) (← links)
- A parameter space approach to fixed-order robust controller synthesis by quantifier elimination (Q5423848) (← links)
- Exact Parameter Determination for Parkinson’s Disease Diagnosis with PET Using an Algebraic Approach (Q5429357) (← links)
- Computational Science – ICCS 2005 (Q5709735) (← links)
- Computational Science - ICCS 2004 (Q5712773) (← links)
- (Q5747912) (← links)
- On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization (Q5756203) (← links)