Parametric equation solving and quantifier elimination in finite fields with the characteristic set method

From MaRDI portal
Publication:2439880

DOI10.1007/s11424-012-0168-4zbMath1292.93047OpenAlexW2140913328MaRDI QIDQ2439880

Zhen Yu Huang

Publication date: 18 March 2014

Published in: Journal of Systems Science and Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11424-012-0168-4




Related Items (5)



Cites Work


This page was built for publication: Parametric equation solving and quantifier elimination in finite fields with the characteristic set method