- 中国宇航出版社(1)
- 中国宇航出版社(1)
- 上海外语教育出版社(1)
- 上海外语教育出版社(1)
- 科学出版社(1)
- 科学出版社(1)
- 电子科技大学出版社(1)
- 电子科技大学出版社(1)
- 电子科技大学出版社(1)
- 电子科技大学出版社(1)
- 科学出版社(1)
- 科学出版社(1)
- 上海外语教育出版社(1)
- 上海外语教育出版社(1)
- 中国宇航出版社(1)
- 中国宇航出版社(1)
-
吴文俊全集 数学机械化 5
¥214.6(7.2折)定价:¥298.0本卷收录了吴文俊在数学机械化领域发表的46篇论文,内容包括:几何定理机器证明的吴方法、多项式系统符号求解的Ritt-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果,还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动学问题的自动求解、几何设计中的曲面拼接等问题中的应用...
-
(本科教材)综合教程教师用书.1
¥73.5(7.5折)定价:¥98.0来稿为我社策划教材,参考《英语类专业教学指南》和《高等学校课程思政建设指导纲要》编写,注重立德树人,供基础阶段英语专业教学使用。教材包含三篇选文,各有侧重,在打牢语言基本功的同时,让学生关注语篇、文体、话语、中西文化对比,培养学生批判性思维能力和对外沟通交流中讲述中国故事的能力。教师用书提供教学建议、练习答案、录音文字等,供教学参考...