|
|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Sturm, Thomas |
| Title | Quantifier Elimination for Constraint Logic Programming |
| Series | Lecture Notes in Computer Science |
| Volume | 3718 |
| Editor | Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, E. V. |
| Booktitle | Computer Algebra in Scientific Computing: 8th International Workshop, CASC 2005, Kalamata, Greece September 12-16, 2005 |
| Pages | 416-430 |
| Publisher | Springer |
| Address | Berlin, Heidelberg |
| Year | 2005 |
| Pubtype | InCollection |
| Doi | 10.1007/11555964_36 |
| Context | ofsf, pasf |
| Domain | reals, padics |
| Fileid | Sturm_05 |
| Name | Sturm |
| Status | redlog application |
| Xtitle | Quantifier Elimination for Constraint Logic Programming |
| A.D. | T.S. | www@redlog.eu | Validate |