REDLOG

REDLOG EXAMPLES DOCUMENTATION DOWNLOADS REFERENCES REMIS · REDUCE

REMIS Paper Data

A Generic Projection Operator for Partial Cylindrical Algebraic Decomposition

Bibliographic information

AuthorSeidl, Andreas and Sturm, Thomas
TitleA Generic Projection Operator for Partial Cylindrical Algebraic Decomposition
EditorRafael Sendra
BooktitleProceedings of the 2003 International Symposium on Symbolic and Algebraic Computation (ISSAC 03) Philadelphia, Pennsylvania
Pages240-247
PublisherACM Press
AddressNew York, NY
Year2003
PubtypeInCollection
Doi10.1145/860854.860903
PreprintSeidlSturm_03

Additional data alphabetic by keywords

ISBN1-58113-641-2
Contextofsf
Domainreals
FileidSeidlSturm_03a
NameSeidl, Sturm
Pdffilehttp://redlog.dolzmann.de/remis/paper/SeidlSturm_03a/p240-seidl.pdf
Statusredlog system
XtitleA Generic Projection Operator for Partial Cylindrical Algebraic Decomposition

A Generic Projection Operator for Partial Cylindrical Algebraic Decomposition

Bibliographic information

AuthorSeidl, Andreas and Sturm, Thomas
TitleA Generic Projection Operator for Partial Cylindrical Algebraic Decomposition
TypeTechnical Report
NumberMIP-0301
InstitutionFMI, Universität Passau
AddressD-94030 Passau, Germany
Monthjan
Year2003
PubtypeTechReport
PublicationSeidlSturm_03a

Additional data alphabetic by keywords

Contextofsf
Domainreals
FileidSeidlSturm_03
NameSeidl, Sturm
Statusredlog system
XtitleA Generic Projection Operator for Partial Cylindrical Algebraic Decomposition (Technical Report)

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