Merkliste 
 1 Ergebnisse 
 
1

Reliable scalable symbolic computation : the design of S..:

, In: Proceedings of the 28th Annual ACM Symposium on Applied Computing,
Maier, Patrick ; Stewart, Rob ; Trinder, Phil - p. 1674-1681 , 2013