编辑配置文件（在新选项卡中打开） 斋川隆文 合著者距离 作者ID： 赛卡瓦·塔卡福米 发布日期： 斋川隆文 编入索引的文档： 4出版物自2019年起 合著者： 3位合著者具有4联合出版物 42位合作作者 合著者 0 单作者的 4 雷纳尔德·阿弗尔德 三 雅克·加里格 2 大卫·E·诺瓦克。 系列 1 自动推理杂志 1 函数编程杂志 领域 4 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 凸几何和离散几何（52至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用10中的次6文件 引用人▼ 年份▼ 凸空间和锥空间中的形式冒险。 Zbl 1455.68254号 雷纳尔德·阿弗尔德;雅克·加里格;斋川隆文 4 2020 使用等式推理进行程序验证的一元效应层次。 兹比尔1434.68100 雷纳尔德·阿弗尔德;诺瓦克，大卫;斋川隆文 三 2019 用于概率和不确定性公理推理的可信单子。 Zbl 1493.03004号 雷纳尔德·阿弗尔德;雅克·加里格;诺瓦克，大卫;斋川隆文 2 2021 线性纠错码的形式化库。 Zbl 1468.68314号 雷纳尔德·阿弗尔德;雅克·加里格;斋川隆文 1 2020 用于概率和不确定性公理推理的可信单子。 Zbl 1493.03004号 雷纳尔德·阿弗尔德;雅克·加里格;诺瓦克，大卫;斋川隆文 2 2021 凸空间和锥空间中的形式冒险。 兹比尔1455.68254 雷纳尔德·阿弗尔德;雅克·加里格;斋川隆文 4 2020 线性纠错码的形式化库。 Zbl 1468.68314号 雷纳尔德·阿弗尔德;雅克·加里格;斋川隆文 1 2020 使用等式推理进行程序验证的一元效应层次。 Zbl 1434.68100号 雷纳尔德·阿弗尔德;诺瓦克，大卫;斋川隆文 三 2019 所有引用出版物 前5名被引用出版物 全部的 前5名11位作者引用 三 雷纳尔德·阿弗尔德 1 安德鲁·W·阿佩尔。 1 西里尔·科恩 1 Joshua M.科恩。 1 雅克·加里格 1 大卫·E·诺瓦克。 1 斋川隆文 1 阿尤木斋藤 1 坂口和彦 1 伊祖米·武提 1 王钦石 3篇连载文章中引用 1 自动推理杂志 1 日本工业与应用数学杂志 1 函数编程杂志 在3个字段中引用 5 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文