Found 2 relevant results in 2.36s where lecturer="David Alexander Loeffler"
This course will cover explicit, computational methods in a selection of areas of algebra and number theory. The lectures will survey the ideas needed in order to make the relevant objects explicit enough to represent on a computer, and a selection of the important algorithms; the exercise classes will give a hands-on introduction to some of the available software.
This seminar will be an introduction to computer formalisation of mathematical proofs. The focus will be on learning to use the "Lean" proof assistant.