2024-04-24T07:08:22Z https://oai.zbmath.org/v1/

oai:zbmath.org:7178998 2020-03-10T16:00:41Z 65 68

帕特里克·特伦汀；罗伯托·塞巴斯蒂亚尼 2019 7178998 英语 https://zbmath.org/07178998 zbMATH Open生成的内容，如评论，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目元数据和从I4OC（CC0）导出的参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能在适当的许可证下通过API提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” Fontaine，Pascal（编辑），自动扣除——CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27-30日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11716, 550-567 (2019) 68T20；65K10码 浮点数理论的优化模 一