P-adic Constraint Solving.

Andreas Dolzmann, Thomas Sturm

Browse the full ISSAC paper archive.