王者之路: 机器证明及其应用

Main
王者之路: 机器证明及其应用

王者之路: 机器证明及其应用

吴文俊, 张景中, 杨路, 侯晓荣, 刘卓军

0 / 0

Quanto Você gostou deste livro?

Qual é a qualidade do ficheiro descarregado?

Descarregue o livro para avaliar a sua qualidade

De que qualidade são os ficheiros descarregados?

Ano:

1999

Editora:

湖南科学技术出版社

Idioma:

chinese

Páginas:

221

ISBN 10:

7535728588

ISBN 13:

9787535728586

Arquivo:

PDF, 4.17 MB

IPFS:

,

chinese, 1999

Ler online

A converter para

Conversão para falhou

Você pode estar interessado em

吴文俊 — 力学在几何中的一些应用

张景中 — 面积关系帮你解题

张景中 — 从√2谈起

吴文俊 — 吴文俊文集

刘叙华，姜云飞编著 — 定理机器证明

吴文俊主编 — 中国数学史大系第1卷

吴文俊主编 — 中国数学史大系第2卷

吴文俊主编 — 中国数学史大系第3卷

吴文俊主编李迪本册主编 — 中国数学史大系第6卷西夏金元明

吴文俊主编 — 中国数学史大系第8卷清中期到清末

吴文俊主编 — 秦九韶与数书九章

张景中高小山周咸青 — 几何定理机器证明的几何不变量方法

小川雄太郎(Yutaro Ogawa)著申富饶于僡译 — 深度强化学习边做边学

方可著 — 群论及其在物理和化学中的应用

布勒斯，George S. Boolos — 可计算性与数理逻辑

Leila Schneps — Alexandre Grothendieck: A Mathematical Portrait

吴文俊 — 世界著名数学家传记

朱华伟; 钱展望 — 数学解题策略

张景中 — 几何新方法和新体系

林群 — 微积分快餐

李尚志 — 数学的神韵

谈祥柏 — 数学不了情

张景中 — 直来直去的微积分

吴文俊 — 几何定理机器证明的基本原理

张景中; 彭翕成 — 绕来绕去的向量法

郁文生 — 公理化集合论机器证明系统

欧高炎; 朱占星; 董彬; 鄂维南 — 数据科学导引 (北京大数据研究院博雅大数据学院系列教材)

张寅生 — 证明方法与理论

包子阳余继周 — 基于MATLAB的遗传算法及其在稀布阵列天线中的应用(IT工程师宝典)

高志华, 袁景凌, 贲可荣 — 离散数学(第2版)解题指导

张景中，彭翕成 — 数学哲学

张景中 — 帮你学数学

张景中 — 从数学教育到教育数学

张景中 — 数学杂谈:张景中原始献给数学爱好者的礼物

张景中 — 数学家的眼光

吴文俊 — 吴文俊论数学机械化

张景中; 李浩 — 实迭代

张景中; 熊金城 — 函数迭代与一维动力系统

杨路 — 非线性代数方程组与定理机器证明

张景中; 杨路; 张伟年 — 迭代方程与嵌入流

单墫 — 集合与对应

刘培杰 — 历届IMO试题集: 1959-2005

Frases chave

Listas de livros relacionados