Skip to main content

Browse Items (3 total)

Tags: Proof

Sort by:

Proving Dedekind's Theorem in Lean

https://davku.lnx.warwick.ac.uk/files/original/56279b5f56764cd87eca571f41c8a8d7.pdf

Presentation at undergraduate conference.

Tags: Dedekind's theorem, Mathematics, Proof

Marker-Breaker-Crossing-Game on the Triangular Grid Graph

https://davku.lnx.warwick.ac.uk/files/original/0a7166615e176224f070e1cccbc8f6a7.pdf

Tags: Game theory, Mathematics, Proof

Extending a proof of Strichartz estimates for the Schrodinger's equation to higher dimensions.

https://davku.lnx.warwick.ac.uk/files/original/e06de1873d0d0080b62da4d06a6a992c.pdf

Tags: Mathematics, Proof, Schrodinger's equation, Strichartz estimates

Output Formats

atom, dcmes-xml, json, omeka-xml, rss2