B. E. Bridges-d, CONSTRUCTIVE ANALYSIS, 1985.
DOI : 10.1017/CBO9780511565663.003

B. D. Reeves-s, Constructive Mathematics, in Theory and Programming Practice, Centre for Discrete Mathematics and Theorical Computer Science, CDMTCS-068, p.1997

C. A. Huggett-s, M. L. , and T. K. Editors, Noncommutative Differential Geometry and the Structure of Space-Time, pp.49-80, 1998.

F. L. Largeteau-skapin, A. E. Wallet-g, and C. A. , A first look into a formal and constructive approach for discrete geometry using nonstandard analysis, Discret Geometry for Computer Imagery, pp.21-32, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00347921

L. D. Schmieden-c, Eine Erweiterung der Infinitesimalrechnung, Mathematische Zeitschrift, vol.69, issue.1, pp.1-39, 1958.
DOI : 10.1007/BF01187391

R. G. , R. J. Troesch-a, and . Urlacher-e, Equations différentielles en nombres entiers, 1987.