形式化方法 文献阅读1 代码分析 Muhammad Taimoor Khan and Wolfgang Schreiner, Towards the Formal Specification and Verification of Maple Programs(2012) ↩ Read more 10 Sep 2015 - less than 1 minute read
By Evelyn Sander and James A. Yorke September 01, 2015 [Evelyn Sander is a professor of mathematics at George Mason University. Jim Yorke is a Distinguished University Research Professor of Mathematics and Physics at the University of Maryland, College Park.] Typical dynamical systems can either have simple trajectories, such as steady states... Read more 01 Sep 2015 - 26 minute read
什么是熵 数学定义 几种常见类型 热力学中的熵 信息熵 Kolmogorov复杂度 代数熵 研究课题 Read more 05 Jul 2015 - less than 1 minute read