×

找到30份文件(结果1-30)

对角化的复杂性。 (英语) Zbl 07760740号

Dickenstein,Alicia(编辑)等人,第48届符号和代数计算国际研讨会论文集,ISSAC,挪威特罗姆索,2023年7月24日至27日。纽约州纽约市:计算机协会(ACM)。1-6 (2023).
MSC公司:68瓦30
PDF格式BibTeX公司 XML格式引用

关于矩阵加权幂和的最终非负性和正性。 (英语) Zbl 07628215号

Blanchette,Jasmin(编辑)等人,《自动推理》。第十一届国际联合会议,2022年8月8日至10日,以色列海法,IJCAR 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13385671-690(2022年)。
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份