退出
我的积分:
中文文献批量获取
外文文献批量获取
李洪波; 程民德;
中国科学院系统所;
Clifford代数; 几何定理; 机器证明; 初值几何定理;
机译:自动几何定理证明和发现的演绎数据库方法
机译:机械几何定理证明的一种方法
机译:一种机械几何定理证明的方法
机译:Clifford代数和机械几何定理证明
机译:Clifford代数:几何和本体论统一的例子。
机译:关于初等数论的新方法导致素数定理的初等证明
机译:线几何的Clifford代数方法
机译:初等几何定理证明,
机译:初等柔术初等柔术
机译:勾股定理证明的新方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。