The School of Mathematics is home to several software services that are used internationally in a broad range of settings.
High performance software for linear optimization
HiGHS is high performance serial and parallel software for solving large-scale sparse linear programming (LP), mixed-integer programming (MIP) and quadratic programming (QP) models, developed in C++11, with interfaces to C, C#, FORTRAN, Julia and Python.
HiGHS is freely available under the MIT licence, and is downloaded from Github. Installing HiGHS from source code requires CMake minimum version 3.15, but no other third-party utilities. HiGHS can be used as a stand-alone executable on Windows, Linux and MacOS. There is a C++11 library which can be used within a C++ project or, via one of the interfaces, to a project written in other languages.
Your comments or specific questions on HiGHS would be greatly appreciated, so please send an email to email@example.com to get in touch with the team.
System for Teaching and Assessment using a Computer algebra Kernel
STACK (a System for Teaching and Assessment with a Computer Algebra Kernel) is contemporary online assessment software, for mathematics and related STEM disciplines.The software accepts mathematical expressions from students and automatically assesses equivalence with the correct answer; thus students benefit from feedback and marks, and staff from the statistics generated.
With a focus on university education, STACK is used by over 900 registered learning management systems (of 10,000+ students); is used at every university in Finland; at over 30 universities in Germany; and has been translated into multiple languages, enabling wide international use. The quality and impact of STACK is proved through its widespread adoption in the face of aggressively marked commercial alternatives.