My interests are:
- Qualitative properties of elliptic partial differential equations;
- Computer assisted proofs (particularly in Mathematical Analysis);
- Scientific programming;
- Functional programming and type systems.
GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Chris00 - Overview
My interests are:
Pinned Loading
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support. Uh oh!
There was an error while loading. Please reload this page. |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |