Pages that link to "Item:Q5195290"
From MaRDI portal
The following pages link to Formalization techniques for asymptotic reasoning in classical analysis (Q5195290):
Displaying 9 items.
- (Q4989411) (← links)
- Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis (Q5048989) (← links)
- A trustful monad for axiomatic reasoning with probability and nondeterminism (Q5152658) (← links)
- Formalization techniques for asymptotic reasoning in classical analysis (Q5195290) (← links)
- (Q5856420) (← links)
- Nine Chapters of Analytic Number Theory in Isabelle/HOL. (Q5875424) (← links)
- (Q5875426) (← links)
- Measure construction by extension in dependent type theory with application to integration (Q6050768) (← links)
- Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)