编订
吴文俊全集·数学机械化卷III.pdf
本卷收录了吴文俊的《数学机械化》一书。《吴文俊全集·数学机械化卷III》是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。《吴文俊全集·数学机械化卷III》试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此减轻繁琐的脑力劳动。
日汉数学词汇 : 日中数学用语集.pdf
本书共收有代数、几何、拓扑学、分析数学、数理逻辑、概率统计、规划数学和计算数学等分支学科的词汇约17,000条。正文后附有日语汉字索引和五个附录。 本书可供大专院校师生及有关专业的科技人员参考。
吴文俊全集·数学机械化I.pdf
本卷收录了吴文俊的Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solvin
英汉综合地质学词汇.pdf
本书是1957年出版的《综合地质名词》的修订本。书中除增补了有关地质、岩石、矿物、古生物以及有关学科，如物理学、地球物理学、气象学、钻探、采矿、水文及工程地质等方面的名词外，还对一些已出版的名词根据几年来读者反映，作了修订。共收词约25000条。 本书是地质工作及
巴赫初级钢琴曲集（附赠教学指导手册）.pdf
J.S.巴赫的《初级钢琴曲集》是目前在我们国内流行最广的版本，共收集了28首作品。编订者希望能给广大学习者提供对教材研究、分析、订正、注释的教学经验和见解，使教与学更为正确和便利。
中国歌剧年鉴2020.pdf
本书系当代音乐领域第一本专门介绍歌剧行业发展概况的年鉴，分“要闻”“观察”“首演”“人物”“研究”“特稿”“纪事”七个板块，既有全年综述、概览，又有重点聚焦，多角度、全方位展现了当下歌剧行业蓬勃发展的景象。
巴赫创意曲集（第2版）.pdf
收录了15首二部创意曲以及15首三部创意曲，编者在第一版的基础上精心修订了演奏指法，给出每首主题的发展方式，配备了所有曲目的音频示范，读者可扫码聆听。