View Proposal

Proposer
Dash Swaraj
Title
Improving usability of the π-base project (a database of topological spaces and theorems)
Goal
To visualise the transitive closure of all implications that can lead to a certain property
Description
π-base is an extensive database of topological spaces and theorems. It is of use to mathematicians looking to find: 1. examples of topological spaces satisfying certain properties, 2. theorems that can help them deduce other properties of their spaces, and 3. counter-examples to conjectures. Currently it lists theorems such as "if your space has property A then it has property B", "if your space has property ¬C & D then it has property B", etc. It would be nice to add new functionality to this website so that a user can list a property they want to prove and it can give them a tree of all the sequences of theorems they may need in order to prove it. This would be a useful project for someone interested in typescript, web programming, and someone wanting to contribute to an open source project.
Resources
Background
Url
External Link
Difficulty Level
Moderate
Ethical Approval
None
Number Of Students
1
Supervisor
Swaraj Dash
Keywords
Degrees
Bachelor of Science in Computer Science
Bachelor of Science in Computer Systems
Back to List