Effective real numbers in Mmxlib
From MaRDI portal
Publication:2958980
DOI10.1145/1145768.1145795zbMath1356.68297MaRDI QIDQ2958980
Publication date: 3 February 2017
Published in: Proceedings of the 2006 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1145768.1145795
68W30: Symbolic computation and algebraic computation
Related Items
Uses Software