搜索
人大经济论坛 附件下载

附件下载

所在主题:
文件名:  Mathematical Software – ICMS 2016.pdf
资料下载链接地址: https://bbs.pinggu.org/a-2090591.html
附件大小:
40.76 MB   举报本内容
如果喜欢该文档,欢迎订阅【2016新书】文库,https://bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3187

图书名称:
Mathematical Software – ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
作者:Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese

出版社:Springer International Publishing

页数:533
出版时间:2016

语言:English

格式:pdf
内容简介:
This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016.
The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective analysis, and special functions; mathematical optimization; interactive operation to scientific artwork and mathematical reasoning; information services for mathematics: software, services, models, and data; semDML: towards a semantic layer of a world digital mathematical library; miscellanea.

回复免费:
[hide][/hide]



    熟悉论坛请点击新手指南
下载说明
1、论坛支持迅雷和网际快车等p2p多线程软件下载,请在上面选择下载通道单击右健下载即可。
2、论坛会定期自动批量更新下载地址,所以请不要浪费时间盗链论坛资源,盗链地址会很快失效。
3、本站为非盈利性质的学术交流网站,鼓励和保护原创作品,拒绝未经版权人许可的上传行为。本站如接到版权人发出的合格侵权通知,将积极的采取必要措施;同时,本站也将在技术手段和能力范围内,履行版权保护的注意义务。
(如有侵权,欢迎举报)
二维码

扫码加我 拉你入群

请注明:姓名-公司-职位

以便审核进群资格,未注明则拒绝

GMT+8, 2026-1-2 09:26