编辑配置文件(在新选项卡中打开) 亚历克斯·比伊斯玛 合著者距离 作者ID: bijlsma.alex公司 发布方式: A.Bijlsma。;亚历克斯·比伊斯玛 已编制索引的文档: 17出版物自1975年以来,包括1本书 审查活动: 25条评论 合著者: 7合著者具有5联合出版物 5位合作作者 全部的 前5名合著者 12 单作者的 2 马修斯,P.A。 2 威尔廷克,J.G。 1 Pieter Leendert Cijsouw先生 1 哈里·J·M·帕西耶。 1 H·J·普特杰斯。 1 Carel S.Scholten。 1 斯图尔曼。 全部的 前5名系列 4 信息处理信件 三 图卢兹科学学院年鉴。Série V.数学 2 信息学报 2 计算机程序设计科学 1 数学合成 1 Indagationes数学 1 澳大利亚数学学会杂志。系列A 1 尼乌档案馆(Nieuw Archief voor Wiskunde)。德德系列 领域 9 数论(11-XX) 9 计算机科学(68至XX) 2 代数几何(14-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用19中的次15文件 引用人▼ 年份▼ WP语义中过程的严格证明规则。 兹比尔0647.68017 A.Bijlsma。;马修斯,P.A。;威尔廷克,J.G。 4 1989 Franklin-Schneider定理的椭圆模拟。 Zbl 0447.10034号 亚历克斯·比伊斯玛 三 1980 关于a、b和asup(b)的同时近似。 Zbl 0355.10025号 A.Bijlsma。 三 1977 使用过程调用进行计算。 Zbl 0791.68105号 A.Bijlsma。 2 1993 超越数论中的同时逼近。 Zbl 0414.10029号 A.Bijlsma。 2 1978 准布尔等价。 Zbl 0776.68078号 A.Bijlsma。 1 1993 过程调用的Gries和Martin证明规则的等效性。 Zbl 0577.68019号 A.Bijlsma。;威尔廷克,J.G。;马修斯,P.A。 1 1986 依赖关系的无度界限。 Zbl 0484.10022号 A.Bijlsma。;Cijsouw,P.L。 1 1981 阿贝尔函数代数点坐标的同时逼近。 Zbl 0509.10023号 A.Bijlsma。 1 1982 用指针计算。 Zbl 0679.68010号 A.Bijlsma。 1 1989 使用过程调用进行计算。 Zbl 0791.68105号 A.Bijlsma。 2 1993 准布尔等价。 兹比尔0776.68078 A.Bijlsma。 1 1993 WP语义中过程的一个清晰的证明规则。 Zbl 0647.68017号 A.Bijlsma。;马修斯,P.A。;威尔廷克,J.G。 4 1989 用指针计算。 Zbl 0679.68010号 A.Bijlsma。 1 1989 过程调用的Gries和Martin证明规则的等效性。 Zbl 0577.68019号 A.Bijlsma。;威尔廷克,J.G。;马修斯,P.A。 1 1986 阿贝尔函数代数点坐标的同时逼近。 Zbl 0509.10023号 A.Bijlsma。 1 1982 依赖关系的无度界限。 Zbl 0484.10022号 A.Bijlsma。;Cijsouw,P.L。 1 1981 Franklin-Schneider定理的椭圆模拟。 Zbl 0447.10034号 亚历克斯·比伊斯玛 三 1980 超越数论中的同时逼近。 Zbl 0414.10029号 A.Bijlsma。 2 1978 关于a、b和asup(b)的同时近似。 Zbl 0355.10025号 A.Bijlsma。 三 1977 所有引用出版物 前5名被引用出版物 全部的 前5名15位作者引用 5 亚历克斯·比伊斯玛 2 戴维·诺曼(David A.Naumann)。 1 彼得·邦德舒 1 曹永志 1 陈公良 1 德波尔,弗兰克·S。 1 平田·科诺(Hirata-Kohno)、诺里科(Noriko) 1 金,赵 1 Cees Pierik 1 罗伯特·塔布斯 1 哈维·图什 1 王汉平 1 吉斯伯特·Wüstholz 1 张博文 1 张磊 全部的 前5名9篇连载文章中引用 三 信息处理信件 三 理论计算机科学 三 图卢兹科学学院年鉴。Série V.数学 1 数学档案馆 1 数学合成 1 数论杂志 1 美国数学学会会刊 1 自动推理杂志 1 图卢兹科学学院年鉴。数学题。塞里六世 在4个字段中引用 8 数论(11-XX) 7 计算机科学(68至XX) 三 代数几何(14-XX) 2 数学逻辑和基础(03-XX) 按年份列出的引文