Software · Archive
Instructional Videos
Archived page from the old site (2016). For current videos see Videos in the documentation.
Instructional videos on the atlas software.
Online Training Videos
Session 1, part A, February 16, 2016
Session 1, part B, February 16, 2016
Session 2, part A, March 1, 2016
Session 2, part B, March 1, 2016
Session 3, part A, March 15, 2016
Session 3, part B, March 15, 2016
Session 4, part A, March 15, 2016
Session 4, part B, March 15, 2016
Return to online-training page for information about upcoming training sessions.
Atlas Startup Options:
Atlas Startup Options: starting the software so that it finds the necessary *.at files
Changing Coordinates: how to change the coordinates Atlas uses to something more convenient
Other instructional videos will be found here as they become available.Starting with Version 0.6, January 2016, the following videos are out of date (how out of date depends on the video). In Version 0.6 what used to be called atlas is now Fokko, and what used to be called realex is now atlas. Virtually all users should now be using atlas.
Downloading and installing the software under Windows
Start here to learn the very basics of the realex interface to the atlas software.
This (long) video explains some new features of realex, including "modules" notation I(p) and J(p), translation functors, and coherent continuation.
Recorded Tutorials
Several older tutorials. These will be replaced with tutorials from the new online training. Introduction to RealexCovers the basics of realex, some overlap with the Getting Started video.
This is a fairly advanced video about some new features of realex, primarily induction from theta-stable parabolics. (At the beginning of the video the bottom line is slow to appear, but this is resolved at about 15 minutes.)