RISC RISC Research Institute for Symbolic Computation  
  • @techreport{RISC1699,
    author = {Ziming Li},
    title = {{Mechanical Theorem Proving of the Local Theory of Surfaces}},
    number = {93-37},
    year = {1993},
    note = {Published in Special Issue of Math and AI, on Algebraic Approaches to Geometric Reasoning. To appear.},
    sponsor = { POSSO project (Polynomial System Solving), Esprit III Basic Research Action 6846, supported by the Austrian Science Foundation project 9181-TEC.},
    type = {RISC Report Series},
    institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
    address = {Schloss Hagenberg, 4232 Hagenberg, Austria}