skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Búsqueda Sencilla

Automated deduction in geometry Second International Workshop, ADG'98, Beijing, China, august 1-3, 1998 : proceedings

International Workshop on Automated Deduction in Geometry (2nd 1998 Beijing, China) Xiao-Shan Gao; Dongming Wang; Lu Yang 1936-

Carbonell, G., ed.; Siekmann, J., ed Lecture notes in artificial intelligence Berlin : Springer-Verlag, c1994-

Berlin Springer New York c1999

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1669 e.1 ) y otras localizaciones(Obténgalo)

  • Título:
    Automated deduction in geometry Second International Workshop, ADG'98, Beijing, China, august 1-3, 1998 : proceedings
  • Autor: International Workshop on Automated Deduction in Geometry (2nd 1998 Beijing, China)
  • Xiao-Shan Gao; Dongming Wang; Lu Yang 1936-
  • Materias: Geometry -- Data processing -- Congresses; Automatic theorem proving -- Congresses; Logic, Symbolic and mathematical -- Congresses; INTELIGÊNCIA ARTIFICIAL; LÓGICA MATEMÁTICA
  • Es parte de: Carbonell, G., ed.; Siekmann, J., ed Lecture notes in artificial intelligence Berlin : Springer-Verlag, c1994-
  • Notas: Includes bibliographical references and index
  • Descripción: Automatic geometry theorem-proving and automatic geometry problem-solving / Wen-tsün Wu -- Solving geometric problems with real quantifier elimination / Andreas Dolzmann -- Automated discovering and proving for geometric inequa lities / Lu Yang,Xiaorong Hou, and Bican Xia -- Proving Newton's Propositio Kepleriana using geometry and nonstandard analysis in Isabelle / Jacques D. Fleuriot and Lawrence C. Paulson -- Readable machine solving in geometry an d ICAI software MSG / Chuan-ZhongLi and Jing-Zhong Zhang -- Plane Euclidean reasoning / Desmond Fearnley-Sander -- A Clifford algebraic method for geometric reasoning / Haiquan Yang, Shugong Zhang, and Guochen Feng -- Clifford term rewriting for geometric reasoning in 3D /Thierry Boy de la Tour, Stéphane Fèvre, and Dongming Wang -- Some applications of Clifford algebra to geometries / Hongbo Li -- Decomposing algebraic varieties / Dongming Wang -- An application of automatic theorem proving in computer vision /Didier Bondyfalat, Bernard Mourrain, and Théodore Papadopoulo -- Automated geometry diagram construction and engineering geometry / Xiao-Shan Gao -- A 2D geometric c onstraint solver for parametric design using graph analysis and reduction / JaeYeol Lee -- Variant geometry analysis and synthesis in mechanical CAD / Zongying Ou and Jun Liu
  • Títulos relacionados: Serie:Lecture notes in computer science Lecture notes in artificial intelligence; Lecture notes in computer science 1669
  • Editor: Berlin Springer New York
  • Fecha de creación: c1999
  • Formato: vi, 285 p. ill. 24 cm.
  • Idioma: Inglés
Enlaces
Volver a la lista de resultados
Resultado  1 SiguienteIr a la siguiente página

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere