×

Found 2 Documents (Results 1–2)

Newest Citations Relevance
Horn, Peter; Roozemond, Dan

OpenMath in SCIEnce: SCSCP and POPCORN. (English) Zbl 1247.68316

Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 474-479 (2009).
MSC:  68U35 68T35 68W30
Cite Review PDF
Full Text: DOI
Freundt, Sebastian; Horn, Peter; Konovalov, Alexander; Linton, Steve; Roozemond, Dan

Symbolic computation software composability. (English) Zbl 1166.68374

Autexier, Serge (ed.) et al., 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. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 285-295 (2008).
MSC:  68W30 68N99
Cite Review PDF
Full Text: DOI

Filter Results by …

Author

Year of Publication

Main Field

all top 3

Software