| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465914703316 |
|
|
Titolo |
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.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; Heidelberg : , : Springer, , [2007] |
|
©2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 218 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 6301 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Geometry - Data processing |
Automatic theorem proving |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
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. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM |
|
|
|
|
|
|
|
|
|
|
|
|
|
2006. The 13 revised full papers presented were carefully selected from the submissions made due to a call for papers - within the scope of ADG - shortly after the meeting. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910965130503321 |
|
|
Autore |
Reinalda Bob |
|
|
Titolo |
The Routledge history of international organizations : from 1815 to the present day / / Bob Reinalda |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Milton Park, Abingdon, Oxon ; ; New York, : Routledge, c2009 |
|
|
|
|
|
|
|
ISBN |
|
1-134-02404-5 |
1-134-02405-3 |
1-282-23483-8 |
1-78034-805-3 |
9786612234835 |
0-203-87657-1 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (877 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
International agencies - History |
International organization - History |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
pt. 1. 1815 : British hegemony and the invention of the multilateral conference plus follow-up conference : the Concert of Europe and the Central Commission for the Navigation of the Rhine -- pt. 2. Transnational networks of citizens : from the anti-slavery movement in 1815 to the International Committee of the Red Cross of 1863 -- pt. 3. The creation of the Hague system : the arbitration movement and the 1899 and 1907 Peace Conferences in the Hague -- pt. 4. Public international unions 1865-1914 : institutionalization of conferences and the creation of continental markets in Europe and the Americas -- |
|
|
|
|
|
|
|
|
|
|
|
pt. 5. The international foundation for the welfare state 1880-1914 : how governments became involved in international labour legislation -- pt. 6. Laying down the path of collective security : the First World War, the League of Nations founded (1919) and the interwar period -- pt. 7. Laying down the path of common economic endeavours : the International Labour Organization (1919) and the economic and social activities of the League of Nations -- pt. 8. American hegemony and the genesis and evolution of the United Nations system -- pt. 9. Collective security in a bipolar world 1945-80 -- pt. 10. Economic cooperation in a bipolar world 1945-70 -- pt. 11. Decolonization, the North-South devide and Third World experiences with global and regional international organizations 1960-80 -- pt. 12. Development aid, environmental protection and human rights as normative powers : NGO pressure on governments through intergovernmental organizations 1960-80 -- pt. 13. International organizations in the 1980s : The Cold War intensifies and neoliberalism replaces Keynesianism -- pt. 14. The 1990s and new challenges for the United Nations as peacekeeper -- pt. 15. Globalization in the 1990s : new challenges for the United Nations system as promoter of economic and social stability -- pt. 16. Regional international organizations from the 1980s onwards -- pt. 17. Security and the international economy on the threshold of the twenty-first century. |
|
|
|
|
|
|
Sommario/riassunto |
|
This is a definitive and comprehensive history of international organizations from their very beginning at the Congress of Vienna in 1815 up to the present day, and provides the reader with nearly two centuries of world history seen from the perspective of international organizations. It covers the three main fields of international relations: security, economics and the humanitarian domain which often overlap in international organizations. As well as global and intercontinental organizations, the book also covers regional international organizations and international non-governmental orga |
|
|
|
|
|
|
|
| |