×

找到17个文档(结果1-17)

在Lean中形式化几何代数。 (英语) Zbl 1494.68307号

PDF格式BibTeX公司 XML格式引用

一般情况下Hermite范式计算的形式证明。 (英语) Zbl 1515.68350号

Fleuriot,Jacques(编辑)等人,《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11110, 37-53 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

线性代数的形式化和执行:从定理到算法。 (英语) Zbl 1453.68210号

Gupta,Gopal(编辑)等,基于逻辑的程序合成和转换。2013年9月18日至19日在西班牙马德里举行的2013年LOPSTR第23届国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。8901, 1-18 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份