Proceedings of the Highly Specialized Seminar on Symmetries in Nuclear Structure [[electronic resource] ] : an occasion to celebrate the 60th birthday of Francesco Iachello, Erice, Italy, 23-30 March, 2003 / / editors, Andrea Vitturi and Richard F. Casten

• Record Nr.: UNINA9910454283203321
• Pubbl/distr/stampa: River Edge, N.J., : World Scientific, c2004
• ISBN: 1-281-89879-1; 9786611898793; 981-270-276-8
• Descrizione fisica: 1 online resource (496 p.)
• Collana: Science and culture series. Physics ; ; 24
• Altri autori (Persone): IachelloF; VitturiAndrea; CastenR
• Disciplina: 539.7/4
• Soggetti: Nuclear structure; Symmetry (Physics); Electronic books.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: The meeting was held in the Ettore Majorana Centre.
• Nota di bibliografia: Includes bibliographical references.
• Nota di contenuto: CONTENTS; Preface; Symmetry: the search for order in nature; 1 Symmetry; 2 Symmetry in Physics; Additional quantum numbers dynamical symmetries and degeneracies; Partial dynamical symmetry as an intermediate symmetry structure; 1 Introduction; 2 SU(3) PDS (type I); 3 O(6) PDS (type I) 4 O(5) PDS (type II) ; 5 O(6) PDS (type II); 6 O(6) PDS (type III); 7 Summary and Conclusions; Vector coherent state theory: a powerful tool for solving algebraic problems in physics; 1 Introduction; 2 Scalar coherent state presentations; 3 Vector coherent state representations 4 VCS representations of su(3) in an su(2) basis; 5 Representation of su(3) in an so(3) basis 6 Representations of so(5) in an so(3) basis; 7 Discussion; Symmetries in strongly deformed nuclei; 1 Introduction; 2 Model space and interaction 3 Representative results; 4 Conclusions; Shape coexistence and its symmetries; 1 Introduction: the early work; 2 Quadrupole force dominance; 3 Shape coexistence and its symmetries; 1 Introduction 2 Many-Body Hamiltonians; 3 Connection to Gaudin Algebras; Some new perspectives on pairing in nuclei; 1 Introduction; 2 Richardson's solution of the Pairing Mode An electrostatic analogy for Pairing Models; 4 A new pictorial representation of nuclear superconductivity
• Sommario/riassunto: The Highly Specialized Seminar on "Symmetries in Nuclear Structure", held in Erice, Italy, in March 2003, celebrated the career and the remarkable achievements of Francesco Iachello, on the occasion of his 60th birthday. Since the development of the interacting boson model in the early 1970's, the ideas of Iachello have provided a variety of frameworks for understanding collective behaviour in nuclear structure, founded on the concepts of dynamical symmetries and spectrum-generating algebras. The original ideas, which were developed for the description of atomic nuclei, have now been successful...

Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / / Xiao-Shan Gao, Dongming Wang, Lu Yang, editors

• Record Nr.: UNINA9910768475903321
• Pubbl/distr/stampa: Berlin ; ; Heidelberg : , : Springer, , [1999]; ©1999
• ISBN: 3-540-47997-X
• Edizione: [1st ed. 1999.]
• Descrizione fisica: 1 online resource (VIII, 292 p.)
• Collana: Lecture Notes in Artificial Intelligence ; ; 1669
• Disciplina: 516.00285
• Soggetti: Geometry - Data processing; Automatic theorem proving
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• 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.
• Sommario/riassunto: The Second International Workshop on Automated Deduction in Geometry (ADG ’98) was held in Beijing, China, August 1–3, 1998. An increase of interest in ADG ’98 over the previous workshop ADG ’96 is represented by the notable number of more than 40 participants from ten countries and the strong tech- cal program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-tsun ¨ Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e?ective exchange of new ideas and timely report of research progress. Insight surveys, algorithmic developments, and applications in CAGD/CAD and computer vision presented by active - searchers, together with geometry software demos, shed light on the features of this second workshop. ADG ’98 was hosted by the Mathematics Mechanization Research Center (MMRC) with ?nancial support from the Chinese Academy of Sciences and the French National Center for Scienti?c Research (CNRS), and was organized by the three co-editors of this proceedings volume. The papers contained in the volume were selected, under a strict refereeing procedure, from those presented at ADG ’98 and submitted afterwards. Most of the 14 accepted papers were carefully revised and some of the revised versions were checked again by external reviewers. We hope that these papers cover some of the most recent and signi?cant research results and developments and re?ect the current state-of-the-art of ADG.