Found 4 Documents (Results 1–4)
View of computer algebra data from Coq. (English) Zbl 1335.68232
Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 74-89 (2011).
MSC:
68T15
68W30
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).
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).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (3)
all
top 5
Author
- Horn, Peter D. (2)
- Konovalov, Olexandr (2)
- Linton, Stephen A. (2)
- Roozemond, Dan (2)
- Chen, Xiaoyu (1)
- Freundt, Sebastian (1)
- Komendantsky, Vladimir (1)
Main Field
- 68-XX (4)
