Generic Hermitian Quantifier Elimination

Lorenz Alexander Gilch, Andreas Dolzmann

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationArtificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Proceedings
EditorsBruno Buchberger, John Campbell
Place of PublicationBerlin
PublisherSpringer
Pages80-93
ISBN (Print)3-540-23212-5
Publication statusPublished - 2004

Publication series

NameArtificial Intelligence and Symbolic Computation
PublisherSpringer

Cite this