Joris van der Hoeven. Overview of the Mathemagix Type System. In Ruyong Feng, Wen-shin Lee, Yosuke Sato, editors, Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, October 2012, Contributed Papers and Invited Talks. pages 397-425, Springer, 2012. [doi]
@inproceedings{Hoeven12-0,
title = {Overview of the Mathemagix Type System},
author = {Joris van der Hoeven},
year = {2012},
doi = {10.1007/978-3-662-43799-5_27},
url = {http://dx.doi.org/10.1007/978-3-662-43799-5_27},
researchr = {https://researchr.org/publication/Hoeven12-0},
cites = {0},
citedby = {0},
pages = {397-425},
booktitle = {Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, October 2012, Contributed Papers and Invited Talks},
editor = {Ruyong Feng and Wen-shin Lee and Yosuke Sato},
publisher = {Springer},
isbn = {978-3-662-43799-5},
}