克莱门斯·霍夫斯塔勒
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 【c3】 卡拉·贝纳(Klara Bernauer) , 克莱门斯·霍夫斯塔勒 , 乔治·雷根斯堡 :
如何自动证明算子语句:Moore-Penrose逆; 案例研究。 中国科学院 2023 : 39-68 【c2】 克莱门斯·霍夫斯塔勒 , 蒂鲍特·韦伦 :
环上自由代数中的签名Gröbner基。 ISSAC公司 2023 : 298-306 [i6] 克莱门斯·霍夫斯塔勒 , 蒂鲍特·韦伦 :
理想成员的简短证明。 CoRR公司 abs/2302.02832 ( 2023 ) [i5] 克莱门斯·霍夫斯塔勒 , 蒂鲍特·韦伦 :
环上自由代数中的特征Gröbner基。 CoRR公司 abs/2302.06483 ( 2023 ) [i4] 卡拉·贝纳(Klara Bernauer) , 克莱门斯·霍夫斯塔勒 , 乔治·雷根斯堡 :
如何自动证明运算符语句:Moore-Penrose逆-一个案例研究。 CoRR公司 abs/2305.09448 ( 2023 ) 2022 【j4】 克莱门斯·霍夫斯塔勒 , 蒂鲍特·韦伦 :
自由代数中的签名Gröbner基、合子基和余因子重构。 J.塞姆。 计算。 113 : 211-241 ( 2022 ) [j3] 克莱门斯·霍夫斯塔勒 , 克莱门斯·拉布 , 乔治·雷根斯堡 :
计算理想中某些形式的元素以证明算子的性质。 数学。 计算。 科学。 16 ( 2-3 ) : 17 ( 2022 ) 2021 [注2] Dragana S.Cvetkovic-利奇 , 克莱门斯·霍夫斯塔勒 , 贾马尔·侯赛因(Jamal Hossein Poor) , 约瓦娜·米洛舍维奇 , 克莱门斯·拉布 , 乔治·雷根斯堡 :
矩阵和算子恒等式的代数证明方法:Hartwig三重逆序定律的改进。 申请。 数学。 计算。 409 : 126357 ( 2021 ) [i3] 克莱门斯·霍夫斯塔勒 , 蒂鲍特·韦伦 :
自由代数中的签名Gröbner基、合子基和余因子重构。 CoRR公司 abs/2107.14675 ( 2021 ) [i2] 克莱门斯·霍夫斯塔勒 , 克莱门斯·拉布 , 乔治·雷根斯堡 :
计算理想中某种形式的元素以证明算子的性质。 CoRR公司 腹肌/2110.12933 ( 2021 ) 2020 【c1】 西里尔·切纳维尔 , 克莱门斯·霍夫斯塔勒 , 克莱门斯·拉布 , 乔治·雷根斯堡 :
用于证明算子恒等式的非对易多项式的兼容重写。 ISSAC公司 2020 : 83-90 [i1] 西里尔·切纳维尔 , 克莱门斯·霍夫斯塔勒 , 克莱门斯·拉布 , 乔治·雷根斯堡 :
证明算子恒等式的非交换多项式的兼容重写。 CoRR公司 abs/2002.03626 ( 2020 )
2010 – 2019
2019 [j1] 克莱门斯·霍夫斯塔勒 , 克莱门斯·拉布 , 乔治·雷根斯堡 :
通过非交换Gröbner基证明算子身份。 ACM通信。 计算。 代数 53 ( 2 ) : 49-52 ( 2019 )
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)