Counting as integration in feasible analysis

DOI10.1002/MALQ.200510035zbMATH Open1095.03066OpenAlexW2135427238MaRDI QIDQ5485404FDOQ5485404

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

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

zbMATH Keywords

integrationcountingreverse mathematicsFeasible analysis

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

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

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)