# BibTeX Entries for RISC Technical Reports of the Year: 1990

@TechReport{RiscReport90-01,
  author =       "Michael KALKBRENER",
  title =        "{Primitive Polynomial Remainder Sequences}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-01",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-01.html{"}>90-01.html</a>",
}

@TechReport{RiscReport90-02,
  author =       "Peter PAULE",
  title =        "{Computer Algebra Algorithmen f{\"u}r q-Reihen und
                 kombinatorische Identit{\"a}ten}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-02",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra, Combinatorics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-02.html{"}>90-02.html</a>",
}

@TechReport{RiscReport90-03,
  author =       "Udo FEISCHL",
  title =        "{An Algorithmic Tool Kit for the 2D-Representation of
                 Chemical Structures}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-03",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Chemistry, Graphics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-03.html{"}>90-03.html</a>",
}

@TechReport{RiscReport90-04,
  author =       "Sylvia NEUWIRTH Sabine STIFTER",
  title =        "{GET: A Workbench for Tunnel Geometries}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-04",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Graphics",
  note =         "Published in Proceedings IASTED International
                 Symposium Applied Informatics, Innsbruck, Austria,
                 Feb.\ 20-23, 1990, M.H. Hamza (ed.), Acta Press, pp.
                 280--283.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-04.html{"}>90-04.html</a>",
}

@TechReport{RiscReport90-05,
  author =       "Karel STOKKERMANS",
  title =        "{Concise Overview of Problems in
                 Stereophenomenology}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-05",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Automated Theorem Proving",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-05.html{"}>90-05.html</a>",
}

@TechReport{RiscReport90-06,
  author =       "Sabine STIFTER",
  title =        "{Gripping Semi-Algebraic Objects by Robot Hands}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-06",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra, Robotics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-06.html{"}>90-06.html</a>",
}

@TechReport{RiscReport90-07,
  author =       "Ryan STANSIFER Gerald BAUMGARTNER",
  title =        "{A Proposal to Study Type Systems for Computer
                 Algebra}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-07",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra, Systems",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-07.html{"}>90-07.html</a>",
}

@TechReport{RiscReport90-08,
  author =       "Sabine STIFTER",
  title =        "{Voronoi Diagrams of General Sets in 2D, Especially
                 Semi-Algebraic Sets}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-08",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computational Geometry, Computer Algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-08.html{"}>90-08.html</a>",
}

@TechReport{RiscReport90-09,
  author =       "Heinrich ROLLETSCHEK Ehrich KALTOFEN",
  title =        "{Computing Greatest Common Divisors and Factorizations
                 in Quadratic Number Fields}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-09",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra",
  note =         "Published in Mathematics of Computation, vol. 53/188,
                 pp. 697--720.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-09.html{"}>90-09.html</a>",
}

@TechReport{RiscReport90-10,
  author =       "K. STOHL",
  title =        "{Schmelzenreihung im Stahlwerk LD 3 der VOEST-Alpine
                 Stahl Linz}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-10",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Expert Systems",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-10.html{"}>90-10.html</a>",
}

@TechReport{RiscReport90-11,
  author =       "I. LIEDLBAUER {Th. MORITZ, K. STOHL, J. WEIGL}",
  title =        "{Endbericht der Vorstudie ``Schmelzenreihung'' im
                 Stahlwerk LD3}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-11",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Expert Systems",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-11.html{"}>90-11.html</a>",
}

@TechReport{RiscReport90-12,
  author =       "Thomas WEIGERT Thomas MORITZ",
  title =        "{Modellierung und Kontrolle von Regel-Wissen mit
                 Nexpert Object}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-12",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Expert Systems",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-12.html{"}>90-12.html</a>",
}

@TechReport{RiscReport90-13,
  author =       "Herwig MAYR",
  title =        "{High-Efficient Collision Checking for Robots/NC Using
                 Linear Programming Techniques}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-13",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Operations Research, Robot Programming",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-13.html{"}>90-13.html</a>",
}

@TechReport{RiscReport90-14,
  author =       "Johann HEINZELREITER Herwig MAYR",
  title =        "{The Layer Tree: An Efficient Solid Modeling Scheme
                 for Workpieces and Tools}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-14",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Robot Programming, Geometric Modeling",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-14.html{"}>90-14.html</a>",
}

@TechReport{RiscReport90-15,
  author =       "Sabine STIFTER",
  title =        "{Software Systems for Robot Simulation}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-15",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Robot Programming",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-15.html{"}>90-15.html</a>",
}

@TechReport{RiscReport90-16,
  author =       "Sabine STIFTER Wolfgang P{\"O}LZLEITNER",
  title =        "{Active Sensing Using Associative Processes and 3D
                 Geometric Modeling}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-16",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Geometric Modeling",
  note =         "Published in Proc. {\"O}AGM Tagung, Image Acquisation
                 and Real-Time Visualization, May 3-4, Salzburg,
                 Austria, pp. 139--151",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-16.html{"}>90-16.html</a>",
}

@TechReport{RiscReport90-17,
  author =       "Kurt SIEGL",
  title =        "{A Parallel Version of Buchberger's Algorithm in
                 STRAND88}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-17",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Gr{\"o}bner Bases, Parallel Computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-17.html{"}>90-17.html</a>",
}

@TechReport{RiscReport90-18,
  author =       "W. M. O. HITTMAIR {M. KALKBRENER, W. HERFORT, J.
                 SEKE}",
  title =        "{Application of Primitive Polynomial Remainder
                 Sequences to a Problem of Quantum Optics}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-18",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra",
  note =         "Published in Sitzungsbericht der {\"O}. Akademie der
                 Wissenschaften",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-18.html{"}>90-18.html</a>",
}

@TechReport{RiscReport90-19,
  author =       "Heinrich ROLLETSCHEK",
  title =        "{Shortest Division Chains in Imaginary Quadratic
                 Number Fields}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-19",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Number Theory",
  note =         "Published in Journ. of Symbolic Computation, vol.9,
                 pp. 321-354, 1990",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-19.html{"}>90-19.html</a>",
}

@TechReport{RiscReport90-20,
  author =       "Sabine STIFTER",
  title =        "{The Role of Symbolic Computation in Factory
                 Automation}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-20",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Robotics",
  note =         "Published in Proc. of $23^{rd}$ ISATA Int. Symp. on
                 Automotive Technology and Automation, Dec. 3-7, 1990,
                 Vienna, Austria, vol. II, pp. 187--194.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-20.html{"}>90-20.html</a>",
}

@TechReport{RiscReport90-21,
  author =       "Michael KALKBRENER",
  title =        "{Solving Systems of Bivariate Algebraic Equations by
                 Using Primitive Polynomial Remainder Sequences}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-21",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-21.html{"}>90-21.html</a>",
}

@TechReport{RiscReport90-22,
  author =       "Sylvia NEUWIRTH",
  title =        "{Benutzerhandbuch f{\"u}r Simulation der Tunnelfahrt
                 und Konstruktion der T{\"u}bbinge}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-22",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Robotics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-22.html{"}>90-22.html</a>",
}

@TechReport{RiscReport90-23,
  author =       "Herwig MAYR Johann HEINZELREITER",
  title =        "{Solid Modeling of Dynamic Objects Using Spatial
                 Enumeration Techniques, A Survey}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-23",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Robotics, computational Geometry, CAM",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-23.html{"}>90-23.html</a>",
}

@TechReport{RiscReport90-24,
  author =       "Franz WINKLER",
  title =        "{Representation of Algebraic Curves}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-24",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Algebraic geometry",
  note =         "Published in Presented at the IV International
                 Conference on Computer Algebra in Physical Research,
                 Dubna, USSR, May 22-26, 1990.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-24.html{"}>90-24.html</a>",
}

@TechReport{RiscReport90-25,
  author =       "Taku TAKESHIMA {Kazuhiro YOKOYAMA, Masayuki NORO}",
  title =        "{On Determining the Solvability of Polynomials}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-25",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra",
  note =         "Published in Proceedings ISSAC'90, Tokyo, Japan, Aug.
                 20--24, 1990",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-25.html{"}>90-25.html</a>",
}

@TechReport{RiscReport90-26,
  author =       "Taku TAKESHIMA {Kazuhiro YOKOYAMA, Masayuki NORO}",
  title =        "{On Factoring Multi-variate Polynomials over
                 Algebraically Closed Fields}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-26",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra",
  note =         "Published in Proceedings ISSAC'90, Tokyo, Japan, Aug.
                 20--24, 1990, (Extended Abstract)",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-26.html{"}>90-26.html</a>",
}

@TechReport{RiscReport90-27,
  author =       "Michael KALKBRENER",
  title =        "{Implicitization by Using Gr{\"o}bner Bases}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-27",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra, Gr{\"o}bner Bases",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-27.html{"}>90-27.html</a>",
}

@TechReport{RiscReport90-28,
  author =       "Herwig MAYR",
  title =        "{Verifying Robotics/NC Tasks by Real-Time Dynamic
                 Collision Checking}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-28",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Robotics",
  note =         "Published in Proc. $23^{rd}$ ISATA Int. Symp. on
                 Automotive Technology and Automation, Advanced
                 Automotive Manufacturing, Dec. 3-7, 1990, Vienna,
                 Austria, vol. 1, J.I. soliman (ed.), pp. 451--458.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-28.html{"}>90-28.html</a>",
}

@TechReport{RiscReport90-29,
  author =       "Sabine STIFTER",
  title =        "{Visualization of Algebraic Surfaces Using Spatial
                 Enumeration}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-29",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra, CAD",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-29.html{"}>90-29.html</a>",
}

@TechReport{RiscReport90-30,
  author =       "Sabine STIFTER {Markus MAYR, Sylvia NEUWIRTH}",
  title =        "{A Simulation and Planning Package for Tunnel
                 Construction}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-30",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Robotics, CAD",
  note =         "Published in Proc. $23^{rd}$ ISATA Int. Symp. on
                 Automotive Technology and Automation, Dec. 3-7, 1990,
                 Vienna, Austria, vol. II, pp. 156--163.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-30.html{"}>90-30.html</a>",
}

@TechReport{RiscReport90-31,
  author =       "Miguel A. BORGES T.",
  title =        "{Applications of Gr{\"o}bner Bases in Commutative
                 Group Theory}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-31",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Gr{\"o}bner Bases",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-31.html{"}>90-31.html</a>",
}

@TechReport{RiscReport90-32,
  author =       "Sabine STIFTER",
  title =        "{Conversions of Intersection Tests to Collision
                 Tests}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-32",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computational Geometry",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-32.html{"}>90-32.html</a>",
}

@TechReport{RiscReport90-33,
  author =       "Edward S. BLUROCK",
  title =        "{Computer Aided Organic Synthesis: Development and
                 Implementation of a Complete Synthetic Strategy}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-33",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Chemistry",
  note =         "Published in Tetrahedron Computer Methodology, vol. 2,
                 no. 4, 1989, pp. 207-222.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-33.html{"}>90-33.html</a>",
}

@TechReport{RiscReport90-34,
  author =       "Thomas STRELOW Edward BLUROCK",
  title =        "{Towards Synthesis Planning Aids Through Databank
                 Analysis}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-34",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Chemistry, Expert Systems",
  note =         "Published in Software Development in Chemistry, vol.
                 4, 1990",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-34.html{"}>90-34.html</a>",
}

@TechReport{RiscReport90-35,
  author =       "Herwig MAYR Johann HEINZELREITER",
  title =        "{Machining Simulation and Verification by Efficient
                 Dynamic Modeling}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-35",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Geometric modeling, robotics",
  note =         "Published in Proc. of $23^{rd}$ ISATA Int. Symp. on
                 Automotive Technology and Automation, Dec. 3-7, 1990,
                 Vienna, Austria, vol. 1, J.I. Soliman (ed.), vol. 1,
                 pp. 489--496.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-35.html{"}>90-35.html</a>",
}

@TechReport{RiscReport90-36,
  author =       "Sabine STIFTER",
  title =        "{Algebraic Methods in Softautomation}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-36",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer algebra, robotics",
  note =         "Published in J. Systems Analysis, Modelling and
                 Simulation, special issue on Modelling and Simulation
                 in Computer Science, vol. 4/5, pp. 391--400.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-36.html{"}>90-36.html</a>",
}

@TechReport{RiscReport90-37,
  author =       "Dongming WANG",
  title =        "{Differentiation and Integration of Indefinite
                 Summations with Respect to Indexed Variables}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-37",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-37.html{"}>90-37.html</a>",
}

@TechReport{RiscReport90-38,
  author =       "Dongming WANG Bernd SCH{\"U}RMANN",
  title =        "{Stable Neurodynamics and Symbolic Computation }",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-38",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "neural networks",
  note =         "Published in Proc. Int. Neural Network Conf. (INNC
                 90), Paris, France, July 9-13, 1990.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-38.html{"}>90-38.html</a>",
}

@TechReport{RiscReport90-39,
  author =       "Martin RUDALICS",
  title =        "{Implementation of Distributed Reference Counts}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-39",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-39.html{"}>90-39.html</a>",
}

@TechReport{RiscReport90-40,
  author =       "Martin RUDALICS",
  title =        "{Correctness of Distributed Garbage collection
                 Algorithms}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-40",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-40.html{"}>90-40.html</a>",
}

@TechReport{RiscReport90-41,
  title =        "{Abstracts of the $2^{nd}$ Int. Workshop on Advances
                 in Robot Kinematics}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-41",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Robotics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-41.html{"}>90-41.html</a>",
}

@TechReport{RiscReport90-42,
  author =       "Wolfgang SCHREINER",
  title =        "{ADAM \& EVE An Abstract Dataflow Machine and Its
                 Programming Language}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-42",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-42.html{"}>90-42.html</a>",
}

@TechReport{RiscReport90-43,
  author =       "Gerhard FUNK",
  title =        "{Formal Semantics and Verification System of the
                 Dynamic Parallel L-Language}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-43",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-43.html{"}>90-43.html</a>",
}

@TechReport{RiscReport90-44,
  author =       "Bruno BUCHBERGER",
  title =        "{ Fermat's Ideal Can Be Generated by the First Three
                 Fermat Polynomials}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-44",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Gr{\"o}bner bases",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-44.html{"}>90-44.html</a>",
}

@TechReport{RiscReport90-45,
  author =       "Franz WINKLER Juan R. SENDRA",
  title =        "{Computer Algebra Methods in the Parametrization of
                 Curves}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-45",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-45.html{"}>90-45.html</a>",
}

@TechReport{RiscReport90-46,
  author =       "Edward S. BLUROCK",
  title =        "{Automatic Extraction of Reaction Information from
                 Databases using Classification and Learning
                 Techniques}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-46",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Chemical synthesis planning",
  note =         "Published in Proc. of the Montreux 1990 Int. Chemical
                 Information Conference, Montreux, Switzerland, Sept.
                 24-26, 1990, pp. 25--35.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-46.html{"}>90-46.html</a>",
}

@TechReport{RiscReport90-47,
  author =       "Bernd STURMFELS",
  title =        "{Gr{\"o}bner Bases and Stanley Decomposition of
                 Determinantal Ideals}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-47",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer algebra, groebner bases",
  note =         "Published in Mathematische Zeitschrift, vol. 205, pp.
                 137--144, 1990.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-47.html{"}>90-47.html</a>",
}

@TechReport{RiscReport90-48,
  author =       "Peter PAULE",
  title =        "{Solution to Amer. Math. Monthly Problem E3376}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-48",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer algebra, combinatorics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-48.html{"}>90-48.html</a>",
}

@TechReport{RiscReport90-49,
  author =       "Peter PAULE",
  title =        "{Parallel Algorithms in Computer Algebra Zeilberger's
                 Holonomic Systems Approach}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-49",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer algebra, combinatorics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-49.html{"}>90-49.html</a>",
}

@TechReport{RiscReport90-50,
  author =       "Bruno BUCHBERGER",
  title =        "{Symbolic Computation: Pure Computer Mathematics}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-50",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra",
  note =         "Published in Invited paper at the $8^{th}$ US Army
                 Conference on ``Applied Mathematics'', Cornell, June
                 1990.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-50.html{"}>90-50.html</a>",
}

@TechReport{RiscReport90-51,
  author =       "Istvan Nemes",
  title =        "{On a Problem of Buchberger}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-51",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-51.html{"}>90-51.html</a>",
}

@TechReport{RiscReport90-52,
  author =       "Franz WINKLER",
  title =        "{Introduction to Computer Algebra}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-52",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-52.html{"}>90-52.html</a>",
}

@TechReport{RiscReport90-53,
  author =       "Wolfgang SCHREINER",
  title =        "{ADAM -- An Abstract Dataflow Machine and Its
                 Transputer Implementation}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-53",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Parallel Computation",
  note =         "Published in Proceedings of the $2^{nd}$ European
                 Distributed Memory Computing Conference EDMCC2, Techn.
                 Univ. Munich, Germany, April 22-24, 1991, Springer LNCS
                 487, pp. 392--401.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-53.html{"}>90-53.html</a>",
}

@TechReport{RiscReport90-54,
  author =       "Kurt SIEGL",
  title =        "{Gr{\"o}bner Bases Computation in STRAND: A Case Study
                 for Concurrent Symbolic Computation in Logic
                 Programming Languages}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-54",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Parallel Computation, Groebner bases",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-54.html{"}>90-54.html</a>",
}

@TechReport{RiscReport90-55,
  author =       "Franz WINKLER J. Rafael SENDRA",
  title =        "{Symbolic Parametrization of Curves}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-55",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra",
  note =         "Published in Journal of Symbolic Computation, vol. 12,
                 no. 6, pp. 607--631.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-55.html{"}>90-55.html</a>",
}

@TechReport{RiscReport90-56,
  author =       "Wolfgang WINDSTEIGER",
  title =        "{An Implementation of Rational Functions in PCL}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-56",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Groebner bases",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-56.html{"}>90-56.html</a>",
}

@TechReport{RiscReport90-57,
  author =       "Wolfgang WINDSTEIGER",
  title =        "{An Approach to Object-Oriented Programming in C}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-57",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra, Gr{\"o}bner Bases, software
                 development",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-57.html{"}>90-57.html</a>",
}

@TechReport{RiscReport90-58,
  author =       "Bruno BUCHBERGER",
  title =        "{An Implementation of Gr{\"o}bner Bases in
                 Mathematica}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-58",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra, Gr{\"o}bner Bases",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-58.html{"}>90-58.html</a>",
}

@TechReport{RiscReport90-59,
  author =       "Michael KALKBRENER",
  title =        "{Birational Projections of Irreducible Varieties}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-59",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra, Groebner Bases",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-59.html{"}>90-59.html</a>",
}

@TechReport{RiscReport90-60,
  author =       "Jochen PFALZGRAF",
  title =        "{Reasoning on a M{\"o}bius Strip}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-60",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-60.html{"}>90-60.html</a>",
}

@TechReport{RiscReport90-61,
  author =       "G. WAGNER {R. EGGETSBERGER, H. KOBLER, C.
                 RAMB{\"O}CK}",
  title =        "{Eine Kurzeinf{\"u}hrung in CAYLEY}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-61",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Combinatorics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-61.html{"}>90-61.html</a>",
}

@TechReport{RiscReport90-62,
  author =       "Peter PAULE",
  title =        "{Mathematica Overview}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-62",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Software systems",
  note =         "Published in J. of Automated Reasoning, to appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-62.html{"}>90-62.html</a>",
}

@TechReport{RiscReport90-64,
  author =       "H. C. JANG {Jeffrey TSAI, Thomas WEIGERT}",
  title =        "{A Hybrid Knowledge Representation as a Basis of
                 Requirement Specification and Reasoning}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-64",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Artificial Intelligence",
  note =         "Published in Proc. 2nd IEEE Int. Conf. on Tools for
                 Aritificial Intelligence, 1990",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-64.html{"}>90-64.html</a>",
}

@TechReport{RiscReport90-65,
  author =       "Thomas WEIGERT",
  title =        "{Resolution-Based Reasoning for Fuzzy Logic}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-65",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Artificial Intelligence",
  note =         "Published in Proc. Expert Systems in Engineering,
                 Springer 1990",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-65.html{"}>90-65.html</a>",
}

@TechReport{RiscReport90-66,
  author =       "Peter PAULE",
  title =        "{An Algorithmic Construction of Combinatorial
                 Bijections as an Application of a Lemma of Ingleton and
                 Piff}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-66",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-66.html{"}>90-66.html</a>",
}

@TechReport{RiscReport90-67,
  author =       "Thomas MORITZ",
  title =        "{Consistency and Completeness of Knowledge-based
                 Systems: L{\"o}sungsalternativen}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-67",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "expert systems",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-67.html{"}>90-67.html</a>",
}

@TechReport{RiscReport90-68,
  author =       "Thomas MORITZ",
  title =        "{Consistency and Completeness of Knowledge-based
                 Systems: Sammlung von Checking-System-Merkmalen}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-68",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "expert systems",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-68.html{"}>90-68.html</a>",
}

@TechReport{RiscReport90-69,
  author =       "Richard GEBAUER",
  title =        "{Plotting Algebraic Curves}",
  year =         "1990",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "90-69",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1990/90-69.html{"}>90-69.html</a>",
}

# BibTeX Entries for RISC Technical Reports of the Year: 1991

@TechReport{RiscReport91-01,
  author =       "Juan Rafael SENDRA Josef SCHICHO",
  title =        "{On the Choice of Pencils in the Parametrization of
                 Curves}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-01",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-01.html{"}>91-01.html</a>",
}

@TechReport{RiscReport91-02,
  author =       "Peter PAULE George E. ANDREWS",
  title =        "{Some Questions Concerning Computer-Generated Proofs
                 of Double-Sum Identity}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-02",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra, combinatorics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-02.html{"}>91-02.html</a>",
}

@TechReport{RiscReport91-03,
  author =       "Johann HEINZELREITER Herwig MAYR",
  title =        "{A Solid Modeler for Dynamic Objects Using the Dexel
                 Representation}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-03",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "geometric modeling, CAD/CAM",
  note =         "Published in Proc. Int. Conf. on Engineering Design,
                 August 27-29, 1991, Zurich, Switzerland, vol. 2, V.
                 Hubka (ed.), pp. 1082-1085.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-03.html{"}>91-03.html</a>",
}

@TechReport{RiscReport91-05,
  author =       "Hoon HONG",
  title =        "{Collision Problems by an Improved CAD-based
                 Quantifier Elimination Algorithm}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-05",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra, Quantifier Elimination",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-05.html{"}>91-05.html</a>",
}

@TechReport{RiscReport91-06,
  author =       "Hoon HONG Bruno BUCHBERGER",
  title =        "{Speeding-up Quantifier Elimination by Gr{\"o}bner
                 Bases}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-06",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-06.html{"}>91-06.html</a>",
}

@TechReport{RiscReport91-07,
  author =       "Heinrich ROLLETSCHEK",
  title =        "{Computer Algebra}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-07",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Computer Algebra",
  note =         "Published in {\"U}bersichtsartikel,Kleine
                 Enzyklop{\"a}die Mathematik, Bibliograph. Inst.
                 Leipzig, to appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-07.html{"}>91-07.html</a>",
}

@TechReport{RiscReport91-08,
  author =       "Herwig MAYR",
  title =        "{The Current Situation in Graphic Manufacturing
                 Simulation and Robot Simulation A Survey}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-08",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Robotics, CAM",
  note =         "Published in $24^{th}$ Int. Symposium on Automotive
                 Technology and Automation (ISATA), Florence, Italy, May
                 20-24, 1991, vol. Mechatronics, pp. 569-576.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-08.html{"}>91-08.html</a>",
}

@TechReport{RiscReport91-09,
  author =       "Sabine STIFTER",
  title =        "{Collision Detection in the Robot Simulation System
                 SMART}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-09",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Robotics, Computational Geometry",
  note =         "Published in International Journal of Advanced
                 Manufacturing Technology, vol. 7, 1992, pp. 277--284.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-09.html{"}>91-09.html</a>",
}

@TechReport{RiscReport91-10,
  author =       "Sabine STIFTER",
  title =        "{Simulation and Verification of NC Machining Using
                 Symbolic Computation Techniques}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-10",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "CAM",
  note =         "Published in IMACS'91 Congress on Computation and
                 Applied Mathematics, (Solicited Paper), July 22-26,
                 Dublin, Ireland.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-10.html{"}>91-10.html</a>",
}

@TechReport{RiscReport91-11,
  author =       "Bruno BUCHBERGER",
  title =        "{Gr{\"o}bner Bases in Mathematica: Enthusiasm and
                 Frustation}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-11",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, mathematica",
  note =         "Published in Proceedings IFIP TC2/WG2.5 Working conf.
                 on Programming Environments for High-Level Scientific
                 Problem Solving, Karlsruhe, Germany, Sept. 23-27 1991,
                 P.W. Gaffney, E.N. Houstis (eds.).",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-11.html{"}>91-11.html</a>",
}

@TechReport{RiscReport91-12,
  author =       "R. P. dos SANTOS W. L. ROQUE",
  title =        "{Automated Qualitative Reasoning with Dimensional
                 Analysis}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-12",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-12.html{"}>91-12.html</a>",
}

@TechReport{RiscReport91-13,
  author =       "Jochen PFALZGRAF",
  title =        "{On Logical Fiberings and Polycontextural Systems}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-13",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "logic, parallelism",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-13.html{"}>91-13.html</a>",
}

@TechReport{RiscReport91-14,
  author =       "Volker STREHL Peter PAULE",
  title =        "{A Remark on an Instance of Gosper's Algorithm}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-14",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, combinatorics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-14.html{"}>91-14.html</a>",
}

@TechReport{RiscReport91-15,
  author =       "Johann HEINZELREITER Herwig MAYR",
  title =        "{Modeling and Simulation of the Robotics/NC Machining
                 Process Using a Spatial Enumeration Representation}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-15",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "CAM",
  note =         "Published in Proc. Fifth Int. Conference on Advanced
                 Robotics, ICAR'91, June 20-22, 1991, Pisa, Italy, pp.
                 1594-1597.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-15.html{"}>91-15.html</a>",
}

@TechReport{RiscReport91-16,
  author =       "E. BLUROCK",
  title =        "{Einflu\ss faktoren-Bestimmung zur Ri\ss pr{\"u}fung
                 bei Brammen}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-16",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "expert systems",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-16.html{"}>91-16.html</a>",
}

@TechReport{RiscReport91-17,
  author =       "F. WINKLER {R. GEBAUER, M. KALKBRENER, B. WALL}",
  title =        "{CASA: A Computer Algebra Package for Constructive
                 Algebraic Geometry}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-17",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proceedings ISSAC'91, Bonn, July 1991,
                 St. M. Watt (ed.)",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-17.html{"}>91-17.html</a>",
}

@TechReport{RiscReport91-18,
  author =       "Johann HEINZELREITER Herwig MAYR",
  title =        "{Kinematic Schemes of NC Machines Within SAVE}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-18",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics, CAM",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-18.html{"}>91-18.html</a>",
}

@TechReport{RiscReport91-19,
  author =       "B. Wall {J. Heinzelreiter, M. Kalkbrener, H. Mayr, J.
                 Pfalzgraf, S. Stifter}",
  title =        "{Symbolic Computation Tools for Technological
                 Modeling}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-19",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics, computer algebra",
  note =         "Published in Proc. IFAC/IFIP/IMACS-Symposium on Robot
                 Control (SYROCO'91), Sept. 16-18, 1991, Vienna,
                 Austria, I. Troch, K. Desoyer, P. Kopacek (eds.), pp.
                 435-440.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-19.html{"}>91-19.html</a>",
}

@TechReport{RiscReport91-20,
  author =       "Sabine STIFTER",
  title =        "{Visualization of Algebraic Solids and Surfaces}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-20",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics, computer algebra",
  note =         "Published in ACM/SIGGRAPH Symposium on Solid Modeling
                 Fundamentals \& CAD/CAM Applications, June 1991, Texas,
                 USA.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-20.html{"}>91-20.html</a>",
}

@TechReport{RiscReport91-21,
  author =       "W. L. ROQUE",
  title =        "{Learning Qualitative Physics Reasoning from Regime
                 Analysis}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-21",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "reasoning",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-21.html{"}>91-21.html</a>",
}

@TechReport{RiscReport91-22,
  author =       "Herwig MAYR",
  title =        "{NC Machines Meet Robots -- Towards a Common
                 Robotics/NC Standard}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-22",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics",
  note =         "Published in Proc. 4th IFIP Conf. on Computer
                 Applications in Production and Engineering (CAPE'91),
                 Bordeaux, France, Sept. 1991, G. Doumeingts, J. Browne,
                 M. Tomljanovich (eds.), pp. 555-562.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-22.html{"}>91-22.html</a>",
}

@TechReport{RiscReport91-23,
  author =       "Dongming WANG",
  title =        "{A Toolkit for Manipulating Indefinite Summations
                 Application to Neural Networks}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-23",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, neural networks",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-23.html{"}>91-23.html</a>",
}

@TechReport{RiscReport91-24,
  author =       "Jochen PFALZGRAF",
  title =        "{Logical Fiberings and Polycontextural Systems}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-24",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "logics, parallelism",
  note =         "Published in Proceedings of FAIR'91, Jarrand, Kehmen
                 (eds.), Springer, LNCS 535. Short Version of
                 RISC-Report 91-13.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-24.html{"}>91-24.html</a>",
}

@TechReport{RiscReport91-25,
  author =       "Dongming WANG",
  title =        "{An Implementation of the Characteristic Set Method in
                 Maple}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-25",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, geometry theorem proving",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-25.html{"}>91-25.html</a>",
}

@TechReport{RiscReport91-26,
  author =       "Olga CAPROTTI",
  title =        "{A Formal Characterization of Indexed Mathematical
                 Objects for the Manipulation of Sums and Series}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-26",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Technical Report Also: Report of Dip. di
                 Informatica e Sistemistica, Univ.\ Roma",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-26.html{"}>91-26.html</a>",
}

@TechReport{RiscReport91-27,
  author =       "E. BLUROCK",
  title =        "{ANALYSE: An Implementation of the ID3 Algorithm}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-27",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "artificial intelligence",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-27.html{"}>91-27.html</a>",
}

@TechReport{RiscReport91-28,
  author =       "Michael KALKBRENER",
  title =        "{Three Contributions to Elimination Theory}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-28",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-28.html{"}>91-28.html</a>",
}

@TechReport{RiscReport91-29,
  author =       "Michael KALKBRENER",
  title =        "{Implicitization of Rational Parametric Curves and
                 Surfaces}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-29",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proc.\ AAECC'8, Tokio, Japan, August
                 1990, Springer LNCS 508.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-29.html{"}>91-29.html</a>",
}

@TechReport{RiscReport91-30,
  author =       "Dongming WANG",
  title =        "{On the Parallelization of Characteristic-Set-Based
                 Algorithms}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-30",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  note =         "Published in Proc.\ 1st Int.\ conf.\ ACPC, Salzburg,
                 Austria, 1991, to appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-30.html{"}>91-30.html</a>",
}

@TechReport{RiscReport91-31,
  author =       "Petr LISON\v EK",
  title =        "{The Performance of Gosper's Algorithm on Rational
                 Function Inputs}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-31",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "combinatorics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-31.html{"}>91-31.html</a>",
}

@TechReport{RiscReport91-32,
  author =       "Hermann {\"O}LLINGER Herwig MAYR",
  title =        "{SMART: Simulation of Manufacturing and Robot Tasks}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-32",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics",
  note =         "Published in In: D.W. Wloka (ed.), Robotersimulation,
                 Springer, 1991, pp. 153--186.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-32.html{"}>91-32.html</a>",
}

@TechReport{RiscReport91-33,
  author =       "Michael KALKBRENER",
  title =        "{Elimination Theory}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-33",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, Gr{\"o}bner bases",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-33.html{"}>91-33.html</a>",
}

@TechReport{RiscReport91-34,
  author =       "Bernhard WALL",
  title =        "{CASA: Computer Algebra Software for Constructive
                 Algebraic Geometry in MAPLE. A Primer}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-34",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-34.html{"}>91-34.html</a>",
}

@TechReport{RiscReport91-35,
  author =       "Franz WINKLER",
  title =        "{Abschlu\ss bericht Projekt P6763: Algorithmen und
                 Software f{\"u}r die Algebraische Geometrie (ASAG)}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-35",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-35.html{"}>91-35.html</a>",
}

@TechReport{RiscReport91-36,
  author =       "Anders Bj\ae rt S\o rensen",
  title =        "{Weighted Reed-Muller Codes}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-36",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-36.html{"}>91-36.html</a>",
}

@TechReport{RiscReport91-37,
  author =       "Anders Bj\ae rt S\o rensen",
  title =        "{A Note on Algorithms Deciding Rationality and
                 Absolutely Irreducibility Based on the Number of
                 Rational Solutions}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-37",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-37.html{"}>91-37.html</a>",
}

@TechReport{RiscReport91-38,
  author =       "Bernd SCH{\"U}RMANN Dongming WANG",
  title =        "{Computer Aided Investigations of Artificial Neural
                 Systems}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-38",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, neural networks, parallel
                 computation",
  note =         "Published in Proceedings Int. Joint Conference on
                 Neural Networks, IJCNN'91, Singapore, November 18-21,
                 1991. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-38.html{"}>91-38.html</a>",
}

@TechReport{RiscReport91-39,
  author =       "Endre KISS",
  title =        "{A Proof of a Rabinowitz Theorem and Its Connection to
                 the Brianchon Theorem}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-39",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computational geometry",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-39.html{"}>91-39.html</a>",
}

@TechReport{RiscReport91-40,
  author =       "Endre KISS",
  title =        "{A Parallel z-Tree for Computing the Visibility
                 Structure of Segments in the Plane}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-40",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computational geometry",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-40.html{"}>91-40.html</a>",
}

@TechReport{RiscReport91-41,
  author =       "Hoon HONG",
  title =        "{Comparison of Several Decision Algorithms for the
                 Existential Theory of the Reals}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-41",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-41.html{"}>91-41.html</a>",
}

@TechReport{RiscReport91-42,
  author =       "Herwig MAYR",
  title =        "{The Concept of NC Machine Geometries within SAVE}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-42",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-42.html{"}>91-42.html</a>",
}

@TechReport{RiscReport91-43,
  author =       "Herwig MAYR",
  title =        "{Different Alternatives to Formulate the Robotics
                 Collision Problem as an LP Model}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-43",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computational geometry, robotics",
  note =         "Published in IFIP Conference on System Modelling and
                 Optimization, Zurich, Switzerland, Sept. 1991.To
                 appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-43.html{"}>91-43.html</a>",
}

@TechReport{RiscReport91-44,
  author =       "Sabine STIFTER",
  title =        "{A Parametric Representation of the Ring Elements
                 Taking Bevelled Edges into Account}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-44",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computational geometry",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-44.html{"}>91-44.html</a>",
}

@TechReport{RiscReport91-45,
  author =       "Volker STAHL {Fatima DARGAM, Jochen PFALZGRAF, Karel
                 STOKKERMANS}",
  title =        "{Towards a Toolkit for Benchmark Scenarios in Robot
                 Multi-tasking}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-45",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-45.html{"}>91-45.html</a>",
}

@TechReport{RiscReport91-46,
  author =       "Bernhard WALL",
  title =        "{Puiseux Expansion. An Annotated Bibliograhy}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-46",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-46.html{"}>91-46.html</a>",
}

@TechReport{RiscReport91-47,
  author =       "Sabine STIFTER",
  title =        "{Computation and Analysis of Inverse Kinematics by
                 Means of Gr{\"o}bner Bases}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-47",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, robotics",
  note =         "Published in Int. Journal Laboratory Robotics and
                 Automation, Special Issue on Robot Kinematics, J.
                 Lenarcic (ed.), vol. 4, 1992, pp. 115--125.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-47.html{"}>91-47.html</a>",
}

@TechReport{RiscReport91-48,
  author =       "Sabine STIFTER",
  title =        "{Gr{\"o}bner Bases of Modules over Reduction Rings}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-48",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Journal of Algebra, vol. 159, no. 1,
                 1993, pp. 54 -- 63.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-48.html{"}>91-48.html</a>",
}

@TechReport{RiscReport91-49,
  author =       "Wolfgang SCHREINER",
  title =        "{A High-Level Target Language for the Compilation of
                 Dataflow Programs}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-49",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel Computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-49.html{"}>91-49.html</a>",
}

@TechReport{RiscReport91-50,
  author =       "Wolfgang SCHREINER",
  title =        "{A Model for the Compilation of Dataflow Languages on
                 Conventional Parallel Architectures}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-50",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel Computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-50.html{"}>91-50.html</a>",
}

@TechReport{RiscReport91-51,
  author =       "Dongming WANG",
  title =        "{Reasoning About Geometric Problems Using Algebraic
                 Methods}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-51",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proc. MEDLAR 24-Month Review Workshop,
                 Grenoble, France, December 1991.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-51.html{"}>91-51.html</a>",
}

@TechReport{RiscReport91-52,
  author =       "Dongming WANG",
  title =        "{On Wu's Method for Solving Systems of Algebraic
                 Equations}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-52",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-52.html{"}>91-52.html</a>",
}

@TechReport{RiscReport91-53,
  author =       "Istvan NEMES",
  title =        "{On the Solution of the Diophantine Equation
                 $G_n=P(x)$ with Sieve Algorithm}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-53",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Computational Number Theory, 1991.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-53.html{"}>91-53.html</a>",
}

@TechReport{RiscReport91-54,
  author =       "Heinrich ROLLETSCHEK",
  title =        "{A Variant of the Notation of Semicreative Set}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-54",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "algorithm theory",
  note =         "Published in Mathematical Logic Quaterly, vol. 39,
                 1993, pp. 33-46.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-54.html{"}>91-54.html</a>",
}

@TechReport{RiscReport91-55,
  author =       "Hoon HONG",
  title =        "{Parallelization of Quantifier Elimination on
                 Workstation Network}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-55",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-55.html{"}>91-55.html</a>",
}

@TechReport{RiscReport91-56,
  author =       "Bernd SCH{\"U}RMANN Dongming WANG",
  title =        "{Computer Algebra and Neurodynamics}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-56",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, neural networks",
  note =         "Published in Proc. Arbeitsgespraech Physik und
                 Informatik -- Informatik und Physik, Munich, Nov.
                 21-22, 1991.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-56.html{"}>91-56.html</a>",
}

@TechReport{RiscReport91-57,
  author =       "Sabine STIFTER",
  title =        "{Predictions about Collision Free Paths from
                 Intersection Tests}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-57",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics",
  note =         "Published in Computational Geometry -- Methods,
                 Algorithms and Applications, Int. Workshop CG'91, Bern,
                 Switzerland, March 1991, Springer LNCS 553, pp.
                 309--320.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-57.html{"}>91-57.html</a>",
}

@TechReport{RiscReport91-58,
  author =       "Karel STOKKERMANS",
  title =        "{A Categorical Approach to Critical-Pair/Completion
                 Procedures}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-58",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-58.html{"}>91-58.html</a>",
}

@TechReport{RiscReport91-59,
  author =       "Klaus KUSCHE",
  title =        "{Parallel Symbolic Computation: Pointers to the
                 Literature}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-59",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-59.html{"}>91-59.html</a>",
}

@TechReport{RiscReport91-60,
  author =       "Sabine STIFTER",
  title =        "{Algebraic Methods for Computing Inverse Kinematics}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-60",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, robotics",
  note =         "Published in Conclusions of Erasmus Intensive Program
                 on {"}Mathematical Methods in Robotics{"}, June 24-28,
                 Antwerp, Belgium. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-60.html{"}>91-60.html</a>",
}

@TechReport{RiscReport91-61,
  author =       "Herwig MAYR",
  title =        "{Real-Time Dynamic Collision Checking Integrated into
                 Graphic Manufacturing Simulation}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-61",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics, CAD/CAM",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-61.html{"}>91-61.html</a>",
}

@TechReport{RiscReport91-62,
  author =       "Richard GEBAUER",
  title =        "{Implementation and Analysis of Parametrization
                 Algorithms}",
  year =         "1991",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "91-62",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1991/91-62.html{"}>91-62.html</a>",
}

# BibTeX Entries for RISC Technical Reports of the Year: 1992

@TechReport{RiscReport92-01,
  author =       "Hoon HONG",
  title =        "{Inter-reduction of Two Polynomials is Unique}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-01",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Groebner bases",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-01.html{"}>92-01.html</a>",
}

@TechReport{RiscReport92-02,
  author =       "Hoon HONG",
  title =        "{Simple Solution Formula Construction in Cylindrical
                 Algebraic Decomposition based Quantifier Elimination}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-02",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "quantifier elimination",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-02.html{"}>92-02.html</a>",
}

@TechReport{RiscReport92-03,
  author =       "Sabine STIFTER",
  title =        "{Abstract Voronoi Diagrams: A Characterization via
                 Contour Elements}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-03",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-03.html{"}>92-03.html</a>",
}

@TechReport{RiscReport92-04,
  author =       "Bernd SCH{\"U}RMANN Dongming WANG",
  title =        "{Computer Aided Analysis and Derivation}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-04",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in IEEE Transactions on Software
                 Engineering. To appear",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-04.html{"}>92-04.html</a>",
}

@TechReport{RiscReport92-05,
  author =       "Mark J. ENCARNACION",
  title =        "{A Note on Linear Regression Functions}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-05",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "linear regression, Lineare Regression",
  note =         "Published in Communications in Statistics: Theory and
                 Method, vol. 21/3.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-05.html{"}>92-05.html</a>",
}

@TechReport{RiscReport92-06,
  author =       "Hans Wolfgang LOIDL",
  title =        "{Circular Programs on Compound Data Structures}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-06",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-06.html{"}>92-06.html</a>",
}

@TechReport{RiscReport92-07,
  author =       "Klaus KUSCHE",
  title =        "{Practical Experiments with Various Garbage Collection
                 Methods}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-07",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "garbage collection, Speicherverwaltung",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-07.html{"}>92-07.html</a>",
}

@TechReport{RiscReport92-08,
  author =       "Hoon HONG",
  title =        "{Non-linear Constraints Solving over Real Numbers in
                 Constraint Logic Programming (Introducing RISC-CLP)}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-08",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "constraint logic programming, computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-08.html{"}>92-08.html</a>",
}

@TechReport{RiscReport92-09,
  author =       "Herwig MAYR",
  title =        "{Dynamic Robot Collision Checking Using a Parallel
                 Computer Network}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-09",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel programming, robotics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-09.html{"}>92-09.html</a>",
}

@TechReport{RiscReport92-10,
  author =       "Kurt SIEGL",
  title =        "{Programming Techniques for ||MAPLE||}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-10",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-10.html{"}>92-10.html</a>",
}

@TechReport{RiscReport92-11,
  author =       "Kurt SIEGL",
  title =        "{Parallel Gr{\"o}bner Basis Computation in
                 ||MAPLE||}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-11",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel programming, logic programming, computer
                 algebra, Gr{\"o}bner bases",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-11.html{"}>92-11.html</a>",
}

@TechReport{RiscReport92-12,
  author =       "Gerhard FUNK",
  title =        "{Dynamic-CCS}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-12",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel programming",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-12.html{"}>92-12.html</a>",
}

@TechReport{RiscReport92-13,
  author =       "Edward S. BLUROCK",
  title =        "{Analyse 3.0. Reference Manual}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-13",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-13.html{"}>92-13.html</a>",
}

@TechReport{RiscReport92-14,
  author =       "Scott McCALLUM Bruno BUCHBERGER",
  title =        "{Geometric Modeling Based on Logic and Algebra}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-14",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "geometric modeling, logic, computer algebra",
  note =         "Published in Technical Report TR-CS-89-01, The
                 Australian National University, Department of Computer
                 Science",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-14.html{"}>92-14.html</a>",
}

@TechReport{RiscReport92-15,
  author =       "Jianshun LIU",
  title =        "{The Computation of Smallest Enclosing Spheres and
                 Boxes of Solid Objects}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-15",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "geometric modeling",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-15.html{"}>92-15.html</a>",
}

@TechReport{RiscReport92-16,
  author =       "Hoon HONG",
  title =        "{Heuristic Search Strategies for Cylindrical Algebraic
                 Decomposition}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-16",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-16.html{"}>92-16.html</a>",
}

@TechReport{RiscReport92-17,
  author =       "Nobuhito NANGO {Takao ICHIKO, Kenji TAKEUCHI}",
  title =        "{On a Conceptual Design Aid from Software Engineering
                 Aspect}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-17",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "expert systems",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-17.html{"}>92-17.html</a>",
}

@TechReport{RiscReport92-18,
  author =       "Edward S.\ BLUROCK",
  title =        "{Computer-Aided Synthesis Design at RISC-Linz:
                 Automatic Extraction and Use of Reaction Classes}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-18",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "chemical application",
  note =         "Published in Journal of Chemical Information and
                 Computer Science, vol. 30, 1990, pp. 505--510",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-18.html{"}>92-18.html</a>",
}

@TechReport{RiscReport92-19,
  author =       "Syliva NEUWIRTH",
  title =        "{Design of Tunnel Geometries for the ALS-System}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-19",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics, CAD",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-19.html{"}>92-19.html</a>",
}

@TechReport{RiscReport92-20,
  author =       "Wolfgang WINDSTEIGER",
  title =        "{Gr{\"o}bner Bases: A Characterization by Syzygy
                 Completeness and an Implementation}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-20",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "groebner bases",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-20.html{"}>92-20.html</a>",
}

@TechReport{RiscReport92-21,
  author =       "Dongming WANG",
  title =        "{Some Improvements on Wu's Method for Solving Systems
                 of Algebraic Equations}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-21",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "geometry theorem proving, computer algebra",
  note =         "Published in Proc.\ Int. Workshop on Math.
                 Mechanization, Beijing, China, July 16-18, 1992. To
                 appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-21.html{"}>92-21.html</a>",
}

@TechReport{RiscReport92-22,
  author =       "Edward BLUROCK",
  title =        "{Analyse 3.0 Implementation, Extensions and Use of the
                 ID3 Algorithm}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-22",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "artificial intelligence",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-22.html{"}>92-22.html</a>",
}

@TechReport{RiscReport92-23,
  author =       "Dongming WANG {Wei SHEN, Bernhard WALL}",
  title =        "{Manipulating Uncertain Mathematical Objects: The Case
                 of Indefinite Sums and Products}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-23",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebar",
  note =         "Published in Proc.\ DISCO'92, April 13-15, 1992, Bath,
                 England. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-23.html{"}>92-23.html</a>",
}

@TechReport{RiscReport92-24,
  author =       "Martin RUDALICS",
  title =        "{Distributed Termination Enforcement}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-24",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel symbolic computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-24.html{"}>92-24.html</a>",
}

@TechReport{RiscReport92-25,
  author =       "Sabine STIFTER",
  title =        "{Modeling of Objects that May Change their Shapes}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-25",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computational geometry",
  note =         "Published in Proceedings of the $4^{th}$ International
                 Symposium on Systems Analysis and Simulation, Berlin,
                 Germany, August 1992; Elsevier Publishers, A. Sydow
                 (ed.), pp. 445-450.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-25.html{"}>92-25.html</a>",
}

@TechReport{RiscReport92-26,
  author =       "Dongming WANG",
  title =        "{A Strategy for Speeding-up the Computation of
                 Characteristic Sets}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-26",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proceedings of the $17^{th}$
                 International Symposium on Mathematical Foundations of
                 Computer Science, Prague, CSFR, August 1992. To appear
                 as Springer LNCS.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-26.html{"}>92-26.html</a>",
}

@TechReport{RiscReport92-27,
  author =       "Karel STOKKERMANS Jochen PFALZGRAF",
  title =        "{Scenario Construction Continued and Extended with a
                 View to Test and Enhancement of Reasoning Methods}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-27",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, logics, reasoning",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-27.html{"}>92-27.html</a>",
}

@TechReport{RiscReport92-28,
  author =       "Petr LISONEK {Joel V. BRAWLEY Jr.}",
  title =        "{Counting Equivalence Classes of Hadamard Pattern Sets
                 by Group Action Methods}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-28",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, logics, reasoning",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-28.html{"}>92-28.html</a>",
}

@TechReport{RiscReport92-29,
  author =       "Tudor JEBELEAN Bruno BUCHBERGER",
  title =        "{Parallel Rational Arithmetic for Computer Algebra
                 Systems: Motivating Experiments}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-29",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, logics, reasoning",
  note =         "Published in A preliminary version was presented at
                 the ACPC (Austrian Center for Parallel Computation)
                 workshop in Weinberg, Austria, April 1992.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-29.html{"}>92-29.html</a>",
}

@TechReport{RiscReport92-30,
  author =       "Hans Wolfgang LOIDL",
  title =        "{A Parallelizing Compiler for the Functional
                 Programming Language EVE}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-30",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallelism",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-30.html{"}>92-30.html</a>",
}

@TechReport{RiscReport92-31,
  author =       "Stefan TAFERNER Sabine STIFTER",
  title =        "{The Impact of Geometric Modeling on Robot Vision}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-31",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics, vision",
  note =         "Published in Proceedings of the $16^{th}$
                 {\"O}AGM-Meeting on Pattern Recognition, May 1992,
                 Vienna, Austria. Oldenbourg Verlag, H. Bischof, W.G.
                 Kropatsch (eds.), pp. 214--222.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-31.html{"}>92-31.html</a>",
}

@TechReport{RiscReport92-32,
  author =       "Peter ZETTLER {Hoon HONG, Wolfgang SCHREINER, Andreas
                 NEUBACHER, Kurt SIEGL, Hans-Wolfgang LOIDL, Tudor
                 JEBELEAN}",
  title =        "{PAC LIB User Manual}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-32",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel computation, computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-32.html{"}>92-32.html</a>",
}

@TechReport{RiscReport92-33,
  author =       "Wolfgang SCHREINER",
  title =        "{The Design of the PACLIB Kernel}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-33",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-33.html{"}>92-33.html</a>",
}

@TechReport{RiscReport92-35,
  author =       "Tudor JEBELEAN",
  title =        "{An Algorithm for Exact Division}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-35",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel computation, computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-35.html{"}>92-35.html</a>",
}

@TechReport{RiscReport92-36,
  author =       "Peter ZETTLER",
  title =        "{RISC Linda -- A Dialect of Linda}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-36",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallelism",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-36.html{"}>92-36.html</a>",
}

@TechReport{RiscReport92-37,
  author =       "Hoon HONG",
  title =        "{Quantifier Elimination for Formulas Constrained by
                 Quadratic Equation}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-37",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "quantifier elimination",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-37.html{"}>92-37.html</a>",
}

@TechReport{RiscReport92-38,
  author =       "Tudor JEBELEAN Bruno BUCHBERGER",
  title =        "{Systolic Algorithms in Computer Algebra State of the
                 Project}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-38",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-38.html{"}>92-38.html</a>",
}

@TechReport{RiscReport92-39,
  author =       "Stephan DREISEITL",
  title =        "{The Backpropagation Algorithm An Annotated
                 Bibliography}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-39",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "neural networks",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-39.html{"}>92-39.html</a>",
}

@TechReport{RiscReport92-40,
  author =       "Bernhard WALL",
  title =        "{On Implementations of Puiseux Series Expansion in a
                 Computer Algebra System}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-40",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-40.html{"}>92-40.html</a>",
}

@TechReport{RiscReport92-41,
  author =       "Sabine STIFTER",
  title =        "{Path Planning for Non-Synchronized Motions}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-41",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computational geometry, robotics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-41.html{"}>92-41.html</a>",
}

@TechReport{RiscReport92-42,
  author =       "Gerfried EINB{\"O}CK",
  title =        "{Ray-Tracing of Uniform Bicubic B-Spline and Bezier
                 Spline Surfaces by Adaptive Subdivision into
                 Triangles}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-42",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer graphics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-42.html{"}>92-42.html</a>",
}

@TechReport{RiscReport92-43,
  author =       "Bruno BUCHBERGER",
  title =        "{Vortrag im Informatik Kolloquium der Universit{\"a}t
                 Darmstadt Mai 1992}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-43",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-43.html{"}>92-43.html</a>",
}

@TechReport{RiscReport92-44,
  author =       "Thomas MORITZ Tudor JEBELEAN",
  title =        "{RISPEL RISC's Specification Language Reference
                 Manual}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-44",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "expert systems",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-44.html{"}>92-44.html</a>",
}

@TechReport{RiscReport92-45,
  author =       "Thomas MORITZ",
  title =        "{RISPEL RISC's Specification Language und Prototyp
                 Verifikationssystem RICHECK Software Systems Manual}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-45",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "expert systems",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-45.html{"}>92-45.html</a>",
}

@TechReport{RiscReport92-46,
  author =       "Thomas MORITZ",
  title =        "{RISPEL RISC's Specification Language Prototyp
                 Verifikationssystem RICHECK User Manual}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-46",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "expert systems",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-46.html{"}>92-46.html</a>",
}

@TechReport{RiscReport92-47,
  author =       "Thomas MORITZ",
  title =        "{RISPEL RISC's Specification Language Prototyp
                 Verifikationssystem RICHECK Reference Manual}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-47",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "expert systems",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-47.html{"}>92-47.html</a>",
}

@TechReport{RiscReport92-47,
  author =       "Thomas MORITZ",
  title =        "{RISPEL RISC's Specification Language Prototyp
                 Verifikationssystem RICHECK Reference Manual}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-47",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "expert systems",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-47.html{"}>92-47.html</a>",
}

@TechReport{RiscReport92-48,
  author =       "Herbert VIELHABER",
  title =        "{A Graphical User Interface for a Computer Algebra
                 System}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-48",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, computer graphics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-48.html{"}>92-48.html</a>",
}

@TechReport{RiscReport92-49,
  author =       "Bernhard WALL",
  title =        "{Computing in Algebraic Extensions Represented by
                 Gr{\"o}bner Bases}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-49",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, Gr{\"o}bner bases",
  note =         "Published in October 22, 1992, Hagenberg, Austria,
                 BBBB'50",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-49.html{"}>92-49.html</a>",
}

@TechReport{RiscReport92-51,
  author =       "Hoon HONG",
  title =        "{Half Resultant}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-51",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-51.html{"}>92-51.html</a>",
}

@TechReport{RiscReport92-52,
  author =       "Hoon HONG",
  title =        "{Slope Resultant}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-52",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-52.html{"}>92-52.html</a>",
}

@TechReport{RiscReport92-53,
  author =       "Hoon HONG",
  title =        "{Quantifier Elimination for Formulas Constrained by
                 Quadratic Equation (Improved Algorithm)}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-53",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-53.html{"}>92-53.html</a>",
}

@TechReport{RiscReport92-54,
  author =       "Karel STOKKERMANS",
  title =        "{A Categorical Formulation for
                 Critical-Pair/Completion Procedures}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-54",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proceedings of the $3^{rd}$ Int.\
                 Workshop on Conditional Term Rewriting Systems CTRS'92,
                 Pont-a-Moisson, France, July 1992, M. Rusinowitch,
                 J.-L. Remy (eds.), Springer LNCS. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-54.html{"}>92-54.html</a>",
}

@TechReport{RiscReport92-55,
  author =       "Dongming WANG",
  title =        "{Irreducible Decomposition of Algebraic Varieties via
                 Characteristic Sets and Gr{\"o}bner Bases}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-55",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, Gr{\"o}bner bases",
  note =         "Published in Computer Aided Geometric Design. To
                 appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-55.html{"}>92-55.html</a>",
}

@TechReport{RiscReport92-56,
  author =       "Edward S. BLUROCK",
  title =        "{Automatic Learning of Chemical Concepts: Atomic and
                 Bond Semi-Empirical Parameters as a Molecular
                 Description for Physical Property Determination}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-56",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "learning",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-56.html{"}>92-56.html</a>",
}

@TechReport{RiscReport92-57,
  author =       "Edward S. BLUROCK",
  title =        "{Automatic Learning of Chemical Concepts: Research
                 Octane Number and Molecular Substructures}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-57",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "learning",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-57.html{"}>92-57.html</a>",
}

@TechReport{RiscReport92-58,
  author =       "Hoon HONG, Dongming WANG, Franz WINKLER (eds.)",
  title =        "{AAGR'92: Algebraic Approaches to Geometric Reasoning
                 (Abstracts)}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-58",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, geometry theorem proving",
  note =         "Published in Workshop AAGR'92, August 17-19, 1992,
                 Castle of Weinberg, Austria.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-58.html{"}>92-58.html</a>",
}

@TechReport{RiscReport92-59,
  author =       "Peter PAULE",
  title =        "{Solution of a Seminaire Homework Example ($28^th$
                 SLC)}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-59",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, combinatorics",
  note =         "Published in Talk presented at the 28th Seminaire
                 Lotharingien de Combinatoire, March 15-18, 1992,
                 Domaine Saint-Jaques, France. Paper to be submitted for
                 publication.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-59.html{"}>92-59.html</a>",
}

@TechReport{RiscReport92-60,
  author =       "Dongming WANG",
  title =        "{Project Report on Symbolic Computation for Neural
                 Networks}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-60",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, neural networks",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-60.html{"}>92-60.html</a>",
}

@TechReport{RiscReport92-61,
  author =       "Edward S. BLUROCK",
  title =        "{Molecule and Reaction Similarity As a Result of
                 Inductive Learning}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-61",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "chemistry, expert systems",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-61.html{"}>92-61.html</a>",
}

@TechReport{RiscReport92-62,
  author =       "Volker STAHL",
  title =        "{Solving a System of Linear Equations with Modular
                 Arithmetic on a MIMD Computer}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-62",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel computation, computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-62.html{"}>92-62.html</a>",
}

@TechReport{RiscReport92-63,
  author =       "Juan ELIAS Bruno BUCHBERGER",
  title =        "{Using Gr{\"o}bner Bases for Detecting Polynomial
                 Identities: A Case Study on Fermat's Ideal}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-63",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Gr{\"o}bner bases",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-63.html{"}>92-63.html</a>",
}

@TechReport{RiscReport92-64,
  author =       "Wolfgang GEHRKE",
  title =        "{Detailed Catalogue of Canonical Term Rewriting
                 Systems Generated Automatically}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-64",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-64.html{"}>92-64.html</a>",
}

@TechReport{RiscReport92-65,
  author =       "Josef SCHICHO Heinrich ROLLETSCHEK",
  title =        "{On the Equation $p^2+q^3=x$}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-65",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "number theory, computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-65.html{"}>92-65.html</a>",
}

@TechReport{RiscReport92-66,
  author =       "Andreas NEUBACHER",
  title =        "{An Introduction to the Symbolic Integration of
                 Elementary Functions}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-66",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer analysis",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-66.html{"}>92-66.html</a>",
}

@TechReport{RiscReport92-67,
  author =       "Petr LISON\v EK",
  title =        "{On a Conjecture of Graffiti}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-67",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "combinatorics, graph theory",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-67.html{"}>92-67.html</a>",
}

@TechReport{RiscReport92-68,
  author =       "Tudor JEBELEAN",
  title =        "{Systolic Multiplication on MasPar}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-68",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel computation, computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-68.html{"}>92-68.html</a>",
}

@TechReport{RiscReport92-69,
  author =       "Tudor JEBELEAN",
  title =        "{Improving the Multiprecision Euclidean Algorithm}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-69",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-69.html{"}>92-69.html</a>",
}

@TechReport{RiscReport92-70,
  author =       "Tudor JEBELEAN",
  title =        "{Comparing Several GCD Algorithms}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-70",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-70.html{"}>92-70.html</a>",
}

@TechReport{RiscReport92-71,
  author =       "Tudor JEBELEAN",
  title =        "{Systolic Algorithms for Exact Division}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-71",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-71.html{"}>92-71.html</a>",
}

@TechReport{RiscReport92-72,
  author =       "Tudor JEBELEAN",
  title =        "{On the Possibility of Implementing Fine Grain
                 Systolic Algorithms on Certain Parallel
                 Architectures}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-72",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-72.html{"}>92-72.html</a>",
}

@TechReport{RiscReport92-73,
  author =       "Hoon HONG Wolfgang SCHREINER",
  title =        "{A New Library for Parallel Algebraic Computation}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-73",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  note =         "Published in 6th SIAM Conference on Parallel
                 Processing for Scientific Computing, March 22-24, 1993,
                 Norfolk, Virginia. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-73.html{"}>92-73.html</a>",
}

@TechReport{RiscReport92-74,
  author =       "Bruno BUCHBERGER",
  title =        "{Bourbakism und Algorithmische Mathematik}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-74",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-74.html{"}>92-74.html</a>",
}

@TechReport{RiscReport92-75,
  author =       "Sabine STIFTER",
  title =        "{Shortest Paths for Non-Synchronized Motions: Parallel
                 Versions}",
  year =         "1992",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "92-75",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel computation, robotics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1992/92-75.html{"}>92-75.html</a>",
}

# BibTeX Entries for RISC Technical Reports of the Year: 1993

@TechReport{RiscReport93-01,
  author =       "Tudor Jebelean",
  title =        "{A Generalization of the Binary GCD Algorithm}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-01",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel computation, computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-01.html{"}>93-01.html</a>",
}

@TechReport{RiscReport93-02,
  author =       "Peter PAULE",
  title =        "{Greatest-Factorial Factorization and Symbolic
                 Summation I}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-02",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, combinatorics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-02.html{"}>93-02.html</a>",
}

@TechReport{RiscReport93-03,
  author =       "Hoon HONG Wolfgang SCHREINER",
  title =        "{PACLIB -- A System for Parallel Algebraic Computation
                 on Shared Memory Multiprocessors}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-03",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  note =         "Published in Parallel Systems Fair at the 7th
                 International Parallel Processing Symposium, April
                 13-16, 1993, Newport Beach, California",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-03.html{"}>93-03.html</a>",
}

@TechReport{RiscReport93-04,
  author =       "Volker STREHL {Petr LISON\v EK, Peter PAULE}",
  title =        "{Improvement of the Degree Setting in Gosper's
                 Algorithm}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-04",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, combinatorics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-04.html{"}>93-04.html</a>",
}

@TechReport{RiscReport93-05,
  author =       "Wolfgang SCHREINER Hoon HONG",
  title =        "{Programming in PACLIB}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-05",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  note =         "Published in SIGSAM Bulletin, vol.\ 26, no.\ 4, Nov.
                 1992, pp.\ 1--6.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-05.html{"}>93-05.html</a>",
}

@TechReport{RiscReport93-06,
  author =       "Kurt SIEGL",
  title =        "{$\|$MAPLE$\|$: A System for Parallel Computer Algebra
                 for Transputers}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-06",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  note =         "Published in In: Szabolcs Ferenczi (ed.), Proc. of 1st
                 Austrian-Hungarian Workshop on Transputer Applications,
                 number KFKI-1992-34/M,N, Sopron, Hungary, Oct. 8--10,
                 1992. Hugarian Transputer User Group and Austrian
                 Center for Parallel Computation.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-06.html{"}>93-06.html</a>",
}

@TechReport{RiscReport93-07,
  author =       "Kurt SIEGL",
  title =        "{$\|$MAPLE$\|$: A System for Parallel Symbolic
                 Computation}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-07",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  note =         "Published in In: Parallel Systems Fair at the 7th
                 International Parallel Processing Symposium, Newport
                 Beach, CA, April 13--16, 1993.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-07.html{"}>93-07.html</a>",
}

@TechReport{RiscReport93-08,
  author =       "Kurt SIEGL",
  title =        "{Parallelizing Algorithms for Symbolic Computation
                 Using $\|$MAPLE$\|$}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-08",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  note =         "Published in In: 4th ACM SIGPLAN Symp. on Principles
                 and Practice of Parallel Programming, San Diego, CA,
                 May 19--21, 1993.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-08.html{"}>93-08.html</a>",
}

@TechReport{RiscReport93-09,
  author =       "Hans Wolfgang LOIDL",
  title =        "{A Parallelizing Compiler for the Functional
                 Programming Language EVE}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-09",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  note =         "Published in 1st Austrian-Hungarian Workshop on
                 Transputer Applications, Sopron, Hungary, Oct. 8--10,
                 1992.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-09.html{"}>93-09.html</a>",
}

@TechReport{RiscReport93-10,
  author =       "Sabine STIFTER",
  title =        "{Modeling of Objects That May Change Their Shapes:
                 Accuracy Consideration for Dexel Models}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-10",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "geometric modeling, robotics",
  note =         "Published in Journal System Analysis -- Modeling --
                 Simulation, vol. 12, pp. 21--31.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-10.html{"}>93-10.html</a>",
}

@TechReport{RiscReport93-11,
  author =       "Sabine STIFTER",
  title =        "{A Simulation and Demonstration Package for Tunnel
                 Construction}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-11",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "geometric modeling, robotics",
  note =         "Published in Journal of Civil Engineering. To
                 appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-11.html{"}>93-11.html</a>",
}

@TechReport{RiscReport93-12,
  author =       "Sabine STIFTER",
  title =        "{Geometry Theorem Proving in Vector Spaces by Means of
                 Gr\"obner Bases}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-12",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "Gr{\"o}bner bases, geometry theorem proving",
  note =         "Published in Proceedings ISSAC'93, Kiev, Ukraine, June
                 1993, ACM Press. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-12.html{"}>93-12.html</a>",
}

@TechReport{RiscReport93-13,
  author =       "Wolfgang SCHREINER",
  title =        "{The Correctness of the PACLIB Kernel\\A Case Study in
                 Parallel Program Verification by Temporal Logic}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-13",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-13.html{"}>93-13.html</a>",
}

@TechReport{RiscReport93-14,
  author =       "Sabine STIFTER",
  title =        "{Simulation of NC Machining Based on the Dexel
                 Model\\A Critical Analysis}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-14",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics, geometric modeling",
  note =         "Published in International Journal of Advanced
                 Manufacturing Technology. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-14.html{"}>93-14.html</a>",
}

@TechReport{RiscReport93-15,
  author =       "Dongming WANG",
  title =        "{An Elimination Method Based on Seidenberg's Theory
                 and Its Applications}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-15",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, algebraic geometry",
  note =         "Published in In: Computational Algebraic Geometry,
                 F.Eyssette, A. Galligo (eds.), Birkh{\"a}user Publ.
                 Comp., 1993, pp. 301-328.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-15.html{"}>93-15.html</a>",
}

@TechReport{RiscReport93-16,
  author =       "Rudolf EISENST{\"O}CK",
  title =        "{Visualization of Algebraic Surfaces Using the Dexel
                 Model}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-16",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, computer graphics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-16.html{"}>93-16.html</a>",
}

@TechReport{RiscReport93-17,
  author =       "Bruno BLIEM",
  title =        "{A Visualization Interface for a Geometric
                 Workbench}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-17",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computational geometry, computer graphics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-17.html{"}>93-17.html</a>",
}

@TechReport{RiscReport93-18,
  author =       "Petr LISON\v EK",
  title =        "{Quasi-Polynomials: A Case Study in Experimental
                 Combinatorics}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-18",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "combinatorics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-18.html{"}>93-18.html</a>",
}

@TechReport{RiscReport93-19,
  author =       "Herbert VIELHABER {Bruno BUCHBERGER, George E.
                 COLLINS, Mark J. ENCARNACION, Hoon HONG, Jeremy R.
                 JOHNSON, Werner KRANDICK, R{\"u}diger LOOS, Ana M.
                 MANDACHE, Andreas NEUBACHER}",
  title =        "{SACLIB 1.1 User's Guide}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-19",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, systems",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-19.html{"}>93-19.html</a>",
}

@TechReport{RiscReport93-20,
  author =       "Werner KRANDICK Jeremy R. JOHNSON",
  title =        "{A Multiprecision Floating Point and Interval
                 Arithmetic Package for Symbolic Computation}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-20",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-20.html{"}>93-20.html</a>",
}

@TechReport{RiscReport93-21,
  author =       "Hoon HONG",
  title =        "{Efficient Method for Analyzing Topology of Plane Real
                 Algebraic Curves}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-21",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "algebraic geometry",
  note =         "Published in IMACS SC-93, Lille, France. To appear.",
}

,
   location= {<A href="http://info.risc.uni-linz.ac.at/archive/reports/1993/93-21.html">93-21.html</a>},
}

@TechReport{RiscReport93-22,
  author =       "J. Rafael SENDRA Hoon HONG",
  title =        "{Computation of Variant Resultants}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-22",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "algebraic geometry",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-22.html{"}>93-22.html</a>",
}

@TechReport{RiscReport93-23,
  author =       "Franz WINKLER J. Rafael SENDRA",
  title =        "{Determining Simple Points on Rational Algebraic
                 Curves}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-23",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-23.html{"}>93-23.html</a>",
}

@TechReport{RiscReport93-24,
  author =       "Wolfgang SCHREINER",
  title =        "{Parallel Functional Programming (An Annotated
                 Bibliography)}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-24",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-24.html{"}>93-24.html</a>",
}

@TechReport{RiscReport93-25,
  author =       "Sabine STIFTER",
  title =        "{Research Activities in Robotics at RISC-Linz}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-25",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics",
  note =         "Published in Proc. of Workshop ``Robotics in
                 Alpe-Adria-Region'', June 1993, Krems, Austria. To
                 appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-25.html{"}>93-25.html</a>",
}

@TechReport{RiscReport93-26,
  author =       "Franz WINKLER",
  title =        "{Constructive Algebraic Geometry with CASA}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-26",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Presented at COCOA III, Cortona, Italy,
                 May 31 -- June 4, 1993.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-26.html{"}>93-26.html</a>",
}

@TechReport{RiscReport93-27,
  author =       "Volker STAHL",
  title =        "{Exact Real Root Isolation with Sturm Sequences on a
                 Shared Memory Multiprocessor}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-27",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-27.html{"}>93-27.html</a>",
}

@TechReport{RiscReport93-28,
  author =       "Eugen E. ARDELEANU",
  title =        "{Completion and Invariant Theory in Symbolic
                 Computation and Artificial Intelligence}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-28",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proceedings of the International
                 Conference on AI and Symbolic Mathematics and
                 Computation, Karlsruhe, Germany, 1992, Springer LNCS.
                 To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-28.html{"}>93-28.html</a>",
}

@TechReport{RiscReport93-29,
  author =       "Eugen E. ARDELEANU",
  title =        "{Control Transfer}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-29",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics",
  note =         "Published in Presented at PROMotion School, Rodez,
                 France, 1993.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-29.html{"}>93-29.html</a>",
}

@TechReport{RiscReport93-30,
  author =       "Wolfgang SCHREINER {Hoon HONG, Andreas NEUBACHER}",
  title =        "{The Design of the SACLIB/PACLIB Kernels}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-30",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  note =         "Published in Proceedings DISCO'93, Sept. 1993,
                 Gmunden, Austria, Springer LNCS. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-30.html{"}>93-30.html</a>",
}

@TechReport{RiscReport93-31,
  author =       "Olga CAPROTTI",
  title =        "{Extending RISC-CLP(Real) to Handle Symbolic
                 Functions}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-31",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proceedings DISCO'93, Sept. 1993,
                 Gmunden, Austria, Springer LNCS. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-31.html{"}>93-31.html</a>",
}

@TechReport{RiscReport93-32,
  author =       "Jochen PFALZGRAF",
  title =        "{On Mathematical Modeling in Robotics}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-32",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics",
  note =         "Published in Proceedings Conference on AI and Symbolic
                 Mathematical Computation, Karlsruhe, Germany, August
                 1992. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-32.html{"}>93-32.html</a>",
}

@TechReport{RiscReport93-33,
  author =       "Jochen PFALZGRAF",
  title =        "{A Category of Geometric Spaces -- Some Computational
                 Aspects --}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-33",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "geometry",
  note =         "Published in Submitted for publication.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-33.html{"}>93-33.html</a>",
}

@TechReport{RiscReport93-35,
  author =       "Heinrich ROLLETSCHEK",
  title =        "{Some New Lattice-Theoretic Constructions in High R.E.
                 Degrees}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-35",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "geometry",
  note =         "Published in Submitted for publication.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-35.html{"}>93-35.html</a>",
}

@TechReport{RiscReport93-36,
  author =       "Markus SCHORN Peter PAULE",
  title =        "{A Mathematica Version of Zeilberger's Algorithm for
                 Proving Binomial Coefficient Identities -- A
                 Description How to Use It}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-36",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "geometry",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-36.html{"}>93-36.html</a>",
}

@TechReport{RiscReport93-37,
  author =       "Ziming LI",
  title =        "{Mechanical Theorem Proving of the Local Theory of
                 Surfaces}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-37",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "geometry",
  note =         "Published in Special Issue of Math and AI, on
                 Algebraic Approaches to Geometric Reasoning. To
                 appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-37.html{"}>93-37.html</a>",
}

@TechReport{RiscReport93-38,
  author =       "Dongming WANG Stephan DREISEITL",
  title =        "{Automatic Generation of C++ Code for Neural Network
                 Simulation}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-38",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "neural networks",
  note =         "Published in Proc. New Trends in Neural Computing,
                 Mira/Cabestany/Pricto (eds.), Springer, LNCS, 1993, pp.
                 358--363.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-38.html{"}>93-38.html</a>",
}

@TechReport{RiscReport93-39,
  author =       "Dongming WANG",
  title =        "{Solving Polynomial Equations: Characteristic Sets and
                 Triangular Systems}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-39",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proc. Int. IMACS Symp. on Symbolic
                 Computation, Lille, France, June 1993, pp. 3--9, G.
                 Jacob, N.E. Oussous, S. Steinberg (eds.)",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-39.html{"}>93-39.html</a>",
}

@TechReport{RiscReport93-40,
  author =       "Dongming WANG",
  title =        "{Geometry Theorem Proving with Existing Technology}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-40",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Medlar II 12-month deliverables, Leeds,
                 England, July 1993",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-40.html{"}>93-40.html</a>",
}

@TechReport{RiscReport93-41,
  author =       "Hans Wolfgang LOIDL Carla LIMONGELLI",
  title =        "{Rational Number Arithmetic by Parallel P-adic
                 Algorithms}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-41",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  note =         "Published in Proceedings Second Int. Conference of the
                 Austrian Center for Parallel Computation (ACPC),
                 Gmunden, Austria, October 1993. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-41.html{"}>93-41.html</a>",
}

@TechReport{RiscReport93-42,
  author =       "Sabine STIFTER",
  title =        "{Shortest Non-Synchronized Motions -- Parallel
                 Versions for Shared Memory CREW Models}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-42",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computational geometry, parallel computation",
  note =         "Published in Proceedings Second Int. Conference of the
                 Austrian Center for Parallel Computation (ACPC),
                 Gmunden, Austria, October 1993. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-42.html{"}>93-42.html</a>",
}

@TechReport{RiscReport93-43,
  author =       "Franz WINKLER",
  title =        "{Parametrized Solutions of Algebraic Equations}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-43",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proceedings International IMACS Symposium
                 on Symbolic Computation, Lille, France, June 1993",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-43.html{"}>93-43.html</a>",
}

@TechReport{RiscReport93-44,
  author =       "Klaus SUTNER",
  title =        "{Computational Automata Theory}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-44",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "theoretic computer science",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-44.html{"}>93-44.html</a>",
}

@TechReport{RiscReport93-45,
  author =       "Tudor JEBELEAN",
  title =        "{Systolic Normalization of Rational Numbers}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-45",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  note =         "Published in Proceedings ASAP{"}93 (Application
                 Specific Array Processors), Venice, Oct. 1993, IEEE
                 Computer Society Press. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-45.html{"}>93-45.html</a>",
}

@TechReport{RiscReport93-46,
  author =       "Klaus SUTNER",
  title =        "{Linear Cellular Automata and their Fischer
                 Automata}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-46",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "automata theory",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-46.html{"}>93-46.html</a>",
}

@TechReport{RiscReport93-47,
  author =       "Istvan NEMES",
  title =        "{Fibonacci Representations of Multiples of Fibonacci
                 Numbers}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-47",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "combinatorics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-47.html{"}>93-47.html</a>",
}

@TechReport{RiscReport93-48,
  author =       "Tudor JEBELEAN",
  title =        "{Rational Arithmetic Using FPGA}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-48",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  note =         "Published in Presented at: Second International
                 Workshop on Field Programmable Logic and Application;
                 Oxford, England, Sept. 7-9, 1993.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-48.html{"}>93-48.html</a>",
}

@TechReport{RiscReport93-49,
  author =       "Wolfgang SCHREINER",
  title =        "{Compiling a Functional Language to Efficient SACLIB
                 C}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-49",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-49.html{"}>93-49.html</a>",
}

@TechReport{RiscReport93-50,
  author =       "Bruno BUCHBERGER",
  title =        "{{\em Mathematica:} A System for Doing Mathematics by
                 Computer?}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-50",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Invited Talk at DISCO'93, Gmunden,
                 Austria, Sept. 1993.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-50.html{"}>93-50.html</a>",
}

@TechReport{RiscReport93-51,
  author =       "Franz WINKLER {Michal MNUK, J. Rafael SENDRA}",
  title =        "{On the Comlexity of Parametrizing Curves}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-51",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-51.html{"}>93-51.html</a>",
}

@TechReport{RiscReport93-52,
  author =       "Ion POPESCU {Lucian CUCU, Mircea DRAGAN, Tudor
                 JEBELEAN, Viorel NEGRU}",
  title =        "{Construction of Voronoi Diagrams}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-52",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computational geometry",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-52.html{"}>93-52.html</a>",
}

@TechReport{RiscReport93-53,
  author =       "Ion POPESCU",
  title =        "{Construction of Delaunay Triangulation and Voronoi
                 Diagram. Efficient Sequential and Parallel
                 Implementation.}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-53",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computational geometry",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-53.html{"}>93-53.html</a>",
}

@TechReport{RiscReport93-54,
  author =       "Rene ROIDER",
  title =        "{OSP -- Optimal-Safe-Path (Implementation Details)}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-54",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computational geometry, parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-54.html{"}>93-54.html</a>",
}

@TechReport{RiscReport93-55,
  author =       "Thomas MORITZ",
  title =        "{Eine iterative Methode zum Entwurf von korrekten
                 wissensbasierten Systemen f\"ur den praktischen Einsatz
                 in der Industrie}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-55",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "expert systems",
  note =         "Published in Ph.D. Thesis",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-55.html{"}>93-55.html</a>",
}

@TechReport{RiscReport93-56,
  author =       "Karel STOKKERMANS {Jochen PFALZGRAF, Ute SIGMUND}",
  title =        "{MEDLAR II: First Year Deliverable Tasks I.3:
                 Comparison of Two Approaches to Modeling Robotics
                 Scenarios}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-56",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, robotics",
  note =         "Published in RISC/TH Darmstadt Deliverable for the
                 MEDLAR II 12-months-review-workshop, Leeds, UK, July
                 1993.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-56.html{"}>93-56.html</a>",
}

@TechReport{RiscReport93-57,
  author =       "Bernhard WALL",
  title =        "{Symbolic Computation with Algebraic Sets}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-57",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-57.html{"}>93-57.html</a>",
}

@TechReport{RiscReport93-58,
  author =       "Karel STOKKERMANS Jochen PFALZGRAF",
  title =        "{On Robotics Scenarios and Modeling with Fibered
                 Structures}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-58",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics, computer algebra",
  note =         "Published in Springer Series Texts and Monographs in
                 Symbolic Computation, J. Pfalzgraf, D. Wang (eds.). To
                 appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-58.html{"}>93-58.html</a>",
}

@TechReport{RiscReport93-59,
  author =       "Karel STOKKERMANS",
  title =        "{Towards a Categorical Calculus for
                 Critical-Pair/Completion}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-59",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics, computer algebra",
  note =         "Published in Springer Series Texts and Monographs in
                 Symbolic Computation, J. Pfalzgraf, D. Wang (eds.). To
                 appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-59.html{"}>93-59.html</a>",
}

@TechReport{RiscReport93-60,
  author =       "Peter Stadelmeyer",
  title =        "{MAPLE V Package for: Computation of Gr\"obner Bases
                 and Syzygies in $K[X]^r$}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-60",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-60.html{"}>93-60.html</a>",
}

@TechReport{RiscReport93-61,
  author =       "Bernhard KUTZLER",
  title =        "{DERIVE -- The Future of Teaching Mathematics}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-61",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in The International Derive Journal, vol. 1,
                 no. 1, April 1994.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-61.html{"}>93-61.html</a>",
}

@TechReport{RiscReport93-62,
  author =       "Viorel NEGRU {Lucian CUCU, Mircea DRAGAN, Tudor
                 JEBELEAN}",
  title =        "{Delaunay Triangulation Using Divide-and-Conquer}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-62",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computational geometry",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-62.html{"}>93-62.html</a>",
}

@TechReport{RiscReport93-63,
  author =       "Franz WINKLER {Michal MNUK, Bernhard WALL}",
  title =        "{CASA Reference Manual (Version 2.1)}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-63",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-63.html{"}>93-63.html</a>",
}

@TechReport{RiscReport93-64,
  author =       "Franz WINKLER",
  title =        "{Computer Algebra -- Problems and Developments}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-64",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proceedings of SCAFI'92. Amsterdam, The
                 Netherlands. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-64.html{"}>93-64.html</a>",
}

@TechReport{RiscReport93-65,
  author =       "Ana Maria MANDACHE",
  title =        "{Applications of Polynomial Systems Solving in
                 Geometric Modeling and Robotics -- An Annotated
                 Bibliography -- }",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-65",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-65.html{"}>93-65.html</a>",
}

@TechReport{RiscReport93-66,
  author =       "Carl Van Geem",
  title =        "{Towards a Fast Solution Method for the General Robot
                 Motion Planning Problem using a Manhattan-like Distance
                 Function on a Non-uniform Grid in Configuration Space.
                 (Proposal for Ph.D. Thesis)}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-66",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, robotics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-66.html{"}>93-66.html</a>",
}

@TechReport{RiscReport93-67,
  author =       "Ana Maria MANDACHE",
  title =        "{The Gr\"obner Basis Algorithm and Subresultant
                 Theory}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-67",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-67.html{"}>93-67.html</a>",
}

@TechReport{RiscReport93-68,
  author =       "Sabine STIFTER",
  title =        "{Robot Vision Based on Dexel Modeling: Density of
                 Sensor Data Versus Accuracy of the Dexel Model}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-68",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics, geometric modeling",
  note =         "Published in Proceedings Image Analysis and Synthesis,
                 W. P{\"o}lzleitner, E. Wenger (eds.), Oldenbourg
                 Verlag, 1993, pp. 137--145.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-68.html{"}>93-68.html</a>",
}

@TechReport{RiscReport93-69,
  author =       "Hans Wolfgang LOIDL",
  title =        "{Solving a System of Linear Equations by Using a
                 Modular Method}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-69",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-69.html{"}>93-69.html</a>",
}

@TechReport{RiscReport93-70,
  author =       "Sabine STIFTER",
  title =        "{Gr\"obner Bases in Non-Associative Reduction
                 Structures}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-70",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-70.html{"}>93-70.html</a>",
}

@TechReport{RiscReport93-71,
  author =       "wolfgang WINDSTEIGER",
  title =        "{Using GR\"OBNER as a "Black Box"}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-71",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-71.html{"}>93-71.html</a>",
}

@TechReport{RiscReport93-72,
  author =       "Bruno BUCHBERGER wolfgang WINDSTEIGER",
  title =        "{GR\"OBNER: A Library for Computing Gr\"obner Bases
                 based on SACLIB}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-72",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-72.html{"}>93-72.html</a>",
}

@TechReport{RiscReport93-73,
  author =       "Werner KRANDICK George E. COLLINS",
  title =        "{An Efficient Algorithm for Infallible Polynomial
                 Complex Root Isolation}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-73",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proceedings of the International
                 Symposium on Symbolic and Algebraic Computation
                 ISSAC'92, Paul S. Wang (ed.), ACM Order Department,
                 P.O. box 64145, Baltimore, MD 21264, pp. 189--194.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-73.html{"}>93-73.html</a>",
}

@TechReport{RiscReport93-74,
  author =       "Jeremy R. JOHNSON Werner KRANDICK",
  title =        "{Efficient Multiprecision Floating Point
                 Multiplication with Optimal Directional Rounding}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-74",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proceedings of the 11th IEEE Symposium on
                 Computer Arithmetic, 1993, Earl Swartzlander, Jr., M.J.
                 Irwin, G. Jullien (eds.), IEEE Computer Society Press,
                 pp. 228--233.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-74.html{"}>93-74.html</a>",
}

@TechReport{RiscReport93-75,
  author =       "Werner KRANDICK George E. COLLINS",
  title =        "{A Hybrid Method for High Precision Calculation of
                 Polynomial Real Roots}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-75",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proceedings of the International
                 Symposium on Symbolic and Algebraic Computation,
                 ISSAC'93, M. Bronstein (ed.), Kiev, Ukraine, 1993, ACM
                 Order Department, pp. 47--52.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-75.html{"}>93-75.html</a>",
}

@TechReport{RiscReport93-76,
  author =       "Jeremy R. JOHNSON Werner KRANDICK",
  title =        "{Efficient Multiprecision Floating Point
                 Multiplication with Exact Rounding}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-76",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-76.html{"}>93-76.html</a>",
}

@TechReport{RiscReport93-77,
  author =       "Werner KRANDICK George E. COLLINS",
  title =        "{A Tangent-Secant Method for Polynomial Complex Root
                 Calculation}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-77",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-77.html{"}>93-77.html</a>",
}

@TechReport{RiscReport93-78,
  author =       "Franz WINKLER",
  title =        "{Parametrized Solutions of Algebraic Equations}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-78",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proceedings IMACS SC-93, Lille, France.
                 To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-78.html{"}>93-78.html</a>",
}

@TechReport{RiscReport93-79,
  author =       "Franz WINKLER",
  title =        "{Algebraic Computation in Geometry}",
  year =         "1993",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "93-79",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proceedings IMACS SC-93, Lille, France.
                 To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1993/93-79.html{"}>93-79.html</a>",
}

# BibTeX Entries for RISC Technical Reports of the Year: 1994

@TechReport{RiscReport94-01,
  author =       "Wolfgang SCHREINER",
  title =        "{Garbage Collection on a Stack}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-01",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "garbage collection",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-01.html{"}>94-01.html</a>",
}

@TechReport{RiscReport94-02,
  author =       "Wolfgang SCHREINER",
  title =        "{Virtual Tasks for the PACLIB Kernel}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-02",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-02.html{"}>94-02.html</a>",
}

@TechReport{RiscReport94-03,
  author =       "Volker STAHL",
  title =        "{The Overestimation Error of the Centered Form for
                 Univariate Polynomials can be Reduced by Half}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-03",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-03.html{"}>94-03.html</a>",
}

@TechReport{RiscReport94-04,
  author =       "Volker STAHL",
  title =        "{Interval Horner Evaluation of Univariate Polynomials
                 Gives Sometimes the Range}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-04",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-04.html{"}>94-04.html</a>",
}

@TechReport{RiscReport94-05,
  author =       "Edward S. BLUROCK",
  title =        "{REACTION 1.0 System for Modelling Chemical
                 Reactions}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-05",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "chemistry",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-05.html{"}>94-05.html</a>",
}

@TechReport{RiscReport94-06,
  author =       "Edward S. BLUROCK",
  title =        "{Research Proposal: General System for Modelling
                 Reaction Mechanisms Toward Determination of Research
                 Octane Number}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-06",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "chemistry",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-06.html{"}>94-06.html</a>",
}

@TechReport{RiscReport94-07,
  author =       "Tibor FADGYAS {Hoon HONG, Wolfgang SCHREINER}",
  title =        "{Performance Analysis of Parallel Programs: The PACVIS
                 Visualization Tool}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-07",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel Computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-07.html{"}>94-07.html</a>",
}

@TechReport{RiscReport94-08,
  author =       "Hoon HONG",
  title =        "{Confluency of Cooperative Constraint Solving}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-08",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-08.html{"}>94-08.html</a>",
}

@TechReport{RiscReport94-09,
  author =       "Hoon HONG",
  title =        "{CLP(CF) Constraint Logic Programming over Complex
                 Functions}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-09",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-09.html{"}>94-09.html</a>",
}

@TechReport{RiscReport94-11,
  author =       "Hoon HONG",
  title =        "{Modular Confluency of Cooperative Constraint
                 Solvers}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-11",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-11.html{"}>94-11.html</a>",
}

@TechReport{RiscReport94-12,
  author =       "Werner BAUM {Thomas STRELOW, J{\"u}rgen VOSS}",
  title =        "{Electroreduction of Organic Compounds, 23}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-12",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "chemistry",
  note =         "Published in Zeitschrift f{\"u}r Naturforschung,
                 1993.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-12.html{"}>94-12.html</a>",
}

@TechReport{RiscReport94-13,
  author =       "Franz WINKLER",
  title =        "{Introduction to Computer Algebra (Lecture Notes, WA
                 93/94)}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-13",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-13.html{"}>94-13.html</a>",
}

@TechReport{RiscReport94-14,
  author =       "Jochen PFALZGRAF",
  title =        "{On a General Notion of a Hull}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-14",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Automated Practical Reasoning: Algebraic
                 Approaches, J. Pfalzgraf, D. Wang (eds.), Texts and
                 Monographs in Symbolic Computation, Springer, 1994. To
                 appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-14.html{"}>94-14.html</a>",
}

@TechReport{RiscReport94-15,
  author =       "Thomas HAINZL",
  title =        "{A Report on Fuzzy Sets and Neural Networks (A Formal
                 Introduction)}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-15",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "neural networks",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-15.html{"}>94-15.html</a>",
}

@TechReport{RiscReport94-16,
  author =       "Hans-Peter FEICHTENSCHLAGER",
  title =        "{ECOCIM-EH: A Consistent Error Handling Concept for an
                 Object Oriented Leitstand for a Highly Automated Window
                 Production Line}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-16",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "C-technologies",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-16.html{"}>94-16.html</a>",
}

@TechReport{RiscReport94-17,
  author =       "P. Zinterhof {Editors: B. Buchberger, S. Stifter, J.
                 Volkert}",
  title =        "{Workshop PARAGRAPH'94 (Collection of Abstracts)}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-17",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer geometry, graphics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-17.html{"}>94-17.html</a>",
}

@TechReport{RiscReport94-18,
  author =       "Christopher CARLSON",
  title =        "{Describing Spaces of Rectangular Dissections via
                 Grammatical Programming}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-18",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "automata theory",
  note =         "Published in Proceedings CAAD Futures'93, U. Flemming,
                 S. Van Wyk (eds.), Elsevier, pp. 143--158",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-18.html{"}>94-18.html</a>",
}

@TechReport{RiscReport94-19,
  author =       "Hans Wolfgang LOIDL Hoon HONG",
  title =        "{Parallel Computation of Modular Multivariate
                 Polynomial Resultants on Shared Memory Machine}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-19",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-19.html{"}>94-19.html</a>",
}

@TechReport{RiscReport94-20,
  author =       "Volker STAHL Hoon HONG",
  title =        "{Safe Starting Regions by Fixed Points and
                 Tightening}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-20",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "constraint logic programming",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-20.html{"}>94-20.html</a>",
}

@TechReport{RiscReport94-21,
  author =       "Christopher CARLSON",
  title =        "{Design Space Description Formalism}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-21",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "CAD, automata theory",
  note =         "Published in Proceedings IFIP WG 5.2 Workshop on
                 Formal Design Methods for Computer Aided Design, J.
                 Gero, F. Susreks (eds.), Kluwer Academic Publishers,
                 1994.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-21.html{"}>94-21.html</a>",
}

@TechReport{RiscReport94-22,
  author =       "Christopher CARLSON",
  title =        "{A Tutorial Introduction to Grammatical Programming}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-22",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "CAD, automata theory",
  note =         "Published in Proceedings IFIP WG 5.2 Workshop on
                 Formal Design Methods for Computer Aided Design, J.
                 Gero, F. Susreks (eds.), Kluwer Academic Publishers,
                 1994.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-22.html{"}>94-22.html</a>",
}

@TechReport{RiscReport94-23,
  author =       "Carla LIMONGELLI",
  title =        "{On an Efficient Algorithm for Big Rational Number
                 Computations by Parallel p-adics}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-23",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-23.html{"}>94-23.html</a>",
}

@TechReport{RiscReport94-24,
  author =       "Walter SIEBERER",
  title =        "{Geometric Modeling Applied to Five-Axis-Milling (An
                 Annotated Bibliography)}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-24",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer geometry, CAD/CAM",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-24.html{"}>94-24.html</a>",
}

@TechReport{RiscReport94-25,
  author =       "Roberto PIRASTU Carla LIMONGELLI",
  title =        "{Exact Solution of Linear Equation Systems over
                 Rational Numbers by Parallel p-Adic Arithmetic}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-25",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-25.html{"}>94-25.html</a>",
}

@TechReport{RiscReport94-26,
  author =       "Jochen PFALZGRAF",
  title =        "{Gra\ss mann-Variet\"aten}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-26",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, geometry",
  note =         "Published in IN: A Zaddach: Gra\ss manns Algebra in
                 der Geometrie. B.I.-Wissenschaftsverlag, Mannheim,
                 Wien, Z{\"u}rich, 1994, pp. 349--363.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-26.html{"}>94-26.html</a>",
}

@TechReport{RiscReport94-27,
  author =       "A. PETH{\"O} {P.J. GRABNER, R.F. TICHY, I. NEMES}",
  title =        "{Generalized Zeckendorf Expansion}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-27",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, geometry",
  note =         "Published in Appl.Math.Lett., vol. 7, no. 2, pp.
                 25--28, 1994.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-27.html{"}>94-27.html</a>",
}

@TechReport{RiscReport94-28,
  author =       "Mark J. ENCARNACION",
  title =        "{On a Modular Algorithm for Computing GCDs of
                 Polynomials Over Algebraic Number Fields}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-28",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proceedings ISSAC'94, Oxford, UK, June
                 1994. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-28.html{"}>94-28.html</a>",
}

@TechReport{RiscReport94-29,
  author =       "Volker STAHL Hoon HONG",
  title =        "{Safe Starting Regions by Fixed Points and
                 Tightening}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-29",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, constraint logic programming",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-29.html{"}>94-29.html</a>",
}

@TechReport{RiscReport94-30,
  author =       "Volker STAHL {Hoon HONG, Andreas NEUBACHER}",
  title =        "{The Sturm Library Manual}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-30",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-30.html{"}>94-30.html</a>",
}

@TechReport{RiscReport94-32,
  author =       "Volker STAHL {Piergiorgio BERTOLI, Hoon HONG, Andreas
                 NEUBACHER, Wolfgang SCHREINER}",
  title =        "{The C++ Interface to the Sturm Distributed
                 Multi-Porcessor Kernel}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-32",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-32.html{"}>94-32.html</a>",
}

@TechReport{RiscReport94-34,
  author =       "Bruno BUCHBERGER",
  title =        "{Symbolic Computation: Foundations and Applications}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-34",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "symbolic computation",
  note =         "Published in Presented at GAMM'94, April 6, 1994,
                 Braunschweig, Germany.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-34.html{"}>94-34.html</a>",
}

@TechReport{RiscReport94-35,
  author =       "Wolfgang ST{\"O}CHER Hoon HONG",
  title =        "{Exact Division Applied to Diagonalizing Symmetric
                 Matrices}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-35",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-35.html{"}>94-35.html</a>",
}

@TechReport{RiscReport94-36,
  author =       "Bernhard KUTZLER Helmut HEUGL",
  title =        "{DERIVE in Education Opportunities and Strategies}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-36",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, education",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-36.html{"}>94-36.html</a>",
}

@TechReport{RiscReport94-37,
  author =       "Tudor JEBELEAN",
  title =        "{Systolic Multiprecision Arithmetic}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-37",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-37.html{"}>94-37.html</a>",
}

@TechReport{RiscReport94-38,
  author =       "Werner KRANDICK",
  title =        "{Komplexe Nullstellen von Polynomen -- Vergleich
                 zweier unfehlbarer Methoden --}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-38",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in ZAMM Berichte, Proceedings der GAMM'94,
                 Braunschweig, Germany",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-38.html{"}>94-38.html</a>",
}

@TechReport{RiscReport94-39,
  author =       "Johannes SIXT",
  title =        "{Design of an Artificial Neural Network Simulator and
                 its Integration with a Robot Simulation Environment}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-39",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-39.html{"}>94-39.html</a>",
}

@TechReport{RiscReport94-40,
  author =       "Jochen PFALZGRAF",
  title =        "{MEDLAR II Deliverable DIII.2.2P: Towards a General
                 Semantics for Relational Structures}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-40",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "reasoning, computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-40.html{"}>94-40.html</a>",
}

@TechReport{RiscReport94-41,
  author =       "Sabine STIFTER Eugen ARDELEANU",
  title =        "{Intersection Algorithms: A Comparative Study}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-41",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics, computer geometry",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-41.html{"}>94-41.html</a>",
}

@TechReport{RiscReport94-42,
  author =       "Viorel NEGRU {Lucian CUCU, Mircea DRAGAN, Tudor
                 JEBELEAN}",
  title =        "{Motion Planning Through Voronoi Diagrams Construction
                 on Shared Memory Architecture}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-42",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "robotics, computer geometry",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-42.html{"}>94-42.html</a>",
}

@TechReport{RiscReport94-43,
  author =       "Edward S. BLUROCK",
  title =        "{LISP Fundamentals: An Introduction to COMMON LISP}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-43",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "functional programming",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-43.html{"}>94-43.html</a>",
}

@TechReport{RiscReport94-44,
  author =       "Wolfgang SCHREINER",
  title =        "{Compiling a Para-Functional Language to Parallel
                 PACLIB C}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-44",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-44.html{"}>94-44.html</a>",
}

@TechReport{RiscReport94-45,
  author =       "Dongming WANG",
  title =        "{Some Advances in Geometric and Algebraic Reasoning
                 (Deliverable DII.4.2P)}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-45",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in MEDLAR II Report PPR2, Rome, Italy, July
                 25-27, 1994, pp. 205--220.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-45.html{"}>94-45.html</a>",
}

@TechReport{RiscReport94-46,
  author =       "Wolfgang SCHREINER",
  title =        "{A Para-Functional Programming Interface for a
                 Parallel Computer Algebra Package}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-46",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel computation",
  note =         "Published in Proceedings PASCO'94, World Scientific
                 Publishing",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-46.html{"}>94-46.html</a>",
}

@TechReport{RiscReport94-47,
  author =       "Tudor JEBELEAN",
  title =        "{Designing Systolic Arrays for Integer GCD
                 Computation}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-47",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel computation",
  note =         "Published in Proceedings of ASAP'94 (Application
                 Specific Array Processors), San Francisco, August 1994,
                 IEEE Computer Society Press.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-47.html{"}>94-47.html</a>",
}

@TechReport{RiscReport94-48,
  author =       "Bruno BUCHBERGER, Jens VOLKERT (eds.)",
  title =        "{CONPAR 94 -- VAPP VI (Poster Presentations)}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-48",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "parallel computation",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-48.html{"}>94-48.html</a>",
}

@TechReport{RiscReport94-49,
  author =       "Tran Quoc Nam",
  title =        "{Extended Newton's Method for Finding the Roots of an
                 Arbitrary System of Equations and Its Applications}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-49",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proc. 12th IASTED International
                 Conference 1994, Annecey, France.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-49.html{"}>94-49.html</a>",
}

@TechReport{RiscReport94-50,
  author =       "Tudor JEBELEAN Werner KRANDICK",
  title =        "{Bidirectional Exact Integer Divison}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-50",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proceedings, PASCO'94, World Scientific
                 Publ. Comp.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-50.html{"}>94-50.html</a>",
}

@TechReport{RiscReport94-51,
  author =       "Kurt SIEGL",
  title =        "{A Parallel Factorization Tree Gr\"obner Basis
                 Algorithm}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-51",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proceedings, PASCO'94, World Scientific
                 Publ. Comp.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-51.html{"}>94-51.html</a>",
}

@TechReport{RiscReport94-52,
  author =       "Volker STAHL Hoon HONG",
  title =        "{Bernstein Form is Inclusion Monotone}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-52",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-52.html{"}>94-52.html</a>",
}

@TechReport{RiscReport94-53,
  author =       "Adriana ARDELEANU Eugen ARDELEANU",
  title =        "{Databases of Activities and Modeling}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-53",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Technical Report 93-97 of Cornell
                 University, MSI",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-53.html{"}>94-53.html</a>",
}

@TechReport{RiscReport94-54,
  author =       "Adriana ARDELEANU Eugen ARDELEANU",
  title =        "{Methodological Issues in Structural and Syntactical
                 Theories}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-54",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Technical Report 93-98 of Cornell
                 University, MSI",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-54.html{"}>94-54.html</a>",
}

@TechReport{RiscReport94-55,
  author =       "Karel STOKKERMANS {Jochen PFALZGRAF, Ute Cornelia
                 SIGMUND}",
  title =        "{Modeling Cooperative Agents Scenarios by Deductive
                 Planning Methods and Logical Fiberings}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-55",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, robotics",
  note =         "Published in Proceedings AISMC-2, Cambridge, UK,
                 August 1994, Springer LNCS. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-55.html{"}>94-55.html</a>",
}

@TechReport{RiscReport94-56,
  author =       "Wolfgang GEHRKE",
  title =        "{Rewriting Techniques Applied to Basic Category
                 Theory}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-56",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-56.html{"}>94-56.html</a>",
}

@TechReport{RiscReport94-57,
  author =       "Tudor JEBELEAN",
  title =        "{Implementing GCD Systolic Arrays on FPGA}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-57",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proceedings of FPLA 94 (Field
                 Programmable Logic and Applications), Prague, Czech
                 Republic, Sept. 1994.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-57.html{"}>94-57.html</a>",
}

@TechReport{RiscReport94-58,
  author =       "Tudor JEBELEAN",
  title =        "{Systolic Algorithms for Long Integer GCD
                 Computation}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-58",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  note =         "Published in Proceedings of CONPAR 94, Linz, Austria,
                 Sept. 1994.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-58.html{"}>94-58.html</a>",
}

@TechReport{RiscReport94-59,
  author =       "Wolfgang FREISEISEN",
  title =        "{Computing Convex Hulls in the Plane using
                 Divide-and-Conquer}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-59",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computational geometry",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-59.html{"}>94-59.html</a>",
}

@TechReport{RiscReport94-60,
  author =       "Werner KRANDICK",
  title =        "{Final Report on Projects M022-PHY and M0135-PHY:
                 Improvements of Quantifier Elimination in Real Closed
                 Fields}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-60",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-60.html{"}>94-60.html</a>",
}

@TechReport{RiscReport94-62,
  author =       "Kim Ritter WAGNER",
  title =        "{Solving Recursive Domain Equations with Enriched
                 Categories}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-62",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Ph.D. thesis at Carnegie Mellon
                 University",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-62.html{"}>94-62.html</a>",
}

@TechReport{RiscReport94-64,
  author =       "Mark J. ENCARNACION George E. COLLINS",
  title =        "{Efficient Rational Number Reconstruction}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-64",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-64.html{"}>94-64.html</a>",
}

@TechReport{RiscReport94-65,
  author =       "Franz WINKLER J. Rafael SENDRA",
  title =        "{Optimal Parametrization of Algebraic Curves}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-65",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-65.html{"}>94-65.html</a>",
}

@TechReport{RiscReport94-66,
  author =       "Wolfgang GEHRKE",
  title =        "{Proof of the Decidability of the Uniform Word Problem
                 for Monads Assisted by Elf}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-66",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-66.html{"}>94-66.html</a>",
}

@TechReport{RiscReport94-67,
  author =       "Bernhard WALL",
  title =        "{Intersection Detection for Convex Semi-Algebraic Sets
                 in Two Dimensions by the Roider Method}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-67",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, robotics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-67.html{"}>94-67.html</a>",
}

@TechReport{RiscReport94-68,
  author =       "Petr LISONEK",
  title =        "{Computer-Assisted Studies in Algebraic
                 Combinatorics}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-68",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, combinatorics",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-68.html{"}>94-68.html</a>",
}

@TechReport{RiscReport94-69,
  author =       "Hoon HONG",
  title =        "{Implicitization of Curves Parameterized by
                 Generalized Trigonometric Polynomials}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-69",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, algebraic geometry",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-69.html{"}>94-69.html</a>",
}

@TechReport{RiscReport94-70,
  author =       "Dingjia XIN",
  title =        "{Generalization of Welch-Berlekamp Theorem and
                 Universal Algorithm of Decoding Cyclic Codes Beyond BCH
                 Bound}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-70",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-70.html{"}>94-70.html</a>",
}

@TechReport{RiscReport94-71,
  author =       "Eugen ARDELEANU",
  title =        "{Relational Structures}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-71",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-71.html{"}>94-71.html</a>",
}

@TechReport{RiscReport94-72,
  author =       "Ileana TOMUTA",
  title =        "{A Library for Detecting the Intersection of Plane
                 Convex Objects}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-72",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-72.html{"}>94-72.html</a>",
}

@TechReport{RiscReport94-74,
  author =       "Carl Van GEEM",
  title =        "{On Using a Manhattan Distance-Like Function for Robot
                 Motion Planning on a Non-Uniform Grid in Configuration
                 Space}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-74",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-74.html{"}>94-74.html</a>",
}

@TechReport{RiscReport94-75,
  author =       "H. P. FEICHTENSCHLAGER {M. DIAS, R. EISENST{\"O}CK}",
  title =        "{The Dexel Model: A Challenging Concept for Geometric
                 Modeling}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-75",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-75.html{"}>94-75.html</a>",
}

@TechReport{RiscReport94-76,
  author =       "Stefan RATSCHAN",
  title =        "{RISC-CLP(Tree$(\Delta)$) A Constraint Logic
                 Programming System With Parametric Domain}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-76",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-76.html{"}>94-76.html</a>",
}

@TechReport{RiscReport94-73,
  author =       "Kurt SIEGL Roberto PIRASTU",
  title =        "{Parallel Computation and Indefinite Summation: A
                 $\|$MAPLE$\|$ Application for the Rational Case}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-73",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra, combinatorics, parallel
                 computation",
  note =         "Published in Journal of Symbolic Computation, Special
                 Issue on Symbolic Computation and Combinatorics, P.
                 Paule, V. Strehl (eds.)",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-73.html{"}>94-73.html</a>",
}

@TechReport{RiscReport94-74,
  author =       "Ziming LI",
  title =        "{An Implementation of the Characteristic Set Method
                 for Solving Algebraic Equations}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-74",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-74.html{"}>94-74.html</a>",
}

@TechReport{RiscReport94-75a,
  author =       "Bernhard ST{\"O}GER {Franz LICHTENBERGER, Klaus
                 MIESENBERGER}",
  title =        "{Projektantrag: Zugang zur Mathematik f\"ur Blinde:
                 Integrierte, computerunterst\"utzte Arbeitsumgebung
                 f\"ur Blinde und Sehende im Bereich der
                 Mathematiklehre}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-75a",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-75a.html{"}>94-75a.html</a>",
}

@TechReport{RiscReport94-76a,
  author =       "Sabine STIFTER {Bruno BLIEM, Rudolf EISENST{\"O}CK}",
  title =        "{Roider Method for Polygons and Polyhdera}",
  year =         "1994",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "94-76a",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1994/94-76a.html{"}>94-76a.html</a>",
}

# BibTeX Entries for RISC Technical Reports of the Year: 1995

@TechReport{RiscReport95-01,
  author =       "Hoon HONG Thomas FAHRINGER",
  title =        "{On Using Volume Computation to Estimate the Work
                 Distribution for Parallel Programs}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-01",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-01.html{"}>95-01.html</a>",
}

@TechReport{RiscReport95-02,
  author =       "Juana SENDRA J. Rafael SENDRA",
  title =        "{On the Rationality of Offset Curves}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-02",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-02.html{"}>95-02.html</a>",
}

@TechReport{RiscReport95-03,
  author =       "Hoon HONG {Olga CAPROTTI, Alois FERSCHA}",
  title =        "{Reachability Test in Petri Nets by Gr\"obner Bases}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-03",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-03.html{"}>95-03.html</a>",
}

@TechReport{RiscReport95-04,
  author =       "Volker STAHL {Thomas FAHRINGER, Hoon HONG, Franz
                 KRIFTNER}",
  title =        "{Computing the Volume of a Convex Polytope Using
                 Interval Arithmetic}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-04",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-04.html{"}>95-04.html</a>",
}

@TechReport{RiscReport95-05,
  author =       "Franz WINKLER {Michal MNUK, Bernhard WALL}",
  title =        "{CASA Reference Manual (Version 2.2)}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-05",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-05.html{"}>95-05.html</a>",
}

@TechReport{RiscReport95-06,
  author =       "Hoon HONG",
  title =        "{The Exact Region of Stability for MacCormack
                 Scheme}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-06",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-06.html{"}>95-06.html</a>",
}

@TechReport{RiscReport95-07,
  author =       "Wolfgang SCHREINER",
  title =        "{Application of a Para-Functional Language to Computer
                 Algebra Problems}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-07",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in HPFC Conference on High Performance
                 Functional Computing, Denver, Colorado, April 9--11,
                 1995.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-07.html{"}>95-07.html</a>",
}

@TechReport{RiscReport95-08,
  author =       "Volker STREHL Roberto PIRASTU",
  title =        "{Rational Summation and Gosper-Petkovsek
                 Representation}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-08",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Journal of Symbolic Computation, vo. 11,
                 1995",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-08.html{"}>95-08.html</a>",
}

@TechReport{RiscReport95-09,
  author =       "Roberto PIRASTU",
  title =        "{Algorithms for Indefinite Summation of Rational
                 Functions in Maple}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-09",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in The Maple Technical Newsletter",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-09.html{"}>95-09.html</a>",
}

@TechReport{RiscReport95-10,
  author =       "Markus SCHORN Peter PAULE",
  title =        "{A Mathematica Version of Zeilberger's Algorithm for
                 Proving Binomial Coefficient Identities}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-10",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Journal of Symbolic Computation. To
                 appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-10.html{"}>95-10.html</a>",
}

@TechReport{RiscReport95-11,
  author =       "Volker STREHL Peter PAULE",
  title =        "{Symbolic Summation -- Some Recent Developments}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-11",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Computer Algebra in Science and
                 Engineering -- Algorithms, Systems, and Applications,
                 J. Fleischer, J. Grabmeier, F. Hehl, W. K{\"u}chlin
                 (eds.), World Scientific, Singapore. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-11.html{"}>95-11.html</a>",
}

@TechReport{RiscReport95-12,
  author =       "Peter PAULE",
  title =        "{Short and Easy Computer Proofs of the
                 Rogers-Ramanujan Identities and of Identities of
                 Similar Type}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-12",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in The Electronic Journal of Combinatorics,
                 vol. 1, 1994, R10",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-12.html{"}>95-12.html</a>",
}

@TechReport{RiscReport95-13,
  author =       "Edward S. BLUROCK",
  title =        "{Analysis 4.0: An Interactive System for the Analysis
                 of Data}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-13",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-13.html{"}>95-13.html</a>",
}

@TechReport{RiscReport95-14,
  author =       "Carl van GEEM",
  title =        "{Preparations with Workspace Information for
                 Meaningful Robot Motion Planning in Configuration
                 Space}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-14",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-14.html{"}>95-14.html</a>",
}

@TechReport{RiscReport95-15,
  author =       "Manfred MINIMAIR",
  title =        "{Design, Analysis and Implementation of an Adder by
                 Ladner and Fisher}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-15",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-15.html{"}>95-15.html</a>",
}

@TechReport{RiscReport95-16,
  author =       "T. M. CHERKASOV A. Y. UTESEV",
  title =        "{On the Search of the Maximum of a Polynomial}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-16",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-16.html{"}>95-16.html</a>",
}

@TechReport{RiscReport95-17,
  author =       "Edward S. BLUROCK",
  title =        "{REACTION: System for Modeling Chemical Reactions}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-17",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Journal of Chemical Information and
                 Computer Science",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-17.html{"}>95-17.html</a>",
}

@TechReport{RiscReport95-18,
  author =       "Edward S. BLUROCK",
  title =        "{Automatic Learning of Chemical Concepts: Research
                 Octane Number and Molecular Substructures}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-18",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Computers and Chemistry",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-18.html{"}>95-18.html</a>",
}

@TechReport{RiscReport95-19,
  author =       "Mark J. ENCARNACION George E. COLLINS",
  title =        "{Improved Techniques for Factoring Univariate
                 Polynomials}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-19",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-19.html{"}>95-19.html</a>",
}

@TechReport{RiscReport95-25,
  author =       "Stefan RATSCHAN Hoon HONG",
  title =        "{RISC-CLP (Tree$(\Delta)$): A Constraint Logic
                 Programming System with Parametric Domain}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-25",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-25.html{"}>95-25.html</a>",
}

@TechReport{RiscReport95-26,
  author =       "Jochen PFALZGRAF",
  title =        "{Graph Products of Groups and Group Spaces}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-26",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Journal of Geometry. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-26.html{"}>95-26.html</a>",
}

@TechReport{RiscReport95-28,
  author =       "Sabine STIFTER",
  title =        "{Technological Aspects in Geometric Problems: A Case
                 Study for the Nesting Problem}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-28",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Conference on Integration in
                 Manufacturing (IiM), Sept. 13-15, Vienna, Austria. To
                 appear",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-28.html{"}>95-28.html</a>",
}

@TechReport{RiscReport95-29,
  author =       "Carl Van Geem",
  title =        "{Counting Cells in a Grid}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-29",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-29.html{"}>95-29.html</a>",
}

@TechReport{RiscReport95-31,
  author =       "George E. COLLINS",
  title =        "{Applicaton of Quantifier Elimination to Solotareff's
                 Approximation Problem}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-31",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-31.html{"}>95-31.html</a>",
}

@TechReport{RiscReport95-32,
  author =       "Scott McCALLUM George E. COLLINS",
  title =        "{Adjacency Algorithms for Cylindrical Algebraic
                 Decomposition of Three and Higher Dimensional Space I:
                 Adjacencies Over a Non-nullifying $\{0,1\}$
                 Adjacency}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-32",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-32.html{"}>95-32.html</a>",
}

@TechReport{RiscReport95-34,
  author =       "Hoon HONG",
  title =        "{A Basis for Multivariate Hermite Interpolation}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-34",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-34.html{"}>95-34.html</a>",
}

@TechReport{RiscReport95-35,
  author =       "Ziming LI",
  title =        "{A Subresultant Theory for Linear Ordinary
                 Differential Polynomials}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-35",
  address =      "Johannes Kepler University, Linz, Austria",
  descr =        "computer algebra",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-35.html{"}>95-35.html</a>",
}

@TechReport{RiscReport95-37,
  author =       "Edward S. BLUROCK",
  title =        "{Reaction: System for Modeling Chemical Reactions I.
                 Generation of Reaction Mechanisms}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-37",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-37.html{"}>95-37.html</a>",
}

@TechReport{RiscReport95-38,
  author =       "Edward S. BLUROCK",
  title =        "{Reaction: System for Modeling Chemical Reactions II.
                 Analysing and Using the Generated Reaction Mechanism}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-38",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-38.html{"}>95-38.html</a>",
}

@TechReport{RiscReport95-39,
  author =       "Edward S. BLUROCK",
  title =        "{Reaction: System for Modeling Chemical Reactions III.
                 Notes on Applications and Basis for Future Work}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-39",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-39.html{"}>95-39.html</a>",
}

@TechReport{RiscReport95-40,
  author =       "Ileana TOMUTA Edward S. BLUROCK",
  title =        "{Use of Machine Learning in Economic Studies: A
                 Tutorial Study}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-40",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-40.html{"}>95-40.html</a>",
}

@TechReport{RiscReport95-41,
  author =       "Edward S. BLUROCK",
  title =        "{REACTION: Symbolic Methods in the Generation and
                 Analysis of Complex Reaction Systems}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-41",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Presented at: AI Petro'95, The
                 International Conference on Artificial Intelligence in
                 the Petroleum Industry",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-41.html{"}>95-41.html</a>",
}

@TechReport{RiscReport95-42,
  author =       "Sabine STIFTER",
  title =        "{Characterization of Contour Elements that Generate
                 Abstract Voronoi Diagrams}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-42",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Int. J. on Computational Geometry: Theory
                 and Applications. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-42.html{"}>95-42.html</a>",
}

@TechReport{RiscReport95-45,
  author =       "Carl Van GEEM",
  title =        "{Path Planning for Manipulators with Many Degrees of
                 Freedom Using a Discrete Representation of
                 Configuration Space Extensively}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-45",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-45.html{"}>95-45.html</a>",
}

@TechReport{RiscReport95-46,
  author =       "Michal Mnuk",
  title =        "{Computing Adjoint Curves (An algebraic approach)}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-46",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-46.html{"}>95-46.html</a>",
}

@TechReport{RiscReport95-47,
  author =       "Hoon HONG",
  title =        "{Subresultants Under Composition}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-47",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-47.html{"}>95-47.html</a>",
}

@TechReport{RiscReport95-48,
  author =       "Peter HIRT",
  title =        "{AIPC: An Assitant for Interactive Proof Construction
                 Using Natural Deduction}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-48",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-48.html{"}>95-48.html</a>",
}

@TechReport{RiscReport95-49,
  author =       "K. Stokkermans {J. Pfalzgraf, U.C. Sigmund, V.
                 Sofronie}",
  title =        "{Towards a Cooperating Robots Demonstrator}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-49",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-49.html{"}>95-49.html</a>",
}

@TechReport{RiscReport95-50,
  author =       "Wolfgang ST{\"O}CHER Hoon HONG",
  title =        "{Implementing Real Root Count with Polynomial
                 Constraints for the Multivariate Case with one
                 Constraint Polynomial}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-50",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-50.html{"}>95-50.html</a>",
}

@TechReport{RiscReport95-51,
  author =       "Wolfgang ST{\"O}CHER {Hoon HONG, Josef SCHICHO}",
  title =        "{Structure and Efficient Computation of Multiplication
                 Tables and Associated Quadratic Forms}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-51",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-51.html{"}>95-51.html</a>",
}

@TechReport{RiscReport95-52,
  author =       "Peter STADELMEYER",
  title =        "{Ordered Completion with Selection for Horn Clauses}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-52",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-52.html{"}>95-52.html</a>",
}

@TechReport{RiscReport95-53,
  author =       "Karel STOKKERMANS",
  title =        "{A Categorical Framework and Calculus for Critical
                 Pair Completion}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-53",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-53.html{"}>95-53.html</a>",
}

@TechReport{RiscReport95-54,
  author =       "Giovanna RODA",
  title =        "{Linear Algebra Methods for the Transformation of
                 Gr\"obner Bases}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-54",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-54.html{"}>95-54.html</a>",
}

@TechReport{RiscReport95-55,
  author =       "Hoon HONG",
  title =        "{Gr\"obner Bases Under Composition}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-55",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-55.html{"}>95-55.html</a>",
}

@TechReport{RiscReport95-56,
  author =       "Hoon HONG",
  title =        "{Multivariate Resultants Under Composition}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-56",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-56.html{"}>95-56.html</a>",
}

@TechReport{RiscReport95-57,
  author =       "H. HONG P. G. BERTOLI",
  title =        "{The Design and Implementation of the Distributed
                 Shared-Memory Sturm Kernel}",
  year =         "1995",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "95-57",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1995/95-57.html{"}>95-57.html</a>",
}

# BibTeX Entries for RISC Technical Reports of the Year: 1996

@TechReport{RiscReport96-01,
  author =       "Carl Van GEEM",
  title =        "{Enclosing Robot Links by Superellipses and
                 Superellipsoids}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-01",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-01.html{"}>96-01.html</a>",
}

@TechReport{RiscReport96-02,
  author =       "Dalibor JAKUS Hoon HONG",
  title =        "{Testing Positiveness of Polynomials}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-02",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-02.html{"}>96-02.html</a>",
}

@TechReport{RiscReport96-03,
  author =       "Hoon HONG",
  title =        "{Gr\"obner Bases Under Composition II}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-03",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-03.html{"}>96-03.html</a>",
}

@TechReport{RiscReport96-04,
  author =       "Daniela VASARU Hoon HONG",
  title =        "{Survey on Nonlinear Optimization}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-04",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-04.html{"}>96-04.html</a>",
}

@TechReport{RiscReport96-05,
  author =       "Wolfgang SCHREINER",
  title =        "{A Para-Functional Programming Interface for a
                 Parallel Computer Algebra Package}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-05",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Journal of Symbolic Computation, Special
                 Issue on Parallel Symbolic Computation. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-05.html{"}>96-05.html</a>",
}

@TechReport{RiscReport96-06,
  author =       "Karel STOKKERMANS {Jochen PFALZGRAF, Viorica
                 SOFRONIE}",
  title =        "{On a Semantics for Cooperative Agent Scenarios}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-06",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in $13^{th}$ European Meeting on Cybernetics
                 and Systems Research (EMCSR), Vienna, Austria, April
                 1996. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-06.html{"}>96-06.html</a>",
}

@TechReport{RiscReport96-07,
  author =       "Karel STOKKERMANS {Jochen PFALZGRAF, Ute Cornelia
                 SIGMUND}",
  title =        "{Towards a General Approach for Modeling Actions and
                 Change in Cooperating Agents Scenarios}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-07",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Special Issue of the Journal of the
                 Interest Group in Pure and Applied Logics, D. Gabbay
                 ed., vol. 4, pp. 1-28, 1996.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-07.html{"}>96-07.html</a>",
}

@TechReport{RiscReport96-08,
  author =       "J. Rafael SENDRA Franz WINKLER",
  title =        "{Real Parametrization of Algebraic Curves}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-08",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-10.html{"}>96-08.html</a>",
}

@TechReport{RiscReport96-09,
  author =       "Wolfgang SCHREINER",
  title =        "{RT++ -- Higher Order Threads for C++ : Tutorial and
                 Reference Manual (Version 1.0)}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-09",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-09.html{"}>96-09.html</a>",
}

@TechReport{RiscReport96-10,
  author =       "Wolfgang SCHREINER Hoon HONG",
  title =        "{HPGP: High Performance Generic Programming for
                 Computational Mathematics by Compile-Time Instantiation
                 of Higher Order Functors}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-10",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-10.html{"}>96-10.html</a>",
}

@TechReport{RiscReport96-13,
  author =       "Josef SCHICHO Hoon HONG",
  title =        "{A New Proof for the Implicitization of Curves
                 Parameterized by Generalized Trigonometric
                 Polynomials}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-13",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-13.html{"}>96-13.html</a>",
}

@TechReport{RiscReport96-14,
  author =       "Ziming Li",
  title =        "{A Subresultant Theory for Linear Differential, Linear
                 Difference and Ore Polynomials, with Applications}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-14",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Ph.D. thesis",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-14.html{"}>96-14.html</a>",
}

@TechReport{RiscReport96-15,
  author =       "Carl Van GEEM",
  title =        "{Fast Planning of a Good Path for a Manipulator Using
                 Potential Fields on a Non-Uniform Grid in C-Space}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-15",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Ph.D. thesis",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-15.html{"}>96-15.html</a>",
}

@TechReport{RiscReport96-16,
  author =       "Eugen ARDELEANU",
  title =        "{Invariant Theory of Finite Groups and Applications}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-16",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Ph.D. thesis",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-16.html{"}>96-16.html</a>",
}

@TechReport{RiscReport96-17,
  author =       "Volker STAHL",
  title =        "{Interval Methods for Bounding the Range of
                 Polynomials and Solving Systems of Nonlinear
                 Equations}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-17",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Ph.D. thesis",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-17.html{"}>96-17.html</a>",
}

@TechReport{RiscReport96-18,
  author =       "K. STOKKERMANS {J. PFALZGRAF, V. SOFRONIE}",
  title =        "{A Fibered Approach to Modeling Space-Time Dependent
                 Cooperating Agents Scenarios}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-18",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Planning Workshop at the Conference on
                 Formal and Applied Reasoning, FAPR, Bonn, June 1996.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-18.html{"}>96-18.html</a>",
}

@TechReport{RiscReport96-19,
  author =       "George E. COLLINS Christopher W. BROWN",
  title =        "{Simple Truth Invariant CAD's and Solution Formula
                 Constraints}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-19",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-19.html{"}>96-19.html</a>",
}

@TechReport{RiscReport96-20,
  author =       "Michael JOSWIG",
  title =        "{Translation Generalized Quadrangles}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-20",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Arch.Math., to appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-20.html{"}>96-20.html</a>",
}

@TechReport{RiscReport96-21,
  author =       "Michael JOSWIG",
  title =        "{Towards Modeling the Topology of Homogeneous
                 Manifolds by Means of Symbolic Computation}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-21",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Proc. AISMC-3 Conf. Steyr, Austria, Sept.
                 1996. To appear.",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-21.html{"}>96-21.html</a>",
}

@TechReport{RiscReport96-22,
  author =       "Michael JOSWIG",
  title =        "{Deciding the Exactness of Sequences of Finitely
                 Generated Abelian Groups}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-22",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-22.html{"}>96-22.html</a>",
}

@TechReport{RiscReport96-23,
  author =       "Michael JOSWIG",
  title =        "{Quadratic Forms (Lecture Notes)}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-23",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-23.html{"}>96-23.html</a>",
}

@TechReport{RiscReport96-24,
  author =       "Ana Maria MANDACHE",
  title =        "{On the Relationship between Involutive Basis and
                 Gr\"obner Basis Algorithms}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-24",
  address =      "Johannes Kepler University, Linz, Austria",
  note =         "Published in Presented at MEGA'96, June 1996,
                 Eindhoven, The Netherlands",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-24.html{"}>96-24.html</a>",
}

@TechReport{RiscReport96-26,
  author =       "Hoon Hong",
  title =        "{Characterization of Bernstein Coefficients}",
  year =         "1996",
  type =         "Technical Report",
  institution =  "RISC-Linz",
  number =       "96-26",
  address =      "Johannes Kepler University, Linz, Austria",
  location =     "<A
                 href={"}http://info.risc.uni-linz.ac.at/archive/reports/1996/96-26.html{"}>96-26.html</a>",
}