Towards Mechanized Mathematical Assistants Más libros de Manuel Kauers, Manfred Kerber, Robert Miner & Wolfgang Windsteiger

Rechnen mit gigantischen Zahlen

2025

Mathematical Software – ICMS 2018

2018