REDLOG

REDLOG EXAMPLES DOCUMENTATION DOWNLOADS REFERENCES REMIS · REDUCE

REMIS Paper Data

Real Quantifier Elimination in Practice

Bibliographic information

AuthorDolzmann, Andreas and Sturm, Thomas and Weispfenning, Volker
TitleReal Quantifier Elimination in Practice
EditorMatzat, B. H. and Greuel, G.-M. and Hiss, G.
BooktitleAlgorithmic Algebra and Number Theory
Pages221-247
PublisherSpringer
AddressBerlin
Year1998
Isbn3-540-64670-1
PubtypeInCollection
PreprintDSW_97

Additional data alphabetic by keywords

FileidDSW_98a
NameDolzmann, Sturm, Weispfenning
Nodoihttp://www.amazon.com/Algorithmic-Algebra-Number-Theory-Conference/dp/3540646701/sr=8-1/qid=1165741097/ref=sr_1_1/104-8860029-6997559?ie=UTF8&s=books
Statusredlog application
XtitleReal Quantifier Elimination in Practice

Real Quantifier Elimination in Practice

Bibliographic information

AuthorDolzmann, Andreas and Sturm, Thomas and Weispfenning, Volker
TitleReal Quantifier Elimination in Practice
TypeTechnical Report
NumberMIP-9720
InstitutionFMI, Universität Passau
AddressD-94030 Passau, Germany
MonthDec
Year1997
PubtypeTechReport
PublicationDSW_98a

Additional data alphabetic by keywords

FileidDSW_97
NameDolzmann, Sturm, Weispfenning
Pdffilehttp://redlog.dolzmann.de/papers/pdf/MIP-9720.pdf
Psfilehttp://redlog.dolzmann.de/papers/ps/MIP-9720.ps.Z
Statusredlog application
XtitleReal Quantifier Elimination in Practice (Technical Report)

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