Pages that link to "Item:Q499259"
From MaRDI portal
The following pages link to Effective asymptotic regularity for one-parameter nonexpansive semigroups (Q499259):
Displaying 4 items.
- On preserving the computational content of mathematical proofs: toy examples for a formalising strategy (Q2117791) (← links)
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started (Q2657827) (← links)
- A computational study of a class of recursive inequalities (Q6091634) (← links)
- On computational properties of Cauchy problems generated by accretive operators (Q6148761) (← links)
