On 5th October at 1pm in Maths D, Peiran Wu will talk about Lean, the theorem prover. We’ll then discuss setting up a study group to put some group theory into Lean. All welcome.
The Centre for Interdisciplinary Research in Computational Algebra (CIRCA) was established in 2000 to foster new and existing collaborative research between members of the Schools of Computer Science and of Mathematics and Statistics in the area of computational abstract algebra.
The Centre undertakes mathematical research with computer assistance, develops new techniques for computation in abstract algebra and develops and distributes software implementing these techniques. This work is supported by research grants from EPSRC, the Leverhulme Trust, the Royal Society, the British Council, the European Commission and the Royal Society of Edinburgh.
The Centre also organises conferences, seminars and training courses and plays a significant role in the international efforts to develop maintain and promote the GAP (groups, algorithms and programming) software package, a leading integrated system for computational discrete mathematics and algebra.
News and Events
There will be a CIRCA seminar on Thursday 21st September at 1pm in Theatre D of Maths.
Ian Miguel will speak on Puzznic and Colva Roney-Dougal will count the subgroups of the symmetric group.