DMCA

Solving Univariate P-adic Constraints (2004)

by Thomas Sturm , Volker Weispfenning