尾端

此软件的关键字
zbMATH中的参考文献(参考文献 505篇文章 , 4标准条款 )
Coghetto,Roland:实射影平面上的Pappus六边形定理(2021) 邓恩,先生; 韦尔斯,J.B。; Kamareddine,Fairouz:用非集结构对象生成定制集理论(2021) 藤原浩史; 阿达奇,龙田; Yamamoto,Hiroaki:装箱问题的NextFit算法(2021) Grabowski,Adam:一些广义粗糙近似的自动比较研究(2021) 科赫,塞巴斯蒂安:杂图预赛。 一(2021年) 科哈塞,迈克尔; 拉贝,弗洛里安:出口主要证据助理图书馆的经验(2021年) 科尼奥维茨,阿图尔; 苏罗维克,达里乌兹:初等数论问题。 二(2021年) Maletzky,Alexander:基于签名的Gröbner基算法的通用和可执行形式化(2021) Mitsuishi,Takashi:由三角形函数和分段线性函数组成的隶属函数的一些性质(2021) 中尾草,和须贺; Futa,Yuichi:反函数定理。 一(2021年) 中尾草,和须贺; 冈崎,广裕; Shidama,Yasunari:实向量空间及相关概念(2021) 普罗罗科维奇,Krsto; 旺德,迈克尔; 施密杜伯,Jürgen:用变压器改进有状态前提选择(2021) 拉贝,弗洛里安:一种类型依赖相等的语言(2021) 罗斯冈,科林; 科尼奥维茨,阿图尔; 拉贝,弗洛里安:米扎尔数学图书馆的新出口(2021) 萨维基,达米安; Grabowski,Adam:关于弱结合格和近格(2021) 施瓦茨韦勒,克里斯托夫:分裂的领域(2021年) 施瓦茨韦勒,克里斯托夫; Rowinska Schwarzweller,Agnieska:代数扩张(2021) 西格,威尔弗里德; Derakhshan,Farzaneh:以人为中心的自动证据搜索(2021) 苏达,马丁:吸血鬼有大脑是一个很好的ITP锤子(2021) 王庆祥; Kaliszyk,Cezary:JEFL:形式证明库的联合嵌入(2021)