I am looking for mathematical documentaries, both technical and non-technical. They should be "interesting" in that they present either actual mathematics, mathematicians or history of mathematics. I am in charge of nourishing our departmental math library (PUCV) and I would like to add this kind of material in order to attract undergraduates toward mathematics. For this reason, I am not looking for videos of conferences or seminar talks, but rather for introductory or "wide public" material.

Here are some good examples.

"Dimensions", by Leys, Ghys & Alvarez, http://www.dimensions-math.org/ which explains actual maths and is excellent.

"Julia Robinson and Hilbert's tenth problem", https://www.vismath.eu/en/films/julia-robinson, about the life of some great mathematicians.

BBC documentary on "Fermat's last theorem" (by the way, any information about how to purchase it would be welcome, it does not seem to be possible to do it from the BBC site http://www.bbc.co.uk/iplayer/episode/b0074rxx/horizon-19951996-fermats-last-theorem. Maybe http://vimeo.com/18216532 ?).

Are there more examples? Thanks, Ricardo.