書誌事項

Issues in robotics and nonlinear geometry

volume editor, Christoph M. Hoffmann

(Advances in computing research : a research annual, v. 6)

JAI Press, c1992

大学図書館所蔵 件 / 4

この図書・雑誌をさがす

注記

series editor : Franco P. Preparata

内容説明・目次

内容説明

The sixth volume in the serial publication, "Advances in Computing Research". Topics contained include: the Roider method; perspective images of polyhedra for robot vision; a mechanization method of equations-solving and theorem-proving; and an introduction to the tangent cone algorithm.

目次

  • Contact force calculation in a compliant-motion simulation system, P. Simkens et al
  • the Roider method - a method for static and dynamic collision detection, Sabine Stifter
  • an analysis of perspective images of polyhedra for robot vision, Michael A. Penna
  • stepping along the intersections of two surfaces at critical points, Yves De Montaudouin
  • a mechanization method of equations-solving and theorem-proving, Wu Wen-tsun
  • on the mechanical proof of geometry theorems involving inequalities, Shang-Ching Chou et al
  • automated theorem proving in nonlinear geometry, Franz Winkler
  • an introduction to the tangent cone algorithm, Teo Mora et al.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA24564955
  • ISBN
    • 1559383429
  • 出版国コード
    us
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Greenwich, Conn.
  • ページ数/冊数
    xi, 270 p.
  • 大きさ
    24 cm
  • 親書誌ID
ページトップへ