Close menu
  • Home
  • Search
  • PROOF MINING AND HIGH-LEVEL PROOF THEORETIC REASONING: A CASE STUDY ON GREEDY APPROXIMATION SCHEMES
  • https://doi.org/10.1017/bsl.2025.10132Copy DOI Icon

PROOF MINING AND HIGH-LEVEL PROOF THEORETIC REASONING: A CASE STUDY ON GREEDY APPROXIMATION SCHEMES

Show More
aduio-icon
Listen Star icon
aduio-icon
Listen Star icon
  • Abstract
  • Literature Map
  • Similar Papers
Abstract
Translate article icon Translate Article Star icon
Take notes icon Take Notes

PROOF MINING AND HIGH-LEVEL PROOF THEORETIC REASONING: A CASE STUDY ON GREEDY APPROXIMATION SCHEMES

Save Icon
Up Arrow
Open/Close
  • Ask R Discovery Star icon
  • Chat PDF Star icon

AI summaries and top papers from 250M+ research sources.

Copyright 2026 Cactus Communications. All rights reserved.

Privacy PolicyCookies PolicyTerms of UseCareers