共 50 条
- [2] Unifying constructive and nonstandard analysis REUNITING THE ANTIPODES - CONSTRUCTIVE AND NONSTANDARD VIEWS OF THE CONTINUUM, 2001, 306 : 167 - 183
- [6] Investigation of Relaxation Oscillations with the Use of Constructive Nonstandard Analysis: I Differential Equations, 2004, 40 : 309 - 317
- [8] Investigation of Relaxation Oscillations with the Use of Constructive Nonstandard Analysis: II Differential Equations, 2004, 40 : 491 - 501
- [9] Constructive nonstandard representations of generalized functions INDAGATIONES MATHEMATICAE-NEW SERIES, 2000, 11 (01): : 129 - 138
- [10] A first look into a formal and constructive approach for discrete geometry using nonstandard analysis DISCRETE GEOMETRY FOR COMPUTER IMAGERY, PROCEEDINGS, 2008, 4992 : 21 - +