Quantifier Elimination over Finite Fields Using Gröbner Bases
From MaRDI portal
Publication:3014937
DOI10.1007/978-3-642-21493-6_9zbMath1339.68321arXiv1104.0746OpenAlexW1482981524MaRDI QIDQ3014937
Sicun Gao, André Platzer, Edmund M. Clarke
Publication date: 8 July 2011
Published in: Algebraic Informatics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1104.0746
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Finite fields (field-theoretic aspects) (12E20) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (max. 100)
Cites Work
This page was built for publication: Quantifier Elimination over Finite Fields Using Gröbner Bases