Related Books
Language: en
Pages: 533
Pages: 533
Type: BOOK - Published: 2016-07-05 - Publisher: Springer
This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016. The 68 pap
Language: en
Pages: 377
Pages: 377
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 491
Pages: 491
Type: BOOK - Published: 2020-07-07 - Publisher: Springer Nature
This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020. The
Language: en
Pages: 525
Pages: 525
Type: BOOK - Published: 2018-07-17 - Publisher: Springer
This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018.The 59
Language: en
Pages: 374
Pages: 374
Type: BOOK - Published: 2019-10-02 - Publisher: Springer Nature
This book presents chapters exploring the most recent developments in the role of technology in proving. The full range of topics related to this theme are expl