Browsing by Author Zheng, Bingzhou
Showing results 1 to 2 of 2
Publication Date | Title | Author(s) |
---|---|---|
Aug-2009 | Documentation Driven Testing of Scientific Computing Software | Zheng, Bingzhou |
Apr-2014 | Formal Proof of the Fundamental Theorem of Decorated Interval Arithmetic | Zheng, Bingzhou; Zheng, Bingzhou |
Showing results 1 to 2 of 2