尾端

此软件的关键字
zbMATH中的参考文献(引用于
456篇文章, 4标准条款 )
Brown,Chad E.;Pąk,Karol:AIM循环和AIM猜想(2020) Futa,Yuichi;Okazaki,Hiroyuki;Shidama,Yasunari:仿射坐标下椭圆曲线上点的运算(2020) Grabowski,Adam:粗包含函数的形式化发展(2020) Kahl,Wolfram:教学工具中的计算关系代数证明(2020) 关于顶点映射(Sebastian 2020) 科赫,塞巴斯蒂安:基本简单图(2020) 科赫,塞巴斯蒂安:关于图映射(2020) Li,Wenda;Paulson,Lawrence C.:通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根(2020) 施瓦茨韦勒,克里斯托夫:论场(F)与(F[X])(2020)的交集 克里斯托弗和施瓦内克建筑公司(Christoph Wellzfield,2020) 形式化理论(石永平,矩阵分析;石志平,2020) Brown,Chad E.;Pąk,卡罗尔:两套理论的故事(2019) 有限域的分类(MichaelLun,2019;有限域分类) Chvalovský,Karel;Jakubův,Jan;Suda,Martin;Urban,Josef:ENIGMA-NG:高效神经和梯度增强推理指导(\mathrmE)(2019) Coghetto,Roland:实向量空间中的交叉比(2019) 考格托,罗兰;格拉博夫斯基,亚当:塔斯基几何公理。 四: 直角(2019) 恩杜,诺博鲁:福比尼定理(2019) Gauthier,Thibault;Kaliszyk,Cezary:跨校对助手库调整概念(2019) 贾斯扎克,阿德里安:幂算法的部分正确性(2019) Jaszczak,Adrian;Korniłowicz,Artur:阶乘算法的部分正确性(2019)