Skip to content
Snippets Groups Projects
Select Git revision
  • 5-running-example-3-2l-4
  • arxiv-paper
  • clean-up-git-processes
  • main default protected
  • notebook-refactor
  • paper
  • sage-symb-latex
  • test
  • thesis
  • year-3-report
  • v1
  • examined
12 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.010Aug9818Jul9875432128Jun272620171110May16Apr865126Feb22211918831Jan3029108512Nov16Oct16Sep151413758Aug7131Jul28272625242321201918141330Jun29222116151312119131May30292615141312111092128Apr2726191714121110Implement Jul08 feedbackFix build errorComplete missing minor proofsUpdate tilt.rs submodComplete one outstanding TODOrevert last commit action on bibliographyMinor tweaks on capitalisationsMinor tweak, and reference tilt.rs docsComplete adding listing for chapter 5Break lines in tilt.rs to keep them under 85 chars wideAdd a snippet for reducing problem to fixed q, beta, and rFloat listings and minor correctionsFirst pass over the final chapter of part 2Tweak final parts of chapter and other mid introIron out final corollary specialising to p2 and ppasize -> iseIron out final theorem bound of chapterAdd betaminus substitution in notebooksTweak e_{v,q} lemma/dfnIron out work up to dfn/lemma of e_{v,q}Tweak up to the main corollary with global bound for problem 2 ranksSort out section about bounds on r in problem 1Sort out recap on bounds for problem 1Sort out recap on bounds for problem 2Complete proof for radius condition giving strongest lower bound on dStart thinking about gap for 3rd condition when r<RFIX undefined originalbetaStart sorting out last 2 conditions for bounds on dReadjust bound on d from first condition (wall radius)Sort out statements and introduction leading up to bounds on dSplit fixed q lemma into two and fix introductionFIX misplaced &Complete statement of main lemma about fixing q valueComplete proof for Schmidt BoundTweak Schmidt argument diagramRemove erroneous caption placementAdd diagram for Schmidt argumentPhrase a proof in terms of the problemMake numerical conditions for rpoblem solutions slightly stricterRemove equation numbers from unreferenced ones