| |
Publications
- [BSS05]
-
Andreas Bernig, Emmanuel Briand et Andreas Seidl. Une traduction de
Das Zerfallen der Curven in gerade Linien (Au sujet des courbes qui se
décomposent en lignes droites) de Paul Gordan, 2005. [abstract, bibtex] [pdf]
- [DSS05]
-
Andreas Dolzmann, Andreas Seidl, and Thomas Sturm, editors.
Algorithmic Algebra and Logic. Books on Demand GmbH, Norderstedt,
2005. [buy].
- [S04]
- Andreas Seidl. Extending Real Quantifier Elimination by
Cylindrical Algebraic Decomposition to Get Answers.
In V. G. Ganzha, E. W. Mayr and E. V. Vorozhtsov,
editors, Proceedings of the Seventh International Workshop on
Computer Algebra in Scientific Computing (CASC 2004), St. Petersburg,
Russia.
[bibtex]
[pdf]
- [DSS04b]
- Andreas Dolzmann and Andreas Seidl and Thomas Sturm. REDLOG User Manual.
Edition 3.0, Passau, Germany, Apr 2004.
[bibtex]
[pdf]
- [DSS04a]
- Andreas Dolzmann and Andreas Seidl and Thomas Sturm. Efficient
Projection Orders for CAD. In Jaime Gutierrez, editor,
Proceedings of the 2004 International Symposium on Symbolic and
Algebraic Computation (ISSAC 2004), Santander, Spain.
[abstract]
[bibtex]
[pdf]
- [CCEFGNPRTS04]
-
Solen Corvez, Fernando Carreras, Fernando Etayo, Mario Fioravanti,
Laureano Gonzalez-Vega, Ioana Necula, Jaime Puig-Pey, Natalia del Rio,
Claudiu Tanasescu, Andreas Seidl. Symbolic-Numeric Approaches for the
Surface-to-Surface Intersection Problem in Computer Aided Geometric
Design.
- [RBCGGNPRTRS04]
-
M.-F. Roy, E. Briand, F. Carreras, L. Gonzalez-Vega, N. Gonzalez-Campos, I. Necula, H. Perdry, N. del Rio, C. Tanasescu, F. Rouillier, A. Seidl. Creating an Electronic Book for Algorithms in Real Algebraic Geometry:
a First Experiment
- [DSS04]
- Andreas Dolzmann and Andreas Seidl and Thomas Sturm. Efficient
Projection Orders for CAD. Technical Report MIP-0401, FMI, Universität
Passau, D-94030 Passau, Germany, January 2004.
[bibtex]
[ps]
[pdf]
- [DS03]
- Andreas Dolzmann and Andreas Seidl. REDLOG -- First-Order Logic
for the Masses. In Journal of Japan Society for Symbolic and
Algebraic Computaiton (JSSAC), 10(1):23-33, 2003.
[abstract]
[bibtex]
[pdf]
- [SS03c]
- Andreas Seidl and Thomas Sturm. Boolean Quantification in a
First-Order Context. In V. G. Ganzha, E. W. Mayr and E. V. Vorozhtsov,
editors, Proceedings of the Sixth International Workshop on
Computer Algebra in Scientific Computing (CASC 2003), Passau,
Germany. [abstract] [pdf] [bibtex]
- [SS03b]
- Andreas Seidl and Thomas Sturm. Boolean Quantification in a
First-Order Context. Technical Report MIP-0304, FMI, Universität
Passau, D-94030 Passau, Germany, July 2003.
[ps]
[pdf]
- [SS03a]
- Andreas Seidl and Thomas Sturm. A Generic Projection Operator for
Partial Cylindrical Algebraic Decomposition. In Rafael Sendra, editor,
Proceedings of the 2003 International Symposium on Symbolic and
Algebraic Computation (ISSAC 03), Philadelphia, Pennsylvania.
[abstract]
[bibtex]
[pdf]
- [SS03]
- Andreas Seidl and Thomas Sturm. A Generic Projection Operator for
Partial Cylindrical Algebraic Decomposition. Technical Report
MIP-0301, FMI, Universität Passau, D-94030 Passau, Germany, January
2003.
[abstract]
[ps]
[pdf]
[bibtex]
- [S02]
- An Efficient Representation of Algebraic Numbers and Polynomials
for Cylindrical Algebraic Decomposition (Extended Abstract).
Proceedings of the 8th Rhine Workshop on Computer Algebra, 2002. [bibtex]
- [S01]
- Andreas Seidl. Effiziente Realisierung reeller algebraischer
Zahlen. Diplomarbeit, Universität Passau, 2001.
[bibtex]
Related Links
|
|