Browsing by Author Wolfram Kahl, William Farmer, Spencer Smith, Emil Sekerinski
Showing results 1 to 1 of 1
Publication Date | Title | Author(s) |
---|---|---|
Apr-2014 | Formal Proof of the Fundamental Theorem of Decorated Interval Arithmetic | Zheng, Bingzhou; Zheng, Bingzhou |
Showing results 1 to 1 of 1