搜索结果: 1-2 共查到“数理逻辑与数学基础 Exploring”相关记录2条 . 查询时间(0.15 秒)
mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library
Mizar Mathematical Library mizar-items Digital Libraries
2011/10/9
Abstract: The Mizar Mathematical Library (MML) is a rich database of formalized mathematical proofs (see this http URL). Owing to its large size (it contains more than 1100 "articles" summing to nearl...
Spectral Method for Exploring Patterns of Diblock Copolymers
Self-consistent field theory Diblock copolymer melt Initial value Phases Matsen-Schick’s method
2015/5/6
A numerical method in Fourier space is developed to solve the polymeric self-consistent field equations. The method does not require a priori sym-metric information. More significantly, periodic struc...