Effective quantifier elimination for industrial applications - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Hirokazu Anai. Effective quantifier elimination for industrial applications. In Katsusuke Nabeshima, Kosaku Nagasaka, Franz Winkler, Ágnes Szántó, editors, International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014. pages 18-19, ACM, 2014. [doi]

The following publications are possibly variants of this publication:

An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier eliminationHidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama. TCS, 479:43-69, 2013. [doi]

An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier eliminationHidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama. snc 2009: 55-64 [doi]

runs on WebDSL