The following pages link to New Computational Paradigms (Q5717044):
Displaying 9 items.
- Proof mining in topological dynamics (Q1049745) (← links)
- Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness (Q2238150) (← links)
- On the removal of weak compactness arguments in proof mining (Q2324564) (← links)
- An application of proof mining to nonlinear iterations (Q2453072) (← links)
- Strongly uniform bounds from semi-constructive proofs (Q2498902) (← links)
- Mining the Archive of Formal Proofs (Q3453102) (← links)
- (Q3654060) (← links)
- PROOF MINING IN <i>L</i><sup><i>p</i></sup> SPACES (Q5207569) (← links)