REDLOG

REDLOG EXAMPLES DOCUMENTATION DOWNLOADS REFERENCES REMIS · REDUCE

REMIS Paper Data

Simulation and Optimization by Quantifier Elimination

Bibliographic information

AuthorWeispfenning, Volker
TitleSimulation and Optimization by Quantifier Elimination
JournalJournal of Symbolic Computation
Volume24
Number2
Pages189-208
MonthAug
Year1997
NoteSpecial issue on applications of quantifier elimination
PubtypeJournal
Doi10.1006/jsco.1997.0122
PreprintWeispfenning_96b

Additional data alphabetic by keywords

FileidWeispfenning_97c
NameWeispfenning
Pdffilehttp://www.europe.idealibrary.com/cgi-bin/delta.bids.ac.uk_8100/class;CFmedia::CMDApplication;deliver/0100045e010807060f000204035301010508/130:1121:57131/article.pdf
Statusredlog application
XtitleSimulation and Optimization by Quantifier Elimination

Applying Quantifier Elimination to Problems in Simulation and Optimization

Bibliographic information

AuthorWeispfenning, Volker
TitleApplying Quantifier Elimination to Problems in Simulation and Optimization
TypeTechnical Report
NumberMIP-9607
InstitutionFMI, Universität Passau
AddressD-94030 Passau, Germany
MonthApr
Year1996
PubtypeTechReport
PublicationWeispfenning_97c

Additional data alphabetic by keywords

FileidWeispfenning_96b
Linkhttp://www.fmi.uni-passau.de/forschung/mip-berichte/MIP-9607.html
NameWeispfenning
Statusredlog algorithm
XtitleApplying Quantifier Elimination to Problems in Simulation and Optimization (Technical Report)

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