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, 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
3.

図書

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

図書

図書
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
5.

図書

図書
Dongming Wang (ed.)
出版情報: Berlin ; New York : Springer, c1997  234 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1360 . Lecture notes in artificial intelligence
所蔵情報: loading…
6.

図書

図書
Ehoud Ahronovitz, Christophe Fiorio (eds.)
出版情報: Berlin ; New York : Springer, c1997  x, 254 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1347
所蔵情報: loading…
7.

図書

図書
Ming C. Lin, Dinesh Manocha (eds.)
出版情報: Berlin : Springer, c1996  viii, 222 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1148
所蔵情報: loading…
8.

図書

図書
editors, Ben Chow ... [et al.]
出版情報: Wellesley, Mass. : A K Peters, c1996  vii, 203 p. ; 26 cm
所蔵情報: loading…
9.

図書

図書
sponsored by the ACM Special Interest Groups for Graphics and Algorithms and Computation Theory
出版情報: New York : ACM Press, c1996  vi, 406 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
sponsored by the ACM Special Interest Groups for Graphics and Algorithms and Computation Theory
出版情報: New York : ACM Press, c1995  ix, 389, 37, 12 p.: ill. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼