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 | ||
| ||
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 : 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 | ||
| ||
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 |
| 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-9910783420403321 |
| Amsterdam ; ; Oxford, : IOS Press, 2005 | ||
| 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 |
| Edizione | [1st ed.] |
| 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 |
| 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-9910808972703321 |
| Amsterdam ; ; Oxford, : IOS Press, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
