Computers can help ensure that mathematical proofs are correct, but translating traditional maths into a machine-readable ...

The graphic and sound art performance, which is using SMODE's media server to transform abstract maths principles into ...