REDLOG

REDLOG EXAMPLES DOCUMENTATION DOWNLOADS REFERENCES REMIS · REDUCE

REMIS Paper Data

Solving Geometric Problems with Real Quantifier Elimination

Bibliographic information

AuthorDolzmann, Andreas
TitleSolving Geometric Problems with Real Quantifier Elimination
TypeTechnical Report
NumberMIP-9903
InstitutionFMI, Universität Passau
AddressD-94030 Passau, Germany
MonthJan
Year1999
PubtypeTechReport

Additional data alphabetic by keywords

FileidDolzmann_99
NameDolzmann
Nodoihttp://www.fmi.uni-passau.de/forschung/mip-berichte/MIP-9903.html
Pdffilehttp://redlog.dolzmann.de/papers/pdf/MIP-9903.pdf
Psfilehttp://redlog.dolzmann.de/papers/ps/MIP-9903.ps.Z
Statusredlog application
XtitleSolving Geometric Problems with Real Quantifier Elimination (Technical Report)

A.D. T.S. www@redlog.eu Validate