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.

図書

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

図書

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

図書

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

図書

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

図書

図書
Gunilla Borgefors, Ingela Nyström, Gabriella Sanniti di Baja (eds.)
出版情報: Berlin ; New York : Springer, c2000  xi, 544 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1953
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼