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.
Asymptotic theory of finite dimensional normed spaces / Vitali D. Milman, Gideon Schechtman ; with an appendix by M. Gromov
| Asymptotic theory of finite dimensional normed spaces / Vitali D. Milman, Gideon Schechtman ; with an appendix by M. Gromov |
| Autore | Milman, Vitali D. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1986 |
| Descrizione fisica | v, 156 p. ; 24 cm. |
| Disciplina | 515.732 |
| Altri autori (Persone) |
Schechtman, Gideonauthor
Gromov, Mikhael |
| Collana | Lecture notes in mathematics, 0075-8434 ; 1200 |
| Soggetto topico |
Convex sets in n-dimension
Geometry Large deviations Linear spaces |
| ISBN | 3540167692 |
| Classificazione |
AMS 46B20
AMS 52A20 AMS 60F10 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991000704569707536 |
Milman, Vitali D.
|
||
| Berlin : Springer-Verlag, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Atti del convegno nazionale del GNSAGA del CNR : Torino, 4 - 6 Ottobre 1984 / ed. Gruppo Naz. Strutture Algebriche Geometriche Applicaz. del CNR
| Atti del convegno nazionale del GNSAGA del CNR : Torino, 4 - 6 Ottobre 1984 / ed. Gruppo Naz. Strutture Algebriche Geometriche Applicaz. del CNR |
| Autore | Consiglio nazionale delle ricerche : GNSAGA |
| Pubbl/distr/stampa | Torino : GNSAGA del CNR, 1985 |
| Descrizione fisica | 245 p. ; 24 cm. |
| Disciplina | 516 |
| Soggetto topico | Geometry |
| Classificazione |
AMS 00A10 (1985)
AMS 51-06 AMS 51-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000706509707536 |
|
Consiglio nazionale delle ricerche : GNSAGA
|
||
| Torino : GNSAGA del CNR, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Automated Deduction in Geometry [[electronic resource] ] : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers / / edited by Franz Winkler
| Automated Deduction in Geometry [[electronic resource] ] : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers / / edited by Franz Winkler |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VII, 229 p.) |
| Disciplina | 516/.00285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Geometry
Artificial intelligence Mathematical logic Computer science—Mathematics Computer graphics Pattern recognition Artificial Intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Computer Graphics Pattern Recognition |
| ISBN |
1-280-30680-7
9786610306800 3-540-24616-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Algorithmic Tests for the Normal Crossing Property -- The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction -- Using Computer Algebra Tools to Classify Serial Manipulators -- MMP/Geometer – A Software Package for Automated Geometric Reasoning -- The SymbolicData GEO Records – A Public Repository of Geometry Theorem Proof Schemes -- A New Structural Rigidity for Geometric Constraint Systems -- Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving -- The Nonsolvability by Radicals of Generic 3-connected Planar Graphs -- Function-Based Shape Modeling: Mathematical Framework and Specialized Language -- C 1 Spline Implicitization of Planar Curves -- Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method -- GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically -- Distance Coordinates Used in Geometric Constraint Solving. |
| Record Nr. | UNISA-996465927903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated Deduction in Geometry [[electronic resource] ] : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers / / edited by Franz Winkler
| Automated Deduction in Geometry [[electronic resource] ] : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers / / edited by Franz Winkler |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VII, 229 p.) |
| Disciplina | 516/.00285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Geometry
Artificial intelligence Mathematical logic Computer science—Mathematics Computer graphics Pattern recognition Artificial Intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Computer Graphics Pattern Recognition |
| ISBN |
1-280-30680-7
9786610306800 3-540-24616-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Algorithmic Tests for the Normal Crossing Property -- The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction -- Using Computer Algebra Tools to Classify Serial Manipulators -- MMP/Geometer – A Software Package for Automated Geometric Reasoning -- The SymbolicData GEO Records – A Public Repository of Geometry Theorem Proof Schemes -- A New Structural Rigidity for Geometric Constraint Systems -- Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving -- The Nonsolvability by Radicals of Generic 3-connected Planar Graphs -- Function-Based Shape Modeling: Mathematical Framework and Specialized Language -- C 1 Spline Implicitization of Planar Curves -- Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method -- GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically -- Distance Coordinates Used in Geometric Constraint Solving. |
| Record Nr. | UNINA-9910768434103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Deduction in Geometry [[electronic resource] ] : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers / / edited by Jürgen Richter-Gebert, Dongming Wang
| Automated Deduction in Geometry [[electronic resource] ] : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers / / edited by Jürgen Richter-Gebert, Dongming Wang |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (VIII, 328 p.) |
| Disciplina | 516/.00285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Geometry Application software Computer graphics Mathematical logic Pattern recognition Artificial Intelligence Computer Applications Computer Graphics Mathematical Logic and Formal Languages Pattern Recognition |
| ISBN | 3-540-45410-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Spatial Constraint Solving Approaches -- A Hybrid Method for Solving Geometric Constraint Problems -- Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study -- A Practical Program of Automated Proving for a Class of Geometric Inequalities -- Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving -- Algebraic and Semialgebraic Proofs: Methods and Paradoxes -- Remarks on Geometric Theorem Proving -- The Kinds of Truth of Geometry Theorems -- A Complex Change of Variables for Geometrical Reasoning -- Reasoning about Surfaces Using Differential Zero and Ideal Decomposition -- Effective Methods in Computational Synthetic Geometry -- Decision Complexity in Dynamic Geometry -- Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based Elimination Method -- Qubit Logic, Algebra and Geometry -- Nonstandard Geometric Proofs -- Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization -- Higher-Order Intuitionistic Formalization and Proofs in Hilbert’s Elementary Geometry. |
| Record Nr. | UNINA-9910143602603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Deduction in Geometry [[electronic resource] ] : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers / / edited by Jürgen Richter-Gebert, Dongming Wang
| Automated Deduction in Geometry [[electronic resource] ] : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers / / edited by Jürgen Richter-Gebert, Dongming Wang |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (VIII, 328 p.) |
| Disciplina | 516/.00285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Geometry Application software Computer graphics Mathematical logic Pattern recognition Artificial Intelligence Computer Applications Computer Graphics Mathematical Logic and Formal Languages Pattern Recognition |
| ISBN | 3-540-45410-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Spatial Constraint Solving Approaches -- A Hybrid Method for Solving Geometric Constraint Problems -- Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study -- A Practical Program of Automated Proving for a Class of Geometric Inequalities -- Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving -- Algebraic and Semialgebraic Proofs: Methods and Paradoxes -- Remarks on Geometric Theorem Proving -- The Kinds of Truth of Geometry Theorems -- A Complex Change of Variables for Geometrical Reasoning -- Reasoning about Surfaces Using Differential Zero and Ideal Decomposition -- Effective Methods in Computational Synthetic Geometry -- Decision Complexity in Dynamic Geometry -- Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based Elimination Method -- Qubit Logic, Algebra and Geometry -- Nonstandard Geometric Proofs -- Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization -- Higher-Order Intuitionistic Formalization and Proofs in Hilbert’s Elementary Geometry. |
| Record Nr. | UNISA-996465903803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automorphic forms and related geometry : assessing the legecy of I. I. Piatetski-Shapiro : Conference on Automorphic Forms and Related Geometry : April 23-27, 2012, Yale University, New Haven, CT / / James W. Cogdell, Freydoon Shahidi, David Soudry, editors
| Automorphic forms and related geometry : assessing the legecy of I. I. Piatetski-Shapiro : Conference on Automorphic Forms and Related Geometry : April 23-27, 2012, Yale University, New Haven, CT / / James W. Cogdell, Freydoon Shahidi, David Soudry, editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2014 |
| Descrizione fisica | 1 online resource (454 p.) |
| Disciplina | 515/.9 |
| Collana | Contemporary Mathematics |
| Soggetto topico |
Automorphic forms
L-functions Forms (Mathematics) Geometry |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-1658-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""References""""A -adic integral for the reciprocal of -functions""; ""1. Introduction and Motivation""; ""2. Mazur�s measure and its real analytic interpretation""; ""3. Fourier coefficients of classical Eisenstein series""; ""4. Proof of \thmref{th1}""; ""Acknowledgements""; ""References""; ""Harmonic analysis on symmetric spaces as complex analysis""; ""1. Horospherical reduction of complex symmetric spaces (geometrical picture)""; ""2. Horospherical reduction of complex symmetric spaces (analytic construction of intertwining operators)""; ""3. Dual horospherical Cauchy transform""
""4. Cauchy formula on complex symmetric spaces""""5. Horospherical duality for real symmetric spaces. Compact spaces""; ""6. Horospherical duality for complex crowns of symmetric spaces""; ""7. Tube Stein manifolds on causal symmetric spaces""; ""References""; ""Testing rationality of coherent cohomology of Shimura varieties""; ""Introduction""; ""1. Restrictions of discrete series representations and global consequences""; ""2. Restrictions of minimal types""; ""3. Coherent cohomology of unitary group Shimura varieties""; ""4. Gross-Prasad periods as cup products""; ""Acknowledgements"" ""6. The case =3, = =2""""7. The case = = =2""; ""8. The case =1""; ""9. Application to holomorphic unitary representations""; ""References""; ""Mellin Transform of Whittaker functions""; ""1. Introduction""; ""2. Proof of the Theorem""; ""References""; ""Automorphic Integral Transforms for Classical Groups I: Endoscopy Correspondences""; ""1. Introduction""; ""2. Arthur Parametrization of Discrete Spectrum""; ""3. Endoscopy Structures for Classical Groups""; ""4. Fourier Coefficients and Nilpotent Orbits""; ""5. Constructions of the Automorphic Kernel Functions"" ""6. Automorphic Descents and Automorphic Forms of Simple Type"" |
| Record Nr. | UNINA-9910480998203321 |
| Providence, Rhode Island : , : American Mathematical Society, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automorphic forms and related geometry : assessing the legecy of I. I. Piatetski-Shapiro : Conference on Automorphic Forms and Related Geometry : April 23-27, 2012, Yale University, New Haven, CT / / James W. Cogdell, Freydoon Shahidi, David Soudry, editors
| Automorphic forms and related geometry : assessing the legecy of I. I. Piatetski-Shapiro : Conference on Automorphic Forms and Related Geometry : April 23-27, 2012, Yale University, New Haven, CT / / James W. Cogdell, Freydoon Shahidi, David Soudry, editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2014 |
| Descrizione fisica | 1 online resource (454 p.) |
| Disciplina | 515/.9 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Automorphic forms
L-functions Forms (Mathematics) Geometry |
| ISBN | 1-4704-1658-1 |
| Classificazione | 11FXX22EXX14JXX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | References -- A -adic integral for the reciprocal of -functions -- 1. Introduction and Motivation -- 2. Mazur's measure and its real analytic interpretation -- 3. Fourier coefficients of classical Eisenstein series -- 4. Proof of \thmref{th1} -- Acknowledgements -- References -- Harmonic analysis on symmetric spaces as complex analysis -- 1. Horospherical reduction of complex symmetric spaces (geometrical picture) -- 2. Horospherical reduction of complex symmetric spaces (analytic construction of intertwining operators) -- 3. Dual horospherical Cauchy transform -- 4. Cauchy formula on complex symmetric spaces -- 5. Horospherical duality for real symmetric spaces. Compact spaces -- 6. Horospherical duality for complex crowns of symmetric spaces -- 7. Tube Stein manifolds on causal symmetric spaces -- References -- Testing rationality of coherent cohomology of Shimura varieties -- Introduction -- 1. Restrictions of discrete series representations and global consequences -- 2. Restrictions of minimal types -- 3. Coherent cohomology of unitary group Shimura varieties -- 4. Gross-Prasad periods as cup products -- Acknowledgements -- 6. The case =3, = =2 -- 7. The case = = =2 -- 8. The case =1 -- 9. Application to holomorphic unitary representations -- References -- Mellin Transform of Whittaker functions -- 1. Introduction -- 2. Proof of the Theorem -- References -- Automorphic Integral Transforms for Classical Groups I: Endoscopy Correspondences -- 1. Introduction -- 2. Arthur Parametrization of Discrete Spectrum -- 3. Endoscopy Structures for Classical Groups -- 4. Fourier Coefficients and Nilpotent Orbits -- 5. Constructions of the Automorphic Kernel Functions -- 6. Automorphic Descents and Automorphic Forms of Simple Type -- An inductive formula for -factors -- On a new functional equation for local integrals -- Paquets stables des séries discrètes accessibles par endoscopie tordue; leur paramètre de Langlands -- On a certain sum of automorphic -functions -- Analytic constructions of -adic -functions and Eisenstein series -- On stability of root numbers -- CAP forms, Eisenstein series, and some arithmetic applications -- Automorphic descent: an outgrowth from Piatetski-Shapiro’s vision -- On the singularities of branch curves of 3 surfaces and applications. |
| Record Nr. | UNINA-9910786541403321 |
| Providence, Rhode Island : , : American Mathematical Society, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automorphic forms and related geometry : assessing the legecy of I. I. Piatetski-Shapiro : Conference on Automorphic Forms and Related Geometry : April 23-27, 2012, Yale University, New Haven, CT / / James W. Cogdell, Freydoon Shahidi, David Soudry, editors
| Automorphic forms and related geometry : assessing the legecy of I. I. Piatetski-Shapiro : Conference on Automorphic Forms and Related Geometry : April 23-27, 2012, Yale University, New Haven, CT / / James W. Cogdell, Freydoon Shahidi, David Soudry, editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2014 |
| Descrizione fisica | 1 online resource (454 p.) |
| Disciplina | 515/.9 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Automorphic forms
L-functions Forms (Mathematics) Geometry |
| ISBN | 1-4704-1658-1 |
| Classificazione | 11FXX22EXX14JXX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | References -- A -adic integral for the reciprocal of -functions -- 1. Introduction and Motivation -- 2. Mazur's measure and its real analytic interpretation -- 3. Fourier coefficients of classical Eisenstein series -- 4. Proof of \thmref{th1} -- Acknowledgements -- References -- Harmonic analysis on symmetric spaces as complex analysis -- 1. Horospherical reduction of complex symmetric spaces (geometrical picture) -- 2. Horospherical reduction of complex symmetric spaces (analytic construction of intertwining operators) -- 3. Dual horospherical Cauchy transform -- 4. Cauchy formula on complex symmetric spaces -- 5. Horospherical duality for real symmetric spaces. Compact spaces -- 6. Horospherical duality for complex crowns of symmetric spaces -- 7. Tube Stein manifolds on causal symmetric spaces -- References -- Testing rationality of coherent cohomology of Shimura varieties -- Introduction -- 1. Restrictions of discrete series representations and global consequences -- 2. Restrictions of minimal types -- 3. Coherent cohomology of unitary group Shimura varieties -- 4. Gross-Prasad periods as cup products -- Acknowledgements -- 6. The case =3, = =2 -- 7. The case = = =2 -- 8. The case =1 -- 9. Application to holomorphic unitary representations -- References -- Mellin Transform of Whittaker functions -- 1. Introduction -- 2. Proof of the Theorem -- References -- Automorphic Integral Transforms for Classical Groups I: Endoscopy Correspondences -- 1. Introduction -- 2. Arthur Parametrization of Discrete Spectrum -- 3. Endoscopy Structures for Classical Groups -- 4. Fourier Coefficients and Nilpotent Orbits -- 5. Constructions of the Automorphic Kernel Functions -- 6. Automorphic Descents and Automorphic Forms of Simple Type -- An inductive formula for -factors -- On a new functional equation for local integrals -- Paquets stables des séries discrètes accessibles par endoscopie tordue; leur paramètre de Langlands -- On a certain sum of automorphic -functions -- Analytic constructions of -adic -functions and Eisenstein series -- On stability of root numbers -- CAP forms, Eisenstein series, and some arithmetic applications -- Automorphic descent: an outgrowth from Piatetski-Shapiro’s vision -- On the singularities of branch curves of 3 surfaces and applications. |
| Record Nr. | UNINA-9910810326203321 |
| Providence, Rhode Island : , : American Mathematical Society, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An axiomatic approach to geometry : geometric trilogy I / / Francis Borceux
| An axiomatic approach to geometry : geometric trilogy I / / Francis Borceux |
| Autore | Borceux Francis |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , 2014 |
| Descrizione fisica | 1 online resource (xv, 403 pages) : illustrations |
| Disciplina | 510.9 |
| Collana | Gale eBooks |
| Soggetto topico |
Geometry
Axiomatic set theory |
| ISBN | 3-319-01730-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Preface -- 1.The Prehellenic Antiquity -- 2.Some Pioneers of Greek Geometry -- 3.Euclid’s Elements -- 4.Some Masters of Greek Geometry -- 5.Post-Hellenic Euclidean Geometry -- 6.Projective Geometry -- 7.Non-Euclidean Geometry -- 8.Hilbert’s Axiomatics of the Plane -- Appendices: A. Constructibily -- B. The Three Classical Problems -- C. Regular Polygons -- Index -- Bibliography. |
| Record Nr. | UNINA-9910300145503321 |
|
Borceux Francis
|
||
| Cham, Switzerland : , : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Geometry
(1076)
- Mathematics (162)
- Topology (71)
- Algebra (69)
- Computer graphics (52)