Advances in Geometric Modeling and Processing [[electronic resource] ] : 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010, Proceedings / / edited by Bernard Mourrain, Scott Schaefer, Guoliang Xu |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (X, 315 p. 158 illus.) |
Disciplina | 516.00285 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer graphics
Computer programming Computer science Computer science—Mathematics Discrete mathematics Algorithms Pattern recognition systems Computer Graphics Programming Techniques Theory of Computation Discrete Mathematics in Computer Science Automated Pattern Recognition |
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. | UNISA-996465639803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in Geometric Modeling and Processing [[electronic resource] ] : 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010, Proceedings / / edited by Bernard Mourrain, Scott Schaefer, Guoliang Xu |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (X, 315 p. 158 illus.) |
Disciplina | 516.00285 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer graphics
Computer programming Computer science Computer science—Mathematics Discrete mathematics Algorithms Pattern recognition systems Computer Graphics Programming Techniques Theory of Computation Discrete Mathematics in Computer Science Automated Pattern Recognition |
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 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Automated Deduction in Geometry [[electronic resource] ] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / / edited by Francisco Botana, Pedro Quaresma |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (IX, 181 p. 54 illus.) |
Disciplina | 516.00285 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer graphics Mathematical logic Computer science—Mathematics Software engineering Artificial Intelligence Computer Graphics Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Software Engineering |
ISBN | 3-319-21362-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Star Unfolding Polygons -- Volume Frameworks and Deformation Varieties -- Recent Advances in Real Geometric Reasoning -- The Relation Tool in GeoGebra -- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems -- Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons -- Extension of Simson-Wallace Theorem on Skew Quadrilaterals -- Current Status of the I2GATP Common Format -- On Flattenability of Graphs -- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams -- Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems. |
Record Nr. | UNINA-9910484378903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Automated Deduction in Geometry [[electronic resource] ] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / / edited by Francisco Botana, Pedro Quaresma |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (IX, 181 p. 54 illus.) |
Disciplina | 516.00285 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer graphics Mathematical logic Computer science—Mathematics Software engineering Artificial Intelligence Computer Graphics Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Software Engineering |
ISBN | 3-319-21362-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Star Unfolding Polygons -- Volume Frameworks and Deformation Varieties -- Recent Advances in Real Geometric Reasoning -- The Relation Tool in GeoGebra -- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems -- Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons -- Extension of Simson-Wallace Theorem on Skew Quadrilaterals -- Current Status of the I2GATP Common Format -- On Flattenability of Graphs -- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams -- Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems. |
Record Nr. | UNISA-996204582103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automated Deduction in Geometry [[electronic resource] ] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers / / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (X, 259 p.) |
Disciplina | 516.00285 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer graphics Mathematical logic Computer science—Mathematics Software engineering Artificial Intelligence Computer Graphics Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Software Engineering |
ISBN | 3-642-25070-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465939703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
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.) |
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 [[electronic resource] ] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers / / edited by Hoon Hong, Dongming Wang |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (X, 213 p.) |
Disciplina | 516.00285 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Computer science—Mathematics Computer graphics Pattern recognition Convex geometry Discrete geometry Artificial Intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Computer Graphics Pattern Recognition Convex and Discrete Geometry |
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. |
Record Nr. | UNISA-996466121303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automated Deduction in Geometry [[electronic resource] ] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers / / edited by Hoon Hong, Dongming Wang |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (X, 213 p.) |
Disciplina | 516.00285 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Computer science—Mathematics Computer graphics Pattern recognition Convex geometry Discrete geometry Artificial Intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Computer Graphics Pattern Recognition Convex and Discrete Geometry |
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. |
Record Nr. | UNINA-9910484837703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
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 |
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 | ||
|