Skip to main content

Computing with semi-algebraic sets in Sage (math)


Suitable for

MSc in Advanced Computer Science
Mathematics and Computer Science, Part C
Computer Science and Philosophy, Part C
Computer Science, Part B
Computer Science, Part C


Semi-algebraic sets are subsets of R^n specified by polynomial inequalities. The project will extend capabilities of Sage ( to deal with them, such as CADs computations or sums of squares based (i.e. semi-definite programming based) methods. There might be a possibility for participation in Google Summer of Code (GSoC) or Google Semester of Code with Sage as a GSoC organisation.


Interest in open source software, some knowledge of Python, appropriate maths background.