Inproceedings,

P-adic Constraint Solving.

, and .
ISSAC, page 151-158. ACM, (1999)

Meta data

Tags

Users

  • @dblp

Comments and Reviews