Produktbild
Hongbo (Hrsg.) Li

Computer Algebra and Geometric Algebra with Applications

6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers

Ebook (PDF Format)

MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name Mathematics Mechanization has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di?ers from the closely related disciplines like Computer Mathematics, Symbo… Mehr

CHF 120.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Olver, Peter J. (Hrsg.) / Sommer, Gerald (Hrsg.)
  • ISBN: 978-3-540-32119-4
  • EAN: 9783540321194
  • Produktnummer: 33365585
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2005
  • Seitenangabe: 449 S.
  • Plattform: PDF
  • Masse: 6'100 KB
  • Auflage: 2005
  • Abbildungen: Bibliographie

22 weitere Werke von Hongbo (Hrsg.) Li:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.