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 /

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...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Li, Hongbo. (Editor, http://id.loc.gov/vocabulary/relators/edt), Olver, Peter J. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sommer, Gerald. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:Theoretical Computer Science and General Issues ; 3519
Subjects:
Online Access:https://doi.org/10.1007/b137294
Tags: Add Tag
No Tags, Be the first to tag this record!