Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advances in discrete and computational geometry : proceedings of the 1996 AMS-IMS-SIAM Joint Summer Research Conference, Discrete and Computational Geometry--Ten Years Later, July 14-18, 1996, Mount Holyoke College / / Bernard Chazelle, Jacob E. Goodman, Richard Pollack, editors
| Advances in discrete and computational geometry : proceedings of the 1996 AMS-IMS-SIAM Joint Summer Research Conference, Discrete and Computational Geometry--Ten Years Later, July 14-18, 1996, Mount Holyoke College / / Bernard Chazelle, Jacob E. Goodman, Richard Pollack, editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1999] |
| Descrizione fisica | 1 online resource (480 p.) |
| Disciplina | 516/.13 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Combinatorial geometry
Geometry - Data processing |
| Soggetto genere / forma | Electronic books. |
| ISBN |
0-8218-7814-X
0-8218-0674-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Preface""; ""Geometric range searching and its relatives""; ""Deformed products and maximal shadows of polytopes""; ""Flag complexes, labelled rooted trees, and star shellings""; ""Discrepancy bounds for geometric set systems with square incidence matrices""; ""Computational topology""; ""Recent progress on packing and covering""; ""Acoptic polyhedra""; ""A proof of the strict monotone 4-step conjecture""; ""Interactions between real algebraic geometry and discrete and computational geometry""; ""Open problems in the combinatorics of visibility and illumination""
""Halving lines and perfect cross-matchings""""Three-dimensional grid drawings of graphs""; ""On polygonal covers""; ""The universality theorems for oriented matroids and polytopes""; ""Periodic and aperiodic tilings of En""; ""The early years of computational geometry�a personal memoir""; ""Arrangements of surfaces in higher dimensions""; ""Geometric discrepancy theory""; ""Proof of Reay's conjecture on certain positive-dimensional intersections""; ""Progress in geometric transversal theory""; ""Recent progress on polytopes""; ""Appendix: Application challenges to computational geometry"" |
| Record Nr. | UNINA-9910480084603321 |
| Providence, Rhode Island : , : American Mathematical Society, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in discrete and computational geometry : proceedings of the 1996 AMS-IMS-SIAM Joint Summer Research Conference, Discrete and Computational Geometry--Ten Years Later, July 14-18, 1996, Mount Holyoke College / / Bernard Chazelle, Jacob E. Goodman, Richard Pollack, editors
| Advances in discrete and computational geometry : proceedings of the 1996 AMS-IMS-SIAM Joint Summer Research Conference, Discrete and Computational Geometry--Ten Years Later, July 14-18, 1996, Mount Holyoke College / / Bernard Chazelle, Jacob E. Goodman, Richard Pollack, editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1999] |
| Descrizione fisica | 1 online resource (480 p.) |
| Disciplina | 516/.13 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Combinatorial geometry
Geometry - Data processing |
| ISBN |
0-8218-7814-X
0-8218-0674-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contents -- Preface -- Geometric range searching and its relatives -- Deformed products and maximal shadows of polytopes -- Flag complexes, labelled rooted trees, and star shellings -- Discrepancy bounds for geometric set systems with square incidence matrices -- Computational topology -- Recent progress on packing and covering -- Acoptic polyhedra -- A proof of the strict monotone 4-step conjecture -- Interactions between real algebraic geometry and discrete and computational geometry -- Open problems in the combinatorics of visibility and illumination -- Halving lines and perfect cross-matchings -- Three-dimensional grid drawings of graphs -- On polygonal covers -- The universality theorems for oriented matroids and polytopes -- Periodic and aperiodic tilings of En -- The early years of computational geometry"a personal memoir -- Arrangements of surfaces in higher dimensions -- Geometric discrepancy theory -- Proof of Reay's conjecture on certain positive-dimensional intersections -- Progress in geometric transversal theory -- Recent progress on polytopes -- Appendix: Application challenges to computational geometry. |
| Record Nr. | UNINA-9910788649903321 |
| Providence, Rhode Island : , : American Mathematical Society, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in discrete and computational geometry : proceedings of the 1996 AMS-IMS-SIAM Joint Summer Research Conference, Discrete and Computational Geometry--Ten Years Later, July 14-18, 1996, Mount Holyoke College / / Bernard Chazelle, Jacob E. Goodman, Richard Pollack, editors
| Advances in discrete and computational geometry : proceedings of the 1996 AMS-IMS-SIAM Joint Summer Research Conference, Discrete and Computational Geometry--Ten Years Later, July 14-18, 1996, Mount Holyoke College / / Bernard Chazelle, Jacob E. Goodman, Richard Pollack, editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1999] |
| Descrizione fisica | 1 online resource (480 p.) |
| Disciplina | 516/.13 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Combinatorial geometry
Geometry - Data processing |
| ISBN |
0-8218-7814-X
0-8218-0674-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contents -- Preface -- Geometric range searching and its relatives -- Deformed products and maximal shadows of polytopes -- Flag complexes, labelled rooted trees, and star shellings -- Discrepancy bounds for geometric set systems with square incidence matrices -- Computational topology -- Recent progress on packing and covering -- Acoptic polyhedra -- A proof of the strict monotone 4-step conjecture -- Interactions between real algebraic geometry and discrete and computational geometry -- Open problems in the combinatorics of visibility and illumination -- Halving lines and perfect cross-matchings -- Three-dimensional grid drawings of graphs -- On polygonal covers -- The universality theorems for oriented matroids and polytopes -- Periodic and aperiodic tilings of En -- The early years of computational geometry"a personal memoir -- Arrangements of surfaces in higher dimensions -- Geometric discrepancy theory -- Proof of Reay's conjecture on certain positive-dimensional intersections -- Progress in geometric transversal theory -- Recent progress on polytopes -- Appendix: Application challenges to computational geometry. |
| Record Nr. | UNINA-9910811523603321 |
| Providence, Rhode Island : , : American Mathematical Society, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in geometric modeling and processing : 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010 : proceedings / / [edited by] Bernard Mourrain, Scott Schaefer, Guoliang Xu
| Advances in geometric modeling and processing : 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010 : proceedings / / [edited by] Bernard Mourrain, Scott Schaefer, Guoliang Xu |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (X, 315 p. 158 illus.) |
| Disciplina | 516.00285 |
| Altri autori (Persone) |
MourrainBernard
SchaeferScott XuGuoliang |
| Collana |
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science |
| Soggetto topico |
Geometrical models
Computer-aided design Geometry - Data processing |
| ISBN |
1-280-38688-6
9786613564801 3-642-13411-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Global Solutions of Well-Constrained Transcendental Systems Using Expression Trees and a Single Solution Test -- Surfaces with Rational Chord Length Parameterization -- Support Function of Pythagorean Hodograph Cubics and G 1 Hermite Interpolation -- Piecewise Tri-linear Contouring for Multi-material Volumes -- An Efficient Algorithm for the Sign Condition Problem in the Semi-algebraic Context -- Constraints on Curve Networks Suitable for G 2 Interpolation -- Computing the Distance between Canal Surfaces -- A Subdivision Approach to Planar Semi-algebraic Sets -- Non-manifold Medial Surface Reconstruction from Volumetric Data -- Decomposing Scanned Assembly Meshes Based on Periodicity Recognition and Its Application to Kinematic Simulation Modeling -- Automatic Generation of Riemann Surface Meshes -- G 1 Bézier Surface Generation from Given Boundary Curve Network with T-Junction -- Efficient Point Projection to Freeform Curves and Surfaces -- Construction of Minimal Catmull-Clark’s Subdivision Surfaces with Given Boundaries -- Parameterization of Star-Shaped Volumes Using Green’s Functions -- Optimal Analysis-Aware Parameterization of Computational Domain in Isogeometric Analysis -- Construction of Subdivision Surfaces by Fourth-Order Geometric Flows with G 1 Boundary Conditions -- Efficient Computation of 3D Clipped Voronoi Diagram -- Selecting Knots Locally for Curve Interpolation with Quadratic Precision -- Eigenmodes of Surface Energies for Shape Analysis. |
| Record Nr. | UNINA-9910484061203321 |
| New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated deduction in geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, revised papers / / Francisco Botana, Tomas Recio (Eds.)
| Automated deduction in geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, revised papers / / Francisco Botana, Tomas Recio (Eds.) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (X, 218 p.) |
| Disciplina | 516.00285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Geometry - Data processing
Automatic theorem proving |
| ISBN | 3-540-77356-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards an Electronic Geometry Textbook -- Equidecomposable Quadratic Regions -- Automatic Verification of Regular Constructions in Dynamic Geometry Systems -- Recognition of Computationally Constructed Loci -- Algorithmic Search for Flexibility Using Resultants of Polynomial Systems -- Cylinders Through Five Points: Complex and Real Enumerative Geometry -- Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method -- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems -- Mechanical Theorem Proving in Tarski’s Geometry -- On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons -- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry -- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System -- Constructing a Tetrahedron with Prescribed Heights and Widths. |
| Record Nr. | UNINA-9910483640303321 |
| Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated deduction in geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, revised papers / / Francisco Botana, Tomas Recio (Eds.)
| Automated deduction in geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, revised papers / / Francisco Botana, Tomas Recio (Eds.) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (X, 218 p.) |
| Disciplina | 516.00285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Geometry - Data processing
Automatic theorem proving |
| ISBN | 3-540-77356-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards an Electronic Geometry Textbook -- Equidecomposable Quadratic Regions -- Automatic Verification of Regular Constructions in Dynamic Geometry Systems -- Recognition of Computationally Constructed Loci -- Algorithmic Search for Flexibility Using Resultants of Polynomial Systems -- Cylinders Through Five Points: Complex and Real Enumerative Geometry -- Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method -- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems -- Mechanical Theorem Proving in Tarski’s Geometry -- On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons -- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry -- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System -- Constructing a Tetrahedron with Prescribed Heights and Widths. |
| Record Nr. | UNISA-996465914703316 |
| Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers / / Hoon Hong, Dongming Wang (eds.)
| Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers / / Hoon Hong, Dongming Wang (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (X, 213 p.) |
| Disciplina | 516.00285 |
| Altri autori (Persone) |
HongHoon
WangDongming |
| Collana | Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Geometry - Data processing
Automatic theorem proving Logic, Symbolic and mathematical |
| ISBN | 3-540-31363-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Mechanical Theorem Proving in Computational Geometry -- Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness -- Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases -- Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides -- Symbolic Solution of a Piano Movers’ Problem with Four Parameters -- Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods -- Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach -- On the Decidability of Tracing Problems in Dynamic Geometry -- Towards a Geometric-Object-Oriented Language -- Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods -- nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation -- Planar Generalized Stewart Platforms and Their Direct Kinematics. |
| Altri titoli varianti | ADG 2004 |
| Record Nr. | UNINA-9910484837703321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / / Xiao-Shan Gao, Dongming Wang, Lu Yang, editors
| Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / / Xiao-Shan Gao, Dongming Wang, Lu Yang, editors |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (VIII, 292 p.) |
| Disciplina | 516.00285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Geometry - Data processing
Automatic theorem proving |
| ISBN | 3-540-47997-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving -- Solving Geometric Problems with Real Quantifier Elimination -- Automated Discovering and Proving for Geometric Inequalities -- Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle -- Readable Machine Solving in Geometry and ICAI Software MSG -- Plane Euclidean Reasoning -- A Clifford Algebraic Method for Geometric Reasoning -- Clifford Term Rewriting for Geometric Reasoning in 3D -- Some Applications of Clifford Algebra to Geometries -- Decomposing Algebraic Varieties -- An Application of Automatic Theorem Proving in Computer Vision -- Automated Geometry Diagram Construction and Engineering Geometry -- A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction -- Variant Geometry Analysis and Synthesis in Mechanical CAD. |
| Record Nr. | UNISA-996465597603316 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / / Xiao-Shan Gao, Dongming Wang, Lu Yang, editors
| Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / / Xiao-Shan Gao, Dongming Wang, Lu Yang, editors |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (VIII, 292 p.) |
| Disciplina | 516.00285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Geometry - Data processing
Automatic theorem proving |
| ISBN | 3-540-47997-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving -- Solving Geometric Problems with Real Quantifier Elimination -- Automated Discovering and Proving for Geometric Inequalities -- Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle -- Readable Machine Solving in Geometry and ICAI Software MSG -- Plane Euclidean Reasoning -- A Clifford Algebraic Method for Geometric Reasoning -- Clifford Term Rewriting for Geometric Reasoning in 3D -- Some Applications of Clifford Algebra to Geometries -- Decomposing Algebraic Varieties -- An Application of Automatic Theorem Proving in Computer Vision -- Automated Geometry Diagram Construction and Engineering Geometry -- A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction -- Variant Geometry Analysis and Synthesis in Mechanical CAD. |
| Record Nr. | UNINA-9910768475903321 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational commutative and non-commutative algebraic geometry [[electronic resource] /] / edited by Svetlana Cojocaru, Gerhard Pfister, Victor Ufnarovski
| Computational commutative and non-commutative algebraic geometry [[electronic resource] /] / edited by Svetlana Cojocaru, Gerhard Pfister, Victor Ufnarovski |
| Pubbl/distr/stampa | Amsterdam ; ; Oxford, : IOS Press, 2005 |
| Descrizione fisica | 1 online resource (336 p.) |
| Disciplina | 516.35 |
| Altri autori (Persone) |
CojocaruSvetlana
PfisterGerhard <1947-> UfnarovskiVictor |
| Collana | NATO science series. Series III, Computer and systems sciences |
| Soggetto topico |
Geometry, Algebraic - Data processing
Geometry - Data processing |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6610243425
1-280-24342-2 9786610243426 1-4294-0197-4 1-60750-112-0 600-00-0371-4 1-60129-093-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Contents; Noncommutative Algebraic Geometry and Algebra; The Structure of Simp Commutative and Non-Commutative Algebras in the Study of Differential EquationsProjective Planes and Quasigroups; About the Description of All Projective Planes of the Prime Power Order; On Simple n-ary Medial Quasigroups; Author Index |
| Record Nr. | UNINA-9910449783003321 |
| Amsterdam ; ; Oxford, : IOS Press, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
