Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals

DOI10.1016/j.ijar.2023.108928OpenAlexW4367042978MaRDI QIDQ6116524

Jaulin, Luc

Publication date: 18 July 2023

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2023.108928

zbMATH Keywords

interval analysisprojectionsymmetriescontractors

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Contractor programming
• Approximate quantified constraint solving by cylindrical box decomposition
• Mode discernibility and bounded-error state estimation for nonlinear hybrid systems
• Actions of the hyperoctahedral group to compute minimal contractors
• The octagon abstract domain for continuous constraints
• Using zonotopes for overestimation-free interval least-squares -- some geodetic applications
• Inner and Outer Approximations of Existentially Quantified Equality Constraints
• Introduction to Interval Analysis
• Guaranteed robust nonlinear minimax estimation
• Proofs and Fundamentals

This page was built for publication: Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals