| attractor.h [code] | Construction of a cover of an attractor |
| covboxes.h [code] | A box cover type |
| graph.h [code] | A directed graph class and some algorithms |
| maphenon.h [code] | The Henon map |
| numberpi.h [code] | Rigorous bounds for the number pi |
| opensine.h [code] | An open-interval version of the sine function |
| opensqr.h [code] | An open-interval version of the square function |
| plotcover.h [code] | Plotting a cover in a bitmap image file |
| rounding.h [code] | Rigorous rounding of arithmetic operations |
| runhenon.cpp [code] | The main computations for the Henon attractor |
| savecover.h [code] | Saving a cover to a file |
| streams.h [code] | Various output streams for the program |
1.5.3