📁 LogicalFrameworks

证明助手是一种计算机程序，用户可以使用它在某种逻辑系统中构建完全形式化的数学证明。与定理证明器相反，证明助手不能自己找到证明

全部 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Randomized Algorithms in Finance

http://www.msri.org/workshops/30

👍 0 详情链接

Event Risk

http://www.msri.org/workshops/238

👍 0 详情链接

Yield Management and Dynamic Pricing

http://dimacs.rutgers.edu/Workshops/Yield/

👍 0 详情链接

Markets as Predictive Devices (Information Markets)

http://dimacs.rutgers.edu/Workshops/Markets/

👍 0 详情链接

Computational Issues in Auction Design

http://dimacs.rutgers.edu/Workshops/AuctionDesign/

👍 0 详情链接

Numerical Probabilistic Methods for High-dimensional Problems in Finance

http://www.aimath.org/ARCC/workshops/highdimfinance.html

👍 0 详情链接