Symbolic computation software composability
In: Intelligent Computer Mathematics (9th International Conference, AISC 2008; 15th Symposium, Calculemus 2008; 7th International Conference, MKM 2008, Birmingham, UK, July 28-August 1, 2008, Proceedings) :285-295
Konferenz
Zugriff:
Titel: |
Symbolic computation software composability
|
---|---|
Autor/in / Beteiligte Person: | Freundt, S. ; Horn, P. ; Konovalov, A. ; Linton, S. ; Roozemond, D.A. ; Autexier, S. ; Campbell, J. ; Rubio, J. ; Sorge, V. ; Suzuki, M. ; Wiedijk, F. ; Discrete Algebra and Geometry |
Link: | |
Quelle: | Intelligent Computer Mathematics (9th International Conference, AISC 2008; 15th Symposium, Calculemus 2008; 7th International Conference, MKM 2008, Birmingham, UK, July 28-August 1, 2008, Proceedings) :285-295 |
Veröffentlichung: | 2008 |
Medientyp: | Konferenz |
ISBN: | 3-540-85110-0 (print) ; 3-540-85109-7 (print) ; 978-3-540-85110-3 (print) ; 978-3-540-85109-7 (print) |
ISSN: | 0302-9743 (print) |
DOI: | 10.1007/978-3-540-85110-3_24 |
Sonstiges: |
|