Cover Image

Exact Volumes of Semi-Algebraic Convex Bodies

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ramesh, Lakshmi, Weiss, Nicolas
Format:	Preprint
Published:	2026
Subjects:	Algebraic Geometry Symbolic Computation 14P10 (Primary) 62-08, 68W30 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Geometric Approach to Cylindrical Algebraic Decomposition
by: Chen, Rizeng
Published: (2023)

On some Exotic Cylindrical Algebraic Decompositions and Cells
by: Michel, Lucas
Published: (2026)

Cylindrical Algebraic Decomposition in Macaulay2
by: Lee, Corin, et al.
Published: (2025)

A new method for reducing algebraic programs to polynomial programs
by: Maaz, Muhammad, et al.
Published: (2025)

What Kind of Morphisms Induces Covering Maps over a Real Closed Field?
by: Chen, Rizeng
Published: (2025)

An Effective Criterion for Covering Maps Between Real Varieties
by: Chen, Rizeng
Published: (2026)

Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
by: Shang, Weifeng, et al.
Published: (2025)

Sufficient conditions for the surjectivity of radical curve parametrizations
by: Caravantes, Jorce, et al.
Published: (2023)

A Kronecker algorithm for locally closed sets over a perfect field
by: Giménez, Nardo, et al.
Published: (2025)

Majorization and Inequalities among Complete Homogeneous Symmetric Functions
by: Xu, Jia, et al.
Published: (2025)

Massively Parallel Modular Methods in Commutative Algebra and Algebraic Geometry
by: Basson, Dirk, et al.
Published: (2024)

An algorithm for annihilator and Bernstein-Sato polynomial of a rational function
by: González-Villa, Manuel, et al.
Published: (2026)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
by: Davenport, James H., et al.
Published: (2023)

Certified simultaneous isotopic approximation of curves via subdivision
by: Burr, Michael, et al.
Published: (2023)

Effective bounds for polynomial systems defined over the rationals
by: Krick, Teresa
Published: (2025)

Arithmetic of D-Algebraic Functions
by: Tabuguia, Bertrand Teguia
Published: (2023)

Certified Real Eigenvalue Location
by: Solmaz, Baran, et al.
Published: (2026)

Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
by: Davenport, James H., et al.
Published: (2026)

Sparse Nullstellensatz, resultants and determinants of complexes
by: D'Andrea, Carlos, et al.
Published: (2024)

Motives meet SymPy: studying $λ$-ring expressions in Python
by: Sanchez, Daniel, et al.
Published: (2024)

Integer multiplication is at least as hard as matrix transposition
by: Harvey, David, et al.
Published: (2025)

On Minimum CADs for Algebraic Sets in Dimension Three
by: Michel, Lucas
Published: (2026)

Numerically Computing Galois Groups of Minimal Problems
by: Duff, Timothy
Published: (2025)

On the configurations of four spheres supporting the vertices of a tetrahedron
by: Longinetti, Marco, et al.
Published: (2024)

Beyond Worst-Case Analysis for Symbolic Computation: Root Isolation Algorithms
by: Ergür, Alperen A., et al.
Published: (2025)

Revisiting Sampson Approximations for Geometric Estimation Problems
by: Rydell, Felix, et al.
Published: (2024)

Certifying solutions of degenerate semidefinite programs
by: Kolmogorov, Vladimir, et al.
Published: (2024)

Polynomial-Time Algorithms for Black-Box Distributive Expanded Groups
by: Anokhin, Mikhail
Published: (2025)

Computing conservative probabilities of rare events with surrogates
by: Bousquet, Nicolas
Published: (2024)

The CompGIT package: a computational tool for Geometric Invariant Theory quotients
by: Hanson, Robert, et al.
Published: (2025)

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gröbner Systems
by: Shirato, Yusuke, et al.
Published: (2024)

Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments
by: Kofnov, Andrey, et al.
Published: (2022)

D-Algebraic Functions
by: Manssour, Rida Ait El, et al.
Published: (2023)

Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems
by: Okazaki, Takumu, et al.
Published: (2025)

Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets
by: Dai, Zihao, et al.
Published: (2024)

A semi-numerical algorithm for the homology lattice and periods of complex elliptic surfaces over the projective line
by: Pichon-Pharabod, Eric
Published: (2024)

A Monadic Calculus with Episodic Flows
by: Henning, Sotirios
Published: (2024)

Sparse systems and algorithmic equidimensional decomposition
by: Herrero, Maria Isabel, et al.
Published: (2025)

Comprehensive Restriction Algorithm for Hypergeometric Systems
by: Nakayama, Hiromasa, et al.
Published: (2025)

Certified simultaneous isotopic approximation of curves via subdivision
by: Burr, Michael, et al.
Published: (2024)