×
作者ID: 陈子林“陈子林”最近发表的zbMATH文章
发布方式: 陈子林
已编制索引的文档: 17出版物自1997年起
合著者: 14合著者具有5联合出版物
206合著作者

按年份列出的出版物

zbMATH Open中包含的引文

14出版物有被引用10中的次8文件 引用人 年份
具有补偿的多阶段随机线性规划的收敛割平面和部分抽样算法。 Zbl 0955.90096号
陈,Z.L。;鲍威尔,W.B。
38
1999
\(L\)-弱和\(M\)-弱紧致算子。 Zbl 1028.47028号
陈,Z.L。;A.W.威克斯特德。
28
1999
Rademacher序列在Banach格中的一些应用。 Zbl 0967.46019号
陈,Z.L。;威克斯特德,A.W。
17
1998
Banach格中实体壳的相对弱紧性。 Zbl 0922.46017号
陈,Z.L。;A.W.威克斯特德。
15
1998
Krylov精细时间步长积分法。 Zbl 1130.65070号
冯,T.C。;陈,Z.L。
7
2006
Banach格上弱紧算子的向量格。 Zbl 0942.47026号
陈,Z.L。;A.W.威克斯特德。
6
2000
双向流集装箱船舶调度。 Zbl 1149.90339号
陈,Z.-L。;雷,L。;钟,H。
6
2007
通过克制进行改进:降低核查成本。 Zbl 1361.68045号
利亚姆·奥康纳;陈子林;克里斯汀·里兹卡拉;西德尼·阿曼尼;贾菲斯·林姆;托比·默里;Yutaka长岛;托马斯·苏厄尔;格温·克莱恩
6
2016
正则球可以在强算子拓扑中闭合。 Zbl 0911.46002号
阿布拉莫维奇,Y.A。;陈,Z.L。;威克斯特德,A.W。
5
1997
正紧算子线性跨度的不完全性。 Zbl 0887.47033号
陈,Z.L。;A.W.威克斯特德。
5
1997
涉及算子模的等式。 Zbl 0947.47030号
陈子立。;A.W.威克斯特德。
1999
关于正则范数的序连续性。 Zbl 1109.46024号
陈,Z.L。
2
2006
自动形式化验证细化的框架科根(Cogent)至C。 Zbl 1478.68048号
克里斯汀·里兹卡拉;贾菲斯·林姆;Yutaka长岛;托马斯·苏厄尔;陈子林;利亚姆·奥康纳;托比·默里;加布里埃尔·凯勒;格温·克莱恩
2
2016
Cogent:唯一性类型和认证编译。 兹比尔1522.68128
利亚姆·奥康纳;陈子林;克里斯汀·里兹卡拉;文森特·杰克逊;西德尼·阿曼尼;格温·克莱恩;托比·默里;托马斯·苏厄尔;加布里埃尔·凯勒
2
2021
Cogent:唯一性类型和认证编译。 Zbl 1522.68128号
运营;利亚姆·康纳;陈子琳;克里斯汀·里兹卡拉;文森特·杰克逊;西德尼·阿曼尼;格温·克莱恩;托比·默里;托马斯·苏厄尔;凯勒,加布里埃尔
2
2021
通过约束进行优化:降低验证成本。 Zbl 1361.68045号
运营;利亚姆·康纳;陈子林;克里斯汀·里兹卡拉;西德尼·阿曼尼;贾菲斯·林姆;托比·默里;Yutaka长岛;托马斯·苏厄尔;格温·克莱恩
6
2016
自动形式化验证细化的框架科根(Cogent)至C。 Zbl 1478.68048号
克里斯汀·里兹卡拉;贾菲斯·林姆;Yutaka长岛;托马斯·休厄尔;陈子林;运营;利亚姆·康纳;托比·默里;加布里埃尔·凯勒;格温·克莱恩
2
2016
双向流集装箱船舶调度。 Zbl 1149.90339号
陈,Z.-L。;雷,L。;钟,H。
6
2007
Krylov精细时间步长积分法。 Zbl 1130.65070号
冯,T.C。;陈子立。
7
2006
关于正则范数的序连续性。 Zbl 1109.46024号
陈,Z.L。
2
2006
Banach格上弱紧算子的向量格。 Zbl 0942.47026号
陈,Z.L。;威克斯特德,A.W。
6
2000
具有补偿的多阶段随机线性规划的收敛割平面和部分抽样算法。 Zbl 0955.90096号
陈,Z.L。;鲍威尔,W.B。
38
1999
\(L)-弱紧算子和(M)-弱紧致算子。 Zbl 1028.47028号
陈,Z.L。;A.W.威克斯特德。
28
1999
涉及算子模的等式。 Zbl 0947.47030号
陈,Z.L。;A.W.威克斯特德。
1999
Rademacher序列在Banach格中的一些应用。 Zbl 0967.46019号
陈,Z.L。;A.W.威克斯特德。
17
1998
Banach格中实壳的相对弱紧性。 Zbl 0922.46017号
陈,Z.L。;A.W.威克斯特德。
15
1998
正则球可以在强算子拓扑中闭合。 Zbl 0911.46002号
阿布拉莫维奇,Y.A。;陈,Z.L。;A.W.威克斯特德。
5
1997
正紧算子线性跨度的不完全性。 Zbl 0887.47033号
陈,Z.L。;A.W.威克斯特德。
5
1997

按年份列出的引文