|
|
|
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
|
|
Getting started with realex
|
|
Start here to learn the very basics of the realex interface to the
atlas software.
|
|
Modules in realex
|
|
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 Realex
|
Covers the basics of realex, some overlap with the Getting Started video. |
|
Theta stable induction
|
|
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.)
|
|
