Forcing smooth square roots and integration

DOI10.4064/FM-128-3-145-158MaRDI QIDQ3764798zbMATH OpenOpenAlexFDO

Authors Ieke Moerdijk, Ngo Van Que, G. E. Reyes

Publication date 1987

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/211637

zbMATH Keywords

integrationsynthetic differential geometryexistence of square roots

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Synthetic differential geometry (51K10)

Recommendations

• Some unit square integrals
• On the evaluation of a definite integral involving nested square root functions
• Explicit formulae for progressively computing a real root of the smooth function
• Numerical integration and discrepancy under smoothness assumption and without it
• Roots of unity and unreasonable differentiation
• Calculating the square root with arbitrary order of convergence
• Integration of smooth functions and \(\phi\)-discrepancy
• The curse of dimensionality for numerical integration of smooth functions
• scientific article; zbMATH DE number 3873752
• Choosing roots of polynomials smoothly

Cited in

(2)

• scientific article; zbMATH DE number 3842103 (Why is no real title available?)
• Three problems concerning ideals of differentiable functions

This page was built for publication: Forcing smooth square roots and integration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3764798)