Forcing smooth square roots and integration

DOI10.4064/FM-128-3-145-158zbMATH Open0628.51011OpenAlexW751475365MaRDI QIDQ3764798FDOQ3764798

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

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

zbMATH Keywords

integrationsynthetic differential geometryexistence of square roots

Mathematics Subject Classification ID

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

Cited In (2)

• Title not available (Why is that?)
• 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)