|
|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Dolzmann, Andreas and Sturm, Thomas |
| Title | P-adic Constraint Solving |
| Editor | Dooley, Sam |
| Booktitle | Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation (ISSAC 99), Vancouver, BC |
| Pages | 151-158 |
| Publisher | ACM Press |
| Address | New York, NY |
| Month | Jul |
| Year | 1999 |
| Pubtype | InCollection |
| Doi | 10.1145/309831.309894 |
| Preprint | DolzmannSturm_99 |
| Context | dvfsf |
| Domain | padics |
| Fileid | DolzmannSturm_99b |
| Name | Dolzmann, Sturm |
| Pdffile | http://redlog.dolzmann.de/remis/paper/DolzmannSturm_99b/p151-dolzmann.pdf |
| Status | redlog system |
| Xtitle | P-adic Constraint Solving |
| Author | Dolzmann, Andreas and Sturm, Thomas |
| Title | P-adic Constraint Solving |
| Type | Technical Report |
| Number | MIP-9901 |
| Institution | FMI, Universität Passau |
| Address | D-94030 Passau, Germany |
| Month | Jan |
| Year | 1999 |
| Pubtype | TechReport |
| Publication | DolzmannSturm_99b |
| Context | dvfsf |
| Domain | padics |
| Fileid | DolzmannSturm_99 |
| Name | Dolzmann, Sturm |
| Pdffile | http://redlog.dolzmann.de/papers/pdf/MIP-9901.pdf |
| Psfile | http://redlog.dolzmann.de/papers/ps/MIP-9901.ps.Z |
| Status | redlog system |
| Xtitle | P-adic Constraint Solving (Technical Report) |
| A.D. | T.S. | www@redlog.eu | Validate |