搜索结果: 1-2 共查到“代数学 production”相关记录2条 . 查询时间(0.062 秒)
An improved upper bound on the Entropy Production for the Kac Master equation
Entropy Production Villani’s Conjecture
2010/12/8
In this paper we take an idea presented in recent paper by Carlen, Carvalho,Le Roux, Loss, and Villani ([3]) and push it one step forward to find an exact estimation on the entropy production. The new...
Automated Production of Traditional Proofs for Theorems in Euclidean Geometry
Machine proof automated geometry theorem proving Euclidean traditional proof area method Pythagoras di® erence constructive geometry statements
2013/9/9
We present a method which can produce traditional proofs for a class of geometry statements whose hypotheses can be described constructively and whose conclusions can be represented by polynomial equa...