退出
我的积分:
中文文献批量获取
外文文献批量获取
杨世国;
安徽教育学院数学系;
直角坐标系 ; 三条 ; 体积公式 ; 刀轴 ; 平面方程; 文利; 万两 ;
机译:证明垂心四面体的内切球、4面和6棱旁切球半径坐标的算法——四维体积勾股定理的应用(公式五)
机译:取代基基本定理的简单证明,以及该定理的几种应用
机译:格雷厄姆和科拉克定理的另一个简单证明
机译:DBFW:一个简单的数据库框架,用于评估和维护自动定理证明者数据
机译:模型检查和定理证明:一个统一的框架。
机译:西格尔定理的简单证明
机译:一个简单的字符串证明“真实但不可证明”的版本 G \“奥德尔的第一个不完备性定理
机译:关于“时滞线性随机系统分离定理的一个简单证明”的评述。
机译:具有冲孔形状的六角形四面体夹心的复杂模具,使用相同的制造四面体夹心的方法以及由四面体夹心孔组成的四面体夹心的板结构,可能是由一个小孔和一个圆孔构成的时间
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:对象例如滑稽对象,例如社会学领域,磁铁放置在四面体内部,四面体的每个顶部代表一个函数的最大值,而四面体的体积点实现两个函数的值
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。