Finding tactics in proofs
From MaRDI portal
Cites work
- A Constructive Proof of the Brouwer Fixed-Point Theorem and Computational Results
- A fixed-point farrago
- A period-doubling cascade precedes chaos for planar maps
- A Really Simple Elementary Proof of the Uniform Boundedness Theorem
- Collected works of William P. Thurston with commentary: III. Dynamics, computer science and general interest. Edited by Benson Farb, David Gabai and Steven P. Kerckhoff
- Finding Zeroes of Maps: Homotopy Methods That are Constructive With Probability One
- Fixed point theorems and their applications
- Fixed point theory and applications
- How to Write a Proof
- scientific article; zbMATH DE number 3173849 (Why is no real title available?)
- scientific article; zbMATH DE number 3862096 (Why is no real title available?)
- scientific article; zbMATH DE number 3921326 (Why is no real title available?)
- scientific article; zbMATH DE number 46153 (Why is no real title available?)
- scientific article; zbMATH DE number 53705 (Why is no real title available?)
- scientific article; zbMATH DE number 1973375 (Why is no real title available?)
- scientific article; zbMATH DE number 7192329 (Why is no real title available?)
- scientific article; zbMATH DE number 3221041 (Why is no real title available?)
- Period doubling cascades of attractors: A prerequisite for horseshoes
- Period-doubling cascades for large perturbations of Hénon families
- Period-doubling cascades galore
- Quantitative universality for a class of nonlinear transformations
- Reshaping the metaphor of proof
- Snakes: oriented families of periodic orbits, their sources, sinks, and continuation
- Structuring Mathematical Proofs
- Sur l'itération des polynômes réels quadratiques
This page was built for publication: Finding tactics in proofs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6888565)
