退出
我的积分:
中文文献批量获取
外文文献批量获取
沈新权; 沈志荣;
浙江嘉兴市第一中学,314001;
猜想; 证明; 应用; 引申; 提出问题;
机译:有限域上组合猜想的计算机辅助证明:一个国际象棋猜想的案例研究
机译:一个计算机辅助的Barnette-Goody猜想证明:不仅富勒烯图是哈密顿的
机译:非线性微分形式的非整数部分的一个不等式猜想的证明
机译:猜想和序列的证明等于一个
机译:通过积分仿射几何证明Looijenga猜想的证明。
机译:一个二项式的威尔猜想的三值家庭猜想的证明
机译:模型检验定理证明中的失败猜想:一个案例研究
机译:Casual Pool是一个网站,包括为雇主,雇员和潜在雇员提供的服务,包括轮班可用性,轮班通知,花名册,时间表,登录轮班-注销轮班,简历,参考,许可证,证明,文件,就业机会,就业应用程序,培训和评估,电话应用程序和报告。
机译:如何将每个数学猜想结合到一个故事中
机译:使用具有计算机指令的计算机来提供证明的方法,该系统提供证明,一个或多个m腿的计算机,该计算机指令被并入以执行布置conte的方法和提供的系统conte u00e9do
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。