AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:约旦曲线定理的证明
Helge Tverberg;
机译:Jordan曲线定理的证明
机译:TVERBERG的约旦封闭曲线定理证明
机译:组合超图在Coq中形式化的Jordan曲线定理离散形式的直觉证明
机译:关于Z〜2上某些拓扑的Jordan曲线定理
机译:弱有限基定理的明确证明及其在椭圆曲线秩计算中的应用。
机译:可修正约旦曲线的柯西-古尔萨特定理
机译:离散Jordan曲线定理:Coq中使用hypermaps形式化的证明
机译:毕达哥拉斯定理证明难题
机译:信息处理理论自动证明的方法和装置
机译:防碎膜和带有防碎膜的三维弯曲玻璃
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。