Błaszczyk, Piotr; Kanovei, Vladimir; Katz, Karin U.; Katz, Mikhail G.; Kudryk, Taras; Mormann, Thomas; Sherry, David Is Leibnizian calculus embeddable in first order logic? (English) Zbl 1398.03223 Found. Sci. 22, No. 4, 717-731 (2017). MSC: 03H05 03B30 PDFBibTeX XMLCite \textit{P. Błaszczyk} et al., Found. Sci. 22, No. 4, 717--731 (2017; Zbl 1398.03223) Full Text: DOI arXiv
Katz, Mikhail G.; Sherry, David Leibniz’s infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond. (English) Zbl 1303.01012 Erkenntnis 78, No. 3, 571-625 (2013). MSC: 01A50 01A45 01A55 01A60 03-03 12-03 PDFBibTeX XMLCite \textit{M. G. Katz} and \textit{D. Sherry}, Erkenntnis 78, No. 3, 571--625 (2013; Zbl 1303.01012) Full Text: DOI arXiv
Chollet, Agathe; Wallet, Guy; Fuchs, Laurent; Andres, Eric; Largeteau-Skapin, Gaëlle Foundational aspects of multiscale digitization. (English) Zbl 1262.68172 Theor. Comput. Sci. 466, 2-19 (2012). MSC: 68U05 68U10 03F60 03H05 68T15 PDFBibTeX XMLCite \textit{A. Chollet} et al., Theor. Comput. Sci. 466, 2--19 (2012; Zbl 1262.68172) Full Text: DOI
Chollet, Agathe; Wallet, Guy; Fuchs, Laurent; Largeteau-Skapin, Gaëlle; Andres, Eric Insight in discrete geometry and computational content of a discrete model of the continuum. (English) Zbl 1178.68614 Pattern Recognition 42, No. 10, 2220-2228 (2009). MSC: 68U05 03F60 03H05 PDFBibTeX XMLCite \textit{A. Chollet} et al., Pattern Recognition 42, No. 10, 2220--2228 (2009; Zbl 1178.68614) Full Text: DOI
Ferraro, Giovanni Differentials and differential coefficients in the Eulerian foundations of the calculus. (English) Zbl 1102.01014 Hist. Math. 31, No. 1, 34-61 (2004). MSC: 01A50 26-03 PDFBibTeX XMLCite \textit{G. Ferraro}, Hist. Math. 31, No. 1, 34--61 (2004; Zbl 1102.01014) Full Text: DOI
Palmgren, Erik A constructive approach to nonstandard analysis. (English) Zbl 0830.03037 Ann. Pure Appl. Logic 73, No. 3, 297-325 (1995). Reviewer: R.A.Herrmann (Annapolis) MSC: 03H05 26E35 03F65 PDFBibTeX XMLCite \textit{E. Palmgren}, Ann. Pure Appl. Logic 73, No. 3, 297--325 (1995; Zbl 0830.03037) Full Text: DOI