Sciweavers

6 search results - page 1 / 2
» adg 2004
Sort
View
ADG
2004
Springer
101views Mathematics» more  ADG 2004»
13 years 10 months ago
Mechanical Theorem Proving in Computational Geometry
Laura I. Meikle, Jacques D. Fleuriot
ADG
2004
Springer
147views Mathematics» more  ADG 2004»
13 years 10 months ago
Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness
Construction of geometrical objects by origami, the Japanese traditional art of paper folding, is enjoyable and intriguing. It attracted the minds of artists, mathematicians and co...
Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Ta...
ADG
2004
Springer
189views Mathematics» more  ADG 2004»
13 years 10 months ago
nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation
In this paper, we study the problem of reconstructing the polyhedral structures and geometric positions of a general nD polyhedral scene from a single 2D line drawing. With the ide...
Hongbo Li
ADG
2004
Springer
108views Mathematics» more  ADG 2004»
13 years 10 months ago
Planar Generalized Stewart Platforms and Their Direct Kinematics
Abstract. In this paper, we introduce the concept of planar generalized Stewart platform (GSP) consisting of two rigid bodies connected with three constraints between three pairs o...
Gui-Fang Zhang, Xiao-Shan Gao