Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Hi-index | 0.00 |
In this paper, we give a way to partition the ternary symmetric forms. Based on this method, we get a sufficient condition for ternary form to be positive semi-definite. At the end of the paper, we will show the application of the partition.