Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleQuantifier elimination over finite fields using Gr\"obner bases.
Author(s) E. M. Clarke, Shuhong Gao, Andre Platzer
TypeBook, Chapter in Book, Conference Proceeding
AbstractWe 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.
ISBN978-3-642-21492-9/pbk
URL http://link.springer.com/chapter/10.1007%2F978-3-642-21493-6_9
LanguageEnglish
Pages140--157
PublisherBerlin: Springer
Year2011
Edition0
Translation No
Refereed No
Webmaster