Counting as integration in feasible analysis

DOI10.1002/MALQ.200510035MaRDI QIDQ5485404zbMATH OpenOpenAlexFDO

Authors Fernando Ferreira, Gilda Ferreira

Publication date 30 August 2006

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200510035

zbMATH Keywords

integrationcountingreverse mathematicsFeasible analysis

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Integration and conditioning in numerical possibility theory
• Integration and measurability
• Publication:3197188
• Linear and Integer Programming vs Linear Integration and Counting
• Numerical integration through concavity analysis
• Computing Choquet integrals
• Combinatorial integral approximation
• Analysis of numerical measure and numerical integration based on measure
• Integral infeasibility and testing total dual integrality
• Approximate counting: a detailed analysis

Cited in

(5)

• Bounded theories for polyspace computability
• Analysis in weak systems
• The counting hierarchy in binary notation
• The Riemann integral in weak systems of analysis
• scientific article; zbMATH DE number 4110107 (Why is no real title available?)

This page was built for publication: Counting as integration in feasible analysis

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