On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám. On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. In Traian Muntean, Dimitrios Poulakis, Robert Rolland, editors, Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings. Volume 8080 of Lecture Notes in Computer Science, pages 186-198, Springer, 2013. [doi]

This author has not been identified. Look up 'Sebastian Junges' in GoogleThis author has not been identified. Look up 'Ulrich Loup' in GoogleThis author has not been identified. Look up 'Florian Corzilius' in GoogleThis author has not been identified. Look up 'Erika Ábrahám' in Google

runs on WebDSL