数论四道难题的证明

本书主要内容包括四大方面：(N+1)2与N2之间素数的研究，歌德巴赫猜想的研究，双生素数无穷的研究，费马猜想的研究。

最优设计的计算机证明与构造

沉默的食物 如何保障舌尖上的安全

本书详细阐述了食品安全各个方面的知识，从食品生产到安全管理，以及食品基本知识和食品安全事件等，涉及范围较广，是一本普及食品安全知识的读本。本书以食品工业化和产业化的推进为背景，着眼于人们平时常见的”另...

诉讼证明过程分析 民事诉讼真实与事实发现

天下事-中华文明的经济学证明

本书用哲学阐述大道理。

如何在电脑上听歌看影视

本书是一本面向具体应用的电脑科普丛书，它将教你如何应用电脑完成实际的工作，解决具体的问题。本书将介绍如何充分利用电脑及因特网提供的强大多媒体和通信资源来享受音视频的乐趣。内容包括：如何用普通光驱播...

时间会证明一切

本书是一部散文随笔集。作者以干净、清新和风趣的文字，书写着身边的人与人生，写出了真情实感和经过内心沉淀的真知灼见。敏锐的视角和纤细的笔触，透过对人生、对情感、对事业的领悟，反映了生活的简单与复杂，折射...

专题小课本高中数学 常用逻辑推理与证明

几何定理计算机证明

本书全面总结了中国数学家对几何定理机器证明的重要成果，内容包括欧氏几何的完善与发展、几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法等。...

汉语藏语同源字研究 语义比较法的证明