Publication Date



Technical Report: UTEP-CS-15-30


In many real-life situations, we are interested in the values of physical quantities x1, ..., xn which are difficult (or even impossible) to measure directly. To estimate these values, we measure easier-to-measure quantities y1, ..., ym which are related to the desired quantities by a known relation, and use these measurement results to estimate xi. The corresponding data processing algorithms are sometimes very complex and time-consuming, so a natural question is: are simpler (and, thus, faster) algorithms possible for solving this data processing problem? In this paper, we show that by using the known Tarski-Seidenberg algorithm, we can check whether such a simplification exists and, if it exists, produce this simplification.