编辑配置文件（在新选项卡中打开） 德利马，塔纳拉·阿里利 合著者距离 作者ID： 德利马·塔伊纳拉·阿里利 发布方式： 德利马，塔纳拉·阿里利 外部链接： MGP公司 已编制索引的文档： 4出版物自2018年起 合著者： 5位合著者具有4联合出版物 54位合作作者 合著者 0 单作者的 三 毛里西奥·阿亚拉·林科恩 2 安德烈·路易斯·加尔迪诺 1 阿维拉·达席尔瓦（Avelar da Silva），安德烈亚·B。 1 安德烈亚·博尔赫斯·艾弗拉尔 1 塞拉诺·苏亚雷斯、法比安·费尔南多 系列 1 离散应用数学 1 自动推理杂志 全部的 前5名领域 三 计算机科学（68至XX） 2 交换代数（13-XX） 1 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 按年份列出的出版物 zbMATH Open中包含的引文 三出版物有被引用5中的次5文件 引用人▼ 年份▼ 对有符号排列进行排序所需的平均反向数。 Zbl 1375.05009号 德利马，塔纳拉·阿里利;毛里西奥·阿亚拉·林科恩 2 2018 形式化PVS中的环理论。 Zbl 1451.68332号 阿维拉·达席尔瓦（Avelar da Silva），安德烈亚·B。;德利马，塔纳拉·阿里利;安德烈·路易斯·加尔迪诺 2 2018 PVS中环理论的形式化。同构定理，主理想，素理想和极大理想，中国剩余定理。 Zbl 1493.68389号 德利马，塔纳拉·阿里利;安德烈·路易斯·加尔迪诺;安德烈亚·博尔赫斯·艾弗拉尔;毛里西奥·阿亚拉·林科恩 1 2021 PVS中环理论的形式化。同构定理，主理想，素理想和极大理想，中国剩余定理。 Zbl 1493.68389号 德利马，塔纳拉·阿里利;安德烈·路易斯·加尔迪诺;安德烈亚·博尔赫斯·艾弗拉尔;毛里西奥·阿亚拉·林科恩 1 2021 对有符号排列进行排序所需的平均反向数。 Zbl 1375.05009号 德利马，塔纳拉·阿里利;毛里西奥·阿亚拉·林科恩 2 2018 形式化PVS中的环理论。 Zbl 1451.68332号 阿维拉·达席尔瓦（Avelar da Silva），安德烈亚·B。;德利马，塔纳拉·阿里利;安德烈·路易斯·加尔迪诺 2 2018 全部的 前5名15位作者引用 1 安德烈亚·博尔赫斯·艾弗拉尔 1 毛里西奥·阿亚拉·林科恩 1 安妮·巴嫩 1 巴德拉查拉姆·奇图里 1 约书亚·库珀。 1 Sander R.Dahmen。 1 德·利马，Thaynara Arielly 1 Jose Divasón 1 安德烈·路易斯·加尔迪诺 1 普拉莫德·奈尔。 1 阿什夫尼·纳拉亚南 1 菲利波·阿尔贝托·埃多亚多·努乔 1 拉詹·桑达拉瓦德汗 1 雷内·蒂曼 1 海斯·惠特拉克 引用于3个系列 三 自动推理杂志 1 理论计算机科学 1 应用数学进展 全部的 前5名在9个字段中引用 5 计算机科学（68至XX） 三 交换代数（13-XX） 2 组合数学（05-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 群论与推广（20-XX） 2 生物学和其他自然科学（92-XX） 1 数学逻辑和基础（03-XX） 1 数论（11-XX） 1 结合环与代数（16-XX） 按年份列出的引文