Cited By
View all- Edalat A(2021)Smooth Approximation of Lipschitz Maps and Their SubgradientsJournal of the ACM10.1145/348180569:1(1-32)Online publication date: 22-Dec-2021
- Geuvers HNiqui MSpitters BWiedijk F(2007)Constructive analysis, types and exact real numbersMathematical Structures in Computer Science10.1017/S096012950600583417:1(3-36)Online publication date: 1-Feb-2007
- Ménissier-Morain V(2005)Arbitrary precision real arithmetic: design and algorithmsThe Journal of Logic and Algebraic Programming10.1016/j.jlap.2004.07.00364:1(13-39)Online publication date: Jul-2005
- Show More Cited By