close
1.

図書

図書
Achille Braquelaire, Jacques-Olivier Lachaud, Anne Vialard (eds.)
出版情報: Berlin : Springer, c2002  xi, 438 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2301
所蔵情報: loading…
2.

図書

図書
Jin Akiyama, Mikio Kano, Masatsugu Urabe (eds.)
出版情報: Berlin : Springer, c2001  xi, 380 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2098
所蔵情報: loading…
3.

図書

図書
Jürgen Richter-Gebert, Dongming Wang (eds.)
出版情報: Berlin : Springer, c2001  viii, 323 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2061 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
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
Decision Complexity in Dynamic Geometry / Ulrich Kortenkamp ; Jürgen Richter-Gebert
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
4.

図書

図書
Hoon Hong, Dongming Wang (eds.)
出版情報: Berlin : Springer, c2006  x, 211 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3763 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書

図書
Jin Akiyama, Mikio Kano, Xuehou Tan (eds.)
出版情報: Berlin : Springer, c2005  viii, 212 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3742
所蔵情報: loading…
6.

図書

図書
supported by Information and Computer Science Department, KFUPM, SA ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  x, 208 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgements
Conference Organization
Geometrical Modeling / Session GMAG03_1_1:
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
Author Index
Preface
Acknowledgements
Conference Organization
7.

図書

図書
Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
出版情報: Berlin : Springer, c1999  vi, 285 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1669 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
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 Inequalities / Lu Yang ; Xiaorong Hou ; Bican Xia
Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle / Jacques D. Fleuriot ; Lawrence C. Paulson
Readable Machine Solving in Geometry and ICAI Software MSG / Chuan-Zhong Li ; Jing-Zhong Zhang
Plane Euclidean Reasoning / Desmond Fearnley-Sander
A Clifford Algebraic Method for Geometric Reasoning / Haiquan Yang ; Shugong Zhang ; Guochen Feng
Clifford Term Rewriting for Geometric Reasoning in 3D / Thierry Boy de la Tour ; Stéphane Fèvre ; Dongming Wang
Some Applications of Clifford Algebra to Geometries / Hongbo Li
Decomposing Algebraic Varieties
An Application of Automatic Theorem Proving in Computer Vision / Didier Bondyfalat ; Bernard Mourrain ; Thèodore Papadopoulo
Automated Geometry Diagram Construction and Engineering Geometry / Xiao-Shan Gao
A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction / Jae Yeol Lee
Variant Geometry Analysis and Synthesis in Mechanical CAD / Zongying Ou ; Jun Liu
Author Index
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 Inequalities / Lu Yang ; Xiaorong Hou ; Bican Xia
8.

図書

図書
Gilles Bertrand, Michel Couprie, Laurent Perroton (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xi, 458 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1568
所蔵情報: loading…
9.

図書

図書
Jin Akiyama, Mikio Kano, Masatsugu Urabe (eds.)
出版情報: Berlin : Springer, c2000  viii, 331 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1763
所蔵情報: loading…
目次情報: 続きを見る
Papers
Radical Perfect Partitions of Convex Sets in the Plane / J. Akiyama ; A. Kaneko ; M. Kano ; G. Nakamura ; E. Rivera-Campo ; S. Tokunaga ; J. Urrutia
Dudeney Dissection of Polygons
Effective Use of Geometric Properties for Clustering / T. Asano.
Living with lrs / D. Avis.
On the Existence of a Point Subset with 4 or 5 Interior Points / D. Avis ; K. Hosono ; M. Urabe
Planar Drawing Algorithms of Survivable Telecommunication Networks / A. E. Barouni ; A. Jaoua ; N. Zaguia
Polygon Cutting: Revisited / P. Bose ; J. Czyzowicz ; E. Kranakis ; D. Krizanc ; A. Maheshwari
Algorithms for Packing Two Circles in a Convex Polygon
Folding and Cutting Paper / E. D. Demaine ; M. L. Demaine ; A. Lubiw
An Interpolant Based on Line Segment Voronoi Diagrams / H. Hiyoshi ; K. Sugihara
2-Dimension Ham Sandwich Theorem for Partitioning into Three Convex Pieces / H. Ito ; H. Uehara ; M. Yokoyama
NP-Completeness of Stage Illumination Problems
On the Maximum Degree of Bipartite Embeddings of Trees in the Plane
Efficient Regular Polygon Dissections
On Soddy's Hexlet and a Linked 4-Pair / H. Maehara ; A. Oshiro
Approximation Algorithms for Maximum Independent Set Problems and Fractional Coloring Problems on Unit Disk Graphs / T. Matsui
Visibility of Disks on the Lattice Points / N. Mutoh
Convex Hull Problem with Imprecise Input / T. Nagai ; S. Yasutome ; N. Tokura
One-Dimensional Tilings with Congruent Copies of a 3-Point Set / T. Nakamigawa
Polygonal Approximations for Curved Problems: An Application to Arrangements / M. Neagu
Grouping and Querying: A Paradigm to Get Output-Sensitive Algorithms / F. Nielsen
Folding and Unfolding in Computational Geometry / J. O'Rourke
Crossing Numbers / J. Pach
A Note on the Existence of Plane Spanning Trees of Geometric Graphs
Embeddings of Equilateral Polygons in Unit Lattices / T. Sakai
Order-k Voronoi Diagrams, k-sections, and k-sets / D. Schmitt ; J. C. Spehner
"Impossible Objects" Are Not Necessarily Impossible - Mathematical Study on Optical Illusion -
An Efficient Solution to the Corridor Search Problem / X. Tan
Author Index
Papers
Radical Perfect Partitions of Convex Sets in the Plane / J. Akiyama ; A. Kaneko ; M. Kano ; G. Nakamura ; E. Rivera-Campo ; S. Tokunaga ; J. Urrutia
Dudeney Dissection of Polygons
10.

図書

図書
Ehoud Ahronovitz, Christophe Fiorio (eds.)
出版情報: Berlin ; New York : Springer, c1997  x, 254 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1347
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼