source:
docs /trunk /omega-test-slides @
145
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| 2d-gnuplot-settings.inc | 414 bytes | 134 | 18 years | neil.c.c.brown | Added an include file with 2-dimensional gnuplot settings |
| beamerouterthemekenttree.sty | 2.0 KB | 106 | 18 years | neil.c.c.brown | Added an initial directory plus files for slides explaining the omega test. |
| crg-group-beamer.sty | 3.7 KB | 135 | 18 years | neil.c.c.brown | Further rearranged the early slides and began changing the equality ... |
| equality-1-par.gnu | 196 bytes | 107 | 18 years | neil.c.c.brown | Fiddled with the slides and graphs; still in a very messy state |
| equality-2.gnu | 1.0 KB | 111 | 18 years | neil.c.c.brown | Added more TODO notes to the slides, and added another graph |
| equality-3.gnu | 1.2 KB | 111 | 18 years | neil.c.c.brown | Added more TODO notes to the slides, and added another graph |
| equality-incon.gnu | 387 bytes | 145 | 18 years | neil.c.c.brown | Rearranged the equality section so that the points appear to the right ... |
| equality-nosol.gnu | 298 bytes | 145 | 18 years | neil.c.c.brown | Rearranged the equality section so that the points appear to the right ... |
| gnuplot-settings.inc | 719 bytes | 110 | 18 years | neil.c.c.brown | Moved some lines into the included helper, and fixed equality-1 to ... |
| inequality-equality.gnu | 457 bytes | 119 | 18 years | neil.c.c.brown | Changed all the inequality diagrams to be alpha-blended rather than hashed |
| inequality-normal.gnu | 390 bytes | 119 | 18 years | neil.c.c.brown | Changed all the inequality diagrams to be alpha-blended rather than hashed |
| inequality-redundant.gnu | 390 bytes | 119 | 18 years | neil.c.c.brown | Changed all the inequality diagrams to be alpha-blended rather than hashed |
| inequality-scalene-points.inc | 51 bytes | 120 | 18 years | neil.c.c.brown | Added the missing data file of scalene points |
| inequality-scalene.gnu | 1.6 KB | 121 | 18 years | neil.c.c.brown | Added lots more pictures to explain the inequalities |
| inequality-tightening.gnu | 1.3 KB | 134 | 18 years | neil.c.c.brown | Added an include file with 2-dimensional gnuplot settings |
| inequality-unsolveable.gnu | 390 bytes | 119 | 18 years | neil.c.c.brown | Changed all the inequality diagrams to be alpha-blended rather than hashed |
| Kent_Comp_294_RGB.png | 16.7 KB | 106 | 18 years | neil.c.c.brown | Added an initial directory plus files for slides explaining the omega test. |
| Makefile | 683 bytes | 130 | 18 years | neil.c.c.brown | Added proofs.pdf as a Makefile target |
| Omega-Flowchart-Full.png | 436.3 KB | 129 | 18 years | neil.c.c.brown | Added various flowchart diagrams showing the algorithm (may take them ... |
| Omega-Flowchart-M1.png | 411.4 KB | 129 | 18 years | neil.c.c.brown | Added various flowchart diagrams showing the algorithm (may take them ... |
| Omega-Flowchart-M2.png | 383.3 KB | 129 | 18 years | neil.c.c.brown | Added various flowchart diagrams showing the algorithm (may take them ... |
| Omega-Flowchart-M3.png | 367.7 KB | 129 | 18 years | neil.c.c.brown | Added various flowchart diagrams showing the algorithm (may take them ... |
| Omega-Flowchart-M4.png | 316.9 KB | 129 | 18 years | neil.c.c.brown | Added various flowchart diagrams showing the algorithm (may take them ... |
| Omega-Flowchart-M5.png | 262.3 KB | 129 | 18 years | neil.c.c.brown | Added various flowchart diagrams showing the algorithm (may take them ... |
| Omega-Test-Number-Line-2.png | 120.7 KB | 116 | 18 years | neil.c.c.brown | Added another number line diagram |
| Omega-Test-Number-Line-3.png | 118.7 KB | 143 | 18 years | neil.c.c.brown | Added a number line explanation about the exhaustive search |
| Omega-Test-Number-Line.png | 77.7 KB | 115 | 18 years | neil.c.c.brown | Added all sorts of mess to the slides, and a diagram |
| omega-test.tex | 26.9 KB | 145 | 18 years | neil.c.c.brown | Rearranged the equality section so that the points appear to the right ... |
| points-1-3.inc | 40 bytes | 125 | 18 years | neil.c.c.brown | Added diagrams relating to tightening inequalities |
| proofs.tex | 12.8 KB | 128 | 18 years | neil.c.c.brown | Added a lot more proof, described how we can deal with ... |
Note:
See TracBrowser
for help on using the repository browser.