arXiv Open Access 2011

Quantifier Elimination over Finite Fields Using Gröbner Bases

Sicun Gao André Platzer Edmund M. Clarke

Lihat Sumber

Abstrak

We give an algebraic quantifier elimination algorithm for the first-order theory over any given finite field using Gröbner basis methods. The algorithm relies on the strong Nullstellensatz and properties of elimination ideals over finite fields. We analyze the theoretical complexity of the algorithm and show its application in the formal analysis of a biological controller model.

Topik & Kata Kunci

cs.SC cs.LO

Penulis (3)

Sicun Gao

André Platzer

Edmund M. Clarke

Format Sitasi

APA MLA BibTeX

Gao, S., Platzer, A., Clarke, E.M. (2011). Quantifier Elimination over Finite Fields Using Gröbner Bases. https://arxiv.org/abs/1104.0746

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2011
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓