Fabert, Oliver Infinite-dimensional symplectic non-squeezing using non-standard analysis. arXiv:1501.05905 Preprint, arXiv:1501.05905 [math.SG] (2015). MSC: 53D22 70H15 03H05 × Cite Format Result Cite Full Text: arXiv OA License
Fleuriot, Jacques D.; Paulson, Lawrence C. Proving Newton’s Propositio Kepleriana using geometry and nonstandard analysis in Isabelle. (English) Zbl 0952.03004 Gao, Xiao-Shan (ed.) et al., Automated deduction in geometry. 2nd international workshop, ADG ’98, Beijing, China, August 1-3, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1669, 47-66 (1999). MSC: 03B35 70F15 01A45 03H05 70-04 26E35 68T15 × Cite Format Result Cite Review PDF
Bagarello, F. Nonstandard variational calculus with applications to classical mechanics. I: An existence criterion. (English) Zbl 0937.49010 Int. J. Theor. Phys. 38, No. 5, 1569-1592 (1999). Reviewer: R.A.Herrmann (Annapolis) MSC: 49J99 03H05 03H10 58E30 70H30 × Cite Format Result Cite Review PDF Full Text: DOI
Bagarello, F. Nonstandard variational calculus with applications to classical mechanics. II. The inverse problem and more. (English) Zbl 0937.49011 Int. J. Theor. Phys. 38, No. 5, 1593-1615 (1999). Reviewer: R.A.Herrmann (Annapolis) MSC: 49J99 03H05 03H10 58E30 70H30 49N45 × Cite Format Result Cite Review PDF Full Text: DOI
Seke, Bobo Régionalisations et van der Pol épaissi. (French) Zbl 0707.34012 Cah. Math., Oran 1988, No. 1, 13-32 (1988). Reviewer: M.-C.Anisiu MSC: 34A34 03H05 70K05 × Cite Format Result Cite Review PDF
Woźniak, Czesław On the nonstandard analysis and the interrelation between mechanics of mass-point systems and continuum mechanics. (English) Zbl 0536.73005 Mech. Teor. Stosow. 19, 511-525 (1981). Reviewer: E.W.Grafarend MSC: 74A99 74Axx 70F99 03H10 × Cite Format Result Cite Review PDF
Woźniak, Czesław Non-standard analysis in Newtonian mechanics of mass-point systems. I. (Polish. Russian, English summaries) Zbl 0523.70006 Mech. Teor. Stosow. 19, 355-374 (1981). MSC: 70F99 70Fxx 74A99 03H10 × Cite Format Result Cite Review PDF
Herrmann, Robert A. Rigorous infinitesimal modelling. (English) Zbl 0475.03039 Math. Jap. 26, 461-465 (1981). MSC: 03H10 74A99 70B99 26E35 × Cite Format Result Cite Review PDF
Wozniak, Cz. Non-standard analysis and its application to mechanics. (English) Zbl 0423.70005 Trends in applications of pure mathematics to mechanics, Vol. 2, Collect. Pap. present. Symp. Kozubnik/Poland 1977, 327-341 (1979). MSC: 70A05 03H99 × Cite Format Result Cite Review PDF
Rantala, Veikko Correspondence and non-standard models: A case study. (English) Zbl 0417.03003 Acta Philos. Fenn. 30, No. 2-4, 366-378 (1978). MSC: 03A05 03H10 70A05 83A05 × Cite Format Result Cite Review PDF