Intelligent Computer Mathematics -- 11th InternationalConference, AISC 2012, 19th Symposium, Calculemus 2012, 5thInternational Workshop, DML 2012, 11th InternationalConference, MKM 2012, Systems and Projects

Johan Jeuring,John A. Campbell,Gabriel Dos Reis,Petr Sojka,Makarius Wenzel,Volker Sorge

Intelligent Computer Mathematics -- 11th InternationalConference, AISC 2012, 19th Symposium, Calculemus 2012, 5thInternational Workshop, DML 2012, 11th InternationalConference, MKM 2012, Systems and Projects

2012

Johan Jeuring
John A. Campbell
Gabriel Dos Reis
Petr Sojka
Makarius Wenzel
Volker Sorge

Proceedings of Conference on Intelligent Computer Mathematics (CICM) consists of papers for DML, MKM, AISC, Calculemus and Systems and Project tracks. Contains 38 reviewed accepted papers and published in LNCS Springer series.

Keywords:

Applied mathematics
Computer science
Engineering drawing
Engineering physics

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations