Favoritter
    Log ind Opret dig
    Studiebog
    Automated Deduction in Geometry

    Automated Deduction in Geometry

    - 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers

    Forfatter: info mangler
    Bog
    • Format
    • Bog, paperback
    • Engelsk

    Beskrivelse

    The papers in this volume show the lively variety of topics and methods in automated deduction in geometry, and their applicability to different branches of mathematics as well as to other sciences and technologies. The book is made up of the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in 2006. There are a total of 13 revised full papers selected from a number of submissions.

    Læs hele beskrivelsen
    Detaljer
    Størrelse og vægt
    coffee cup img
    10 cm
    book img
    15,5 cm
    23,5 cm

    Findes i disse kategorier...

    Se andre, der handler om...

    Cognition Computer vision Computer-aided design Verification Algorithms Proving Theorem proving Computational geometry Automated deduction Formal Reasoning Dynamic Geometry Formal verification 3D Geometry automatic discovering Algorithm Verification

    Velkommen til Saxo – din danske boghandel

    Hos os kan du handle som gæst, Saxo-bruger eller Saxo-medlem – du bestemmer selv. Skulle du få brug for hjælp, sidder vores kundeservice-team klar ved både telefonerne og tasterne.

    Om medlemspriser hos Saxo

    For at købe bøger til medlemspris skal du være medlem af Saxo Premium, Saxo Shopping eller Saxo Ung. De første 7 dage er gratis for nye medlemmer. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om fordelene ved vores forskellige medlemskaber her.

    Machine Name: SAXO082