Return to numtr.bbl CVS log

Up to [local] / OpenXM / src / asir-doc / papers

Annotation of OpenXM/src/asir-doc/papers/numtr.bbl, Revision 1.1

1.1     ! noro        1: \begin{thebibliography}{HCJE93}
        !             2:
        !             3: \bibitem[Arn81]{Arnon:81}
        !             4: D.S. Arnon.
        !             5: \newblock {\em Algorithms for the geometry of semi-algebraic sets}.
        !             6: \newblock Ph.d. dissertation, Computer Sciences Department, University of
        !             7:   Wisconsin, Madison, 1981.
        !             8: \newblock Technical Report No. 436.
        !             9:
        !            10: \bibitem[CH91]{CollinsHong:91}
        !            11: George~E. Collins and Hoon Hong.
        !            12: \newblock Partial cylindrical algebraic decomposition for quantifier
        !            13:   elimination.
        !            14: \newblock {\em Journal of Symbolic Computation}, 12(3):299--328, September
        !            15:   1991.
        !            16:
        !            17: \bibitem[Col75]{Collins:75}
        !            18: George~Edwin Collins.
        !            19: \newblock Quantifier elimination for the elementary theory of real closed
        !            20:   fields by cylindrical algebraic decomposition.
        !            21: \newblock In H.~Brakhage, editor, {\em Automata Theory and Formal Languages.
        !            22:   2nd GI Conference}, volume~33 of {\em Lecture Notes in Computer Science},
        !            23:   pages 134--183, Berlin, Heidelberg, New York, May 1975. Gesellschaft f\"ur
        !            24:   Informatik, Springer-Verlag.
        !            25:
        !            26: \bibitem[DH88]{Davenport:88}
        !            27: James~H. Davenport and Joos Heintz.
        !            28: \newblock Real {Q}uantifier {E}limination is {D}oubly exponential.
        !            29: \newblock {\em Journal of Symbolic Computation}, 5(1\&2):29--35, February 1988.
        !            30:
        !            31: \bibitem[DS95a]{DolzmannSturm:95a}
        !            32: Andreas Dolzmann and Thomas Sturm.
        !            33: \newblock {\em Redlog, a Reduce Logic Package}.
        !            34: \newblock FMI, Universit\"at Passau, D-94030 Passau, Germany, preliminary
        !            35:   edition, July 1995.
        !            36: \newblock User Manual.
        !            37:
        !            38: \bibitem[DS95b]{DolzmannSturm:95}
        !            39: Andreas Dolzmann and Thomas Sturm.
        !            40: \newblock Simplification of quan\-ti\-fier-free formulas over ordered fields.
        !            41: \newblock Technical Report MIP-9517, FMI, Universit\"at Passau, D-94030 Passau,
        !            42:   Germany, October 1995.
        !            43: \newblock To appear in the Journal of Symbolic Computation.
        !            44:
        !            45: \bibitem[DS96]{DolzmannSturm:96}
        !            46: Andreas Dolzmann and Thomas Sturm.
        !            47: \newblock Redlog---computer algebra meets computer logic.
        !            48: \newblock Technical Report MIP-9603, FMI, Universit\"at Passau, D-94030 Passau,
        !            49:   Germany, February 1996.
        !            50:
        !            51: \bibitem[DSW96]{DSW:96}
        !            52: Andreas Dolzmann, Thomas Sturm, and Volker Weispfenning.
        !            53: \newblock A new approach for automatic theorem proving in real geometry.
        !            54: \newblock Technical Report MIP-9611, FMI, Universit\"at Passau, D-94030 Passau,
        !            55:   Germany, May 1996.
        !            56:
        !            57: \bibitem[HCJE93]{Hong:93}
        !            58: Hoon Hong, George~E. Collins, Jeremy~R. Johnson, and Mark~J. Encarnacion.
        !            59: \newblock {QEPCAD} interactive version 12.
        !            60: \newblock Kindly communicated to us by Hoon Hong, September 1993.
        !            61:
        !            62: \bibitem[Hen95]{Henning:91}
        !            63: Eckhard Henning.
        !            64: \newblock {Rechnergest\"utzte Dimensionierung analoger Schaltungen auf der
        !            65:   Basis symbolischer Analyseverfahren}.
        !            66: \newblock Technical report, {Zentrum f\"ur Mikroelektronik}, December 1995.
        !            67: \newblock Jahresbericht zum Forschungsprojekt.
        !            68:
        !            69: \bibitem[Laz88]{Lazard:88}
        !            70: Daniel Lazard.
        !            71: \newblock Quantifier elimination: Optimal solution for two classical examples.
        !            72: \newblock {\em Journal of Symbolic Computation}, 5(1\&2):261--266, February
        !            73:   1988.
        !            74:
        !            75: \bibitem[LW93]{LoosWeispfenning:93}
        !            76: R\"udiger Loos and Volker Weispfenning.
        !            77: \newblock Applying linear quantifier elimination.
        !            78: \newblock {\em The Computer Journal}, 36(5):450--462, 1993.
        !            79: \newblock Special issue on computational quantifier elimination.
        !            80:
        !            81: \bibitem[NT92]{NoroTakeshima:92}
        !            82: M.~Noro and T.~Takeshima.
        !            83: \newblock {R}isa/{A}sir---a computer algebra system.
        !            84: \newblock In {\em Proceedings of the ISSAC '92}, pages 387--396, 1992.
        !            85:
        !            86: \bibitem[Tar48]{Tarski:48}
        !            87: A.~Tarski.
        !            88: \newblock A decision method for elementary algebra and geometry.
        !            89: \newblock Technical report, University of California, 1948.
        !            90: \newblock Second edn., rev. 1951.
        !            91:
        !            92: \bibitem[Wei88]{Weispfenning:88}
        !            93: Volker Weispfenning.
        !            94: \newblock The complexity of linear problems in fields.
        !            95: \newblock {\em Journal of Symbolic Computation}, 5(1):3--27, February 1988.
        !            96:
        !            97: \bibitem[Wei94a]{Weispfenning:95b}
        !            98: Volker Weispfenning.
        !            99: \newblock Parametric linear and quadratic optimization by elimination.
        !           100: \newblock Technical Report MIP-9404, FMI, Universit\"at Passau, D-94030 Passau,
        !           101:   Germany, April 1994.
        !           102: \newblock To appear in the Journal of Symbolic Computation.
        !           103:
        !           104: \bibitem[Wei94b]{Weispfenning:94}
        !           105: Volker Weispfenning.
        !           106: \newblock Quantifier elimination for real algebra---the cubic case.
        !           107: \newblock In {\em Proceedings of the International Symposium on Symbolic and
        !           108:   Algebraic Computation in Oxford}, pages 258--263, New York, July 1994. ACM
        !           109:   Press.
        !           110:
        !           111: \bibitem[Wei96a]{Weispfenning:96b}
        !           112: Volker Weispfenning.
        !           113: \newblock Applying quantifier elimination to problems in simulation and
        !           114:   optimization.
        !           115: \newblock Technical Report MIP-9607, FMI, Universit\"at Passau, D-94030 Passau,
        !           116:   Germany, April 1996.
        !           117: \newblock To appear in the Journal of Symbolic Computation.
        !           118:
        !           119: \bibitem[Wei96b]{Weispfenning:96}
        !           120: Volker Weispfenning.
        !           121: \newblock Quantifier elimination for real algebra---the quadratic case and
        !           122:   beyond.
        !           123: \newblock To appear in AAECC, 1996.
        !           124:
        !           125: \end{thebibliography}