Generic Hermitian Quantifier Elimination

Lorenz Alexander Gilch; Andreas Dolzmann

Generic Hermitian Quantifier Elimination

Lorenz Alexander Gilch, Andreas Dolzmann

Institute of Discrete Mathematics (5050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Proceedings
Editors	Bruno Buchberger, John Campbell
Place of Publication	Berlin
Publisher	Springer
Pages	80-93
ISBN (Print)	3-540-23212-5
Publication status	Published - 2004

Publication series

Name	Artificial Intelligence and Symbolic Computation
Publisher	Springer

Cite this

Generic Hermitian Quantifier Elimination. / Gilch, Lorenz Alexander; Dolzmann, Andreas.
Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Proceedings. ed. / Bruno Buchberger; John Campbell. Berlin: Springer, 2004. p. 80-93 (Artificial Intelligence and Symbolic Computation).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

@inproceedings{422f9fd6259e4b82ab1db0dce31c4ff2,

title = "Generic Hermitian Quantifier Elimination",

author = "Gilch, {Lorenz Alexander} and Andreas Dolzmann",

year = "2004",

language = "English",

isbn = "3-540-23212-5",

series = "Artificial Intelligence and Symbolic Computation",

publisher = "Springer",

pages = "80--93",

editor = "Bruno Buchberger and John Campbell",

booktitle = "Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Proceedings",

}

TY - GEN

T1 - Generic Hermitian Quantifier Elimination

AU - Gilch, Lorenz Alexander

AU - Dolzmann, Andreas

PY - 2004

Y1 - 2004

UR - http://www.math.tugraz.at/~gilch/person/ghermite.ps

M3 - Conference paper

SN - 3-540-23212-5

T3 - Artificial Intelligence and Symbolic Computation

SP - 80

EP - 93

BT - Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Proceedings

A2 - Buchberger, Bruno

A2 - Campbell, John

PB - Springer

CY - Berlin

ER -

Generic Hermitian Quantifier Elimination

Publication series

Other files and links

Cite this