2 problems

Let $f:K\to\mathbb{R}$ be a definable function on a compact definable set $K\subset\mathbb{R}^m$. A definable triangulation of $K$ is a definable triangulation whose open simplices…

Gabrielov's regular triangulation conjecture. There exists a definable triangulation of $K$ such that, for each $n\leq\dim K$ and every open $n$-simplex $\Delta$ of the triangulati…