edited by M.J. Wozny, H.W. McLaughlin, J.L. Encarnaçao
出版情報:
Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988 viii, 329 p. ; 23 cm
On Spatial Constraint Solving Approaches / Christoph M. Hoffmann ; Bo Yuan
A Hybrid Method for Solving Geometric Constraint Problems / Xiao-Shan Gao ; Lei-Dong Huang ; Kun Jiang
Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study / Fabrice Rouillier ; Mohab Safey El Din ; Éric Schost
A Practical Program of Automated Proving for a Class of Geometric Inequalities / Lu Yang ; Ju Zhang
Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving / Daniela Tulone ; Chee Yap ; Chen Li
Algebraic and Semialgebraic Proofs: Methods and Paradoxes / Pasqualina Conti ; Carlo Traverso
Remarks on Geometric Theorem Proving / Laura Bazzotti ; Giorgio Dalzotto ; Lorenzo Robbiano
The Kinds of Truth of Geometry Theorems / Michael Bulmer ; Desmond Fearnley-Sander ; Tim Stokes
A Complex Change of Variables for Geometrical Reasoning
Reasoning about Surfaces Using Differential Zero and Ideal Decomposition / Philippe Aubry ; Dongming Wang
Effective Methods in Computational Synthetic Geometry / Jürgen Bokowski
Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method / Hongbo Li ; Yihong Wu
Qubit Logic, Algebra and Geometry / Timothy F. Havel
Nonstandard Geometric Proofs / Jacques D. Fleuriot
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization / Ricardo Caferra ; Nicolas Peltier ; François Puitg
Higher-Order Intuitionistic Formalization and Proofs in HilbertÆs Elementary Geometry / Christophe Dehlinger ; Jean-François Dufourd ; Pascal Schreck
Author Index
On Spatial Constraint Solving Approaches / Christoph M. Hoffmann ; Bo Yuan
A Hybrid Method for Solving Geometric Constraint Problems / Xiao-Shan Gao ; Lei-Dong Huang ; Kun Jiang
Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study / Fabrice Rouillier ; Mohab Safey El Din ; Éric Schost
A Role for 3D Modeling in Controlling Webcams and Interpreting Real Time Video / J. Counsell ; S. Smith ; S. Aldrich
Geometric Correction of Scanned Topographic Maps Using Capable Input Information / T. Miyoshi ; W. Li ; K. Kaneda ; H. Yamashita ; E. Nakamae
Combination of Automatic and Interactive Tools for Solution Space Browsing / C. Essert-Villard ; P. Schreck ; P. Mathis ; J.-F. Dufourd
Web-Based System Using Trade Knowledge / N. Gardan ; Y. Gardan
GMAG-Applications I / Session GMAG03_1_2:
Offline Arabic Text Recognition System / M. Sarfraz ; S. Nawaz ; A. Al-Khuraidly
Saudi Arabian License Plate Recognition System / M. Ahmed ; S. Ghazi
Normalisation and Exploration Design Method of Islamic Geometric Patterns / A. Aljamali ; E. Banissi
Data Organization for Broadcasting in Mobile Computing / P. Sumari ; R. Darus ; H. Kamarulhaili
Geometric Modeling II / Session GMAG03_2_1:
Generating Well Behaved Meshes for Parameterized Surfaces / M. Randrianarivony ; G. Brunnett
Generating Blending Surfaces with an Iterative Solution to Fourth Order PDE / L. You ; J. Zhang
Accurate Silhouettes--Do Polyhedral Models Suffice? / C. Heunen
Reconstruction of a 3D Solid Model from Orthographic Projections / Z. Wang ; M. Latif
GMAG - Algorithms / Session GMAG03_2_2:
Extensible Point Location Algorithm / R. Sundareswara ; P. Schrater
Geometric Design and Space Planning Using the Marching Squares and Marching Cube Algorithms / C. Maple
A Neural Approach for Solving the Constraint Satisfaction Problem / S. Hamissi ; M. Babes
Curve Design / Session GMAG03_2_3:
Message Recovery Signature Scheme Using Complementary Elliptic Curves / T. Yew ; H. Haili
Performance and Accuracy Improvements in Algorithms for Centre, Axes-Aligned Ellipse / M. Golipour
Family of G[superscript 2] Cubic Transition Curves / Z. Habib ; M. Sakai
Improvement in Decimation of Triangle Meshes for Level of Detail / K.-W. Ng ; Y.-P. Wong ; S.-N. Ho
GMAG-Applications II / Session GMAG03_2_4:
An Unified Framework to Solve the Broad and Narrow Phases of the Collision Detection Problem in Virtual Prototype Environments / M. Figueiredo ; T. Fernando
A Fast and Memory-Efficient Method for LOD Modeling of Polygonal Models / M. Hussain ; Y. Okada ; K. Niijima
Proposition of Two Evolutionist Approaches - Genetic Algorithm and Neural Network - To Solve CSP / N. Siyahia
Mobile Agent System Architecture for Supporting Mobile Market Application Service in Mobile Computing Environment / P. Kim ; Y. Noh
Curves and Surfaces Design II / Session GMAG03_3_1:
An Obstacle-Avoiding Minimum Variation B-Spline Problem / T. Berglund ; H. Jonsson ; I. Soderkvist
A Linear Complexity Algorithm for the Bernstein Basis / J. Delgado ; J. Pena
Visual and Complexity Analysis of the Extended Loop Subdivision Scheme / N. Tack ; G. Lafruit ; R. Lauwereins
Synthetic Modeling System Architecture / F. Danesi ; E. Perrin
Bump Map Generation from 3D Scan Data / S. Oh ; K. Lee
Computer Aided Applications / Session GMAG03_3_2:
FreeSculptor: A Computer-Aided Freeform Design Environment / K.-C. Wu ; H. Tawfik
Computer Aided Ferret Design / S. Siu ; S. Mann
Research on Digitizing Processing of the Terracotta Warriors and Horses of the Qin Dynasty / J. Wang ; M. He ; B. Xiong ; Y. Zhang ; Z. Hui ; L. Li