Mathemagix: the quest of modularity and efficiency for symbolic and certified numeric computation?
Joris van der HoevenGrégoire LecerfBernard MourrainPhilippe TrébuchetJérémy BerthomieuDaouda Niang DiattaAngelos MantzaflarisPublished in: ACM Commun. Comput. Algebra (2011)