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 ori...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Li, Hongbo (Editor ), Olver, Peter J. (Editor ), Sommer, Gerald (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
Edición: | 1st ed. 2005. |
Colección: | Theoretical Computer Science and General Issues,
3519 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Scale Space and Variational Methods in Computer Vision First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007, Proceedings /
Publicado: (2007) -
Scale Space and PDE Methods in Computer Vision 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005, Proceedings /
Publicado: (2005) -
Complex Motion First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004, Revised Papers /
Publicado: (2007) -
Approximation and Online Algorithms Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers /
Publicado: (2005) -
Spatial Coherence for Visual Motion Analysis First International Workshop, SCVMA 2004, Prague, Czech Republic, May 15, 2004, Revised Papers /
Publicado: (2006)