Building databases of mathematical objects in Sagemath (Python)
Supervisor
Suitable for
Abstract
There is an enormous amount of information on constructing various sorts of ``interesting'', in one or another way, mathematical objects, e.g. |
block designs, linear and non-linear codes, Hadamard matrices, elliptic curves, etc. There is considerable interest in having this information available in computer-ready form. However, usually the only available form is a paper describing the construction, while no computer code (and often no detailed description of a possible implementation) is provided. This provides interesting algorithmic and software engineering challenges in creating verifiable implementations; properly structured and documented code, supplemented by unit tests, has to be provided, preferably in functional programming style (although performance is important too). |
|
Sagemath project aims in part to remedy this, by implementing such constructions, see e.g. Hadamard matrices in Sagemath: http://doc.sagemath.org/html/en/reference/combinat/sage/combinat/matrices/hadamard_matrix.html and http://arxiv.org/abs/1601.00181. |
|
The project will contribute to such implementations. |
There might be a possibility for participation in Google Summer of Code (GSoC) with Sagemath as a GSoC organisation, and being partially funded by the EU project ``Open Digital Research Environment Toolkit for the Advancement of Mathematics'' |
Prerequisites: Interest in open source software, some knowledge of Python, some maths background.