Modern infinitesimals as a tool to match intuitive and formal reasoning in analysis
scientific article; zbMATH DE number 1985803