编辑配置文件(在新选项卡中打开) 埃里克·威瑟 合著者距离 作者ID: 威瑟·埃里克 发布日期: 埃里克·威瑟 已编制索引的文档: 3出版物自2022年起 合著者: 2合著者具有2联合出版物 1名合著者 合著者 1 单作者的 1 歌曲,器物 1 张居健 系列 1 应用Clifford代数的进展 领域 三 计算机科学(68至XX) 1 数论(11-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 在Lean中形式化几何代数。 Zbl 1494.68307号 埃里克·威瑟;歌曲,器物 1 2022 在Lean中形式化几何代数。 Zbl 1494.68307号 埃里克·维泽;歌曲,器物 1 2022 2位作者引用 1 埃里克·威瑟 1 张居健 0连载引用 在1个字段中引用 1 计算机科学(68至XX) 按年份列出的引文