✦ LIBER ✦

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

✍ Scribed by Zhenyu Huang

Book ID: 118813889
Publisher: Academy of Mathematics and Systems Science, Chinese Academy of Sciences
Year: 2012
Tongue: English
Weight: 243 KB
Volume: 25
Category: Article
ISSN: 1009-6124
DOI: 10.1007/s11424-012-0168-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated Reasoning and Equation Solving

✍ Wen-Tsun Wu; Xiao-Shan Gao 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 369 KB

An explicit finite volume element method

✍ Sutthisak Phongthanapanich; Pramote Dechaumphai 📂 Article 📅 2011 🏛 The Chinese Society of Theoretical and Applied Mec 🌐 English ⚖ 754 KB

A characteristic finite element method w

✍ Jiangguo Liu; Chaoping Chen 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 292 KB 👁 1 views