The following pages link to (Q4948707):
Displaying 8 items.
- A lower bound on the variance of conductance in random resistor networks (Q1285373) (← links)
- A strong law of large numbers for iterated functions of independent random variables (Q1285377) (← links)
- Rigorous computer-assisted application of KAM theory: a modern approach (Q1683736) (← links)
- Computer-assisted estimates for Birkhoff normal forms (Q2194431) (← links)
- A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem (Q3145991) (← links)
- Calculating proofs on a computer in studies of the properties of linear mappings in finite-dimensional spaces (Q3795214) (← links)
- (Q4011815) (← links)
- A random hierarchical lattice: the series-parallel graph and its properties (Q4662240) (← links)