• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% studentrabatt med kod TERM26

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Systemvetenskap och AI

      Automated Deduction in Geometry

      Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings

      AvXiao-lu Gao,Dongming Wang

      Häftad, Engelska, 1999

      Del i serien Lecture Notes in Computer Science

      549 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      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.

      Produktinformation

      • Utgivningsdatum:1999-10-13
      • Mått:155 x 235 x 17 mm
      • Vikt:458 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:292
      • Upplaga:1999
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540666721

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Matematik inom Naturvetenskap och teknik
      • Grafik och bildbehandling inom Data och IT

      Innehållsförteckning

      • 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.
      Hoppa över listan

      Du kanske också är intresserad av

      Lu Yang, Dongming Wang, Xiao-lu Gao - Automated Deduction in Geometry, E-bok

      Automated Deduction in Geometry

      Lu Yang, Dongming Wang, Xiao-lu Gao

      E-bok
      2003

      710 kr

      Mitsuhiko Kawakami, Zhen-jiang Shen, Jen-te Pai, Xiao-lu Gao, Ming Zhang - Spatial Planning and Sustainable Development, Häftad

      Spatial Planning and Sustainable Development

      Mitsuhiko Kawakami, Zhen-jiang Shen, Jen-te Pai, Xiao-lu Gao, Ming Zhang

      Häftad, 2015

      1 634 kr

      Ming Zhang, Xiao-lu Gao, Jen-te Pai, Zhen-jiang Shen, Mitsuhiko Kawakami - Spatial Planning and Sustainable Development, E-bok

      Spatial Planning and Sustainable Development

      Ming Zhang, Xiao-lu Gao, Jen-te Pai, Zhen-jiang Shen, Mitsuhiko Kawakami

      E-bok
      2013

      2 049 kr

      Mitsuhiko Kawakami, Zhen-jiang Shen, Jen-te Pai, Xiao-lu Gao, Ming Zhang - Spatial Planning and Sustainable Development, Inbunden

      Spatial Planning and Sustainable Development

      Mitsuhiko Kawakami, Zhen-jiang Shen, Jen-te Pai, Xiao-lu Gao, Ming Zhang

      Inbunden, 2013

      1 634 kr

      Zhiming Zheng, Dongming Wang - Differential Equations with Symbolic Computation, E-bok

      Differential Equations with Symbolic Computation

      Zhiming Zheng, Dongming Wang

      E-bok
      2006

      2 044 kr

      Lu Yang - Xiaolong Expedition Team. The Golden Mask of Mummy, E-bok

      Xiaolong Expedition Team. The Golden Mask of Mummy

      Lu Yang

      E-bok
      2018

      106 kr

      Wei Zhang, Lu Yang - Interference Coordination for 5G Cellular Networks, E-bok

      Interference Coordination for 5G Cellular Networks

      Wei Zhang, Lu Yang

      E-bok
      2015

      710 kr

      Lu Yang, Wei Zhang - Interference Coordination for 5G Cellular Networks, Häftad

      Interference Coordination for 5G Cellular Networks

      Lu Yang, Wei Zhang

      Häftad, 2015

      549 kr

      Bican Xia, Lu Yang - AUTOMATED INEQUALITY PROVING AND DISCOVERING, Inbunden

      AUTOMATED INEQUALITY PROVING AND DISCOVERING

      Bican Xia, Lu Yang

      Inbunden, 2016

      1 720 kr

      Dongming Wang, Markus Rosenkranz - Grobner Bases in Symbolic Analysis, E-bok

      Grobner Bases in Symbolic Analysis

      Dongming Wang, Markus Rosenkranz

      E-bok
      2011

      1 982 kr