2024-04-20T04:23:07Z年4月20日 https://oai.zbmath.org/v1/

oai:zbmath.org:6821844 2018年1月4日T10:52:37Z 11 68

索菲·伯纳德 2017 6821844 英语 https://zbmath.org/06821844 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能通过API以适当的许可证提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日，第八届国际会议，ITP 2017，巴西巴西利亚。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10499, 65-80 (2017). 68V20；11J81型 Lindeman-Weierstrass定理的形式化 一