The following pages link to (Q4222972):
Displaying 13 items.
- Computer-assisted proofs in analysis (Q1080247) (← links)
- Things that can and things that cannot be done in PRA (Q1971796) (← links)
- Proof theory and ordinal analysis (Q2276954) (← links)
- A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces (Q2363506) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- Theorem proving method and the computer science (Q2770773) (← links)
- (Q3002926) (← links)
- (Q3136460) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- (Q3654060) (← links)
- (Q3819996) (← links)
- Techniques of computable set theory with applications to proof verification (Q4884662) (← links)
- (Q5384980) (← links)