Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition

formal methods,2011, 引用: 7

Encyclopedia of Computer Science,2003, 引用: 0

Journal of Mathematical Imaging and Vision,1999, 引用: 1

Algebraic Informatics,2011, 引用: 0

Logical Analysis of Hybrid Systems,2010, 引用: 1

Journal of Mathematical Sciences,1992, 引用: 0

,2006, 引用: 2,648

conference on automated deduction,2013, 引用: 13

Journal of Automated Reasoning,2012, 引用: 52

conference on automated deduction,2010, 引用: 0