Sage Education Day 1

• The first Sage Education Day was held on December 5, 2009, with the generous cooperation of the organizers of Sage Days 18.

Topics

• Intro to using Sage for math in the classroom
• Using Sage in specific courses (multivariable calculus and group theory - tentative)

• Intro to the Lurch math proof software project

• Sage implementation in the classroom - logistics and more
• Roundtable discussions on general math software, and on math and word processing - for both, what works and what doesn't

See below for the official schedule and links to resources related to the talks (slides, worksheets, etc.).

Logistics

• Date and Location: December 5, 2009 at the Clay Mathematics Institute (Cambridge, MA), from 9:30 AM to 2:30 PM, with a lunch break from 12:30-1:30.

• Driving directions can be found at the Official Clay Mathematics Institute Visitors Page. Parking meters of the coin-operated (quarters only) and "pay and display" varieties (which accept credit cards) run 8 AM-6 PM on Saturday, and most in Harvard Square are limited to 2 hours. For off-street parking, see this map; bring receipts to Kiran for parking reimbursement.

• Public transit is an excellent alternative to driving; CMI is a 5-minute walk from the Harvard Square T station. For complete directions, see the CMI Visitors Page. (Harvard is on the Red Line; a nearby station with plenty of parking is Alewife.)

• We strongly encourage you to bring your laptop to try things out! Wifi will be available.

• Registration and light refreshments start at 9:00 AM. Lunch is on your own, but we will probably go in groups to continue the discussion.

Mailing Lists

• The list for this event is here.

• There is also a list specifically for discussing education issues in Sage.

• You may also find the general Sage support list helpful.

Organizers

• Nathan Carter (Bentley)

• Karl-Dieter Crisman (Gordon)

Registration

There are several ways to register.

• Send an email to one of the organizers (addresses available on their home pages below),
• Put your name on the list below of confirmed participants, or
• Just show up!

CMI would also like all participants to register with them. This can be done when you arrive, but it will save a bit of time to email Amanda Battese (battese@claymath.org) with your name, email address, and institutional affilation.

Confirmed Participants

• Karl-Dieter Crisman (Gordon)

• Nathan Carter (Bentley)

• Jason Grout (Drake)

• Rob Beezer (Puget Sound)

• William Stein (University of Washington)

• Kiran Kedlaya (MIT)

• Dana Ernst (Plymouth State University)

• Robert Bradshaw (University of Washington)
• Ken Levasseur (UMass Lowell)
• Peter Ash
• Desmond Sheeran
• Eric Pite
• Steve Benson (Lesley University)
• David Dorman (Middlebury College)
• Doug Kuhlmann (Phillips Academy)
• Shawn Robinson (U. Maine, Presque Isle)
• Brandy Benedict (Merrimack)
• Juliana Belding (Harvard)

• Lynne C DeSantis (Hesser College)

• Andrew McHugh (Mitchell College)

• Semra Kılıç-Bahi (Colby-Sawyer College)
• Andrew Cahoon (Colby-Sawyer College)
• Laura Hall-Seelig (Merrimack)

Official Schedule

We will mostly follow the official schedule, but it has some built-in flexibility to accommodate workshop participant interest. Here we include a little extra detail on the sessions, beyond what is available on the official website. The links here are variously to Sage worksheets, talk files, or other useful items. In addition, videos (raw footage, not encoded) of most of the talks are available here.

• 9:00am - 9:30am: Registration
• 9:30am - 9:45am: Introductions and announcements

• 9:45am - 10:30am: Using Sage in the classroom; an introduction (Karl-Dieter Crisman)

• 10:30am - 11:00am: Roundtable discussion - math software capabilities: what is in Sage, what should be in Sage (William Stein, Karl-Dieter Crisman, everyone!)
• 11:00am - 11:10am: Break

• 11:10am - 11:30am: Introduction to Lurch and Lurch Lite (Nathan Carter) (see the page for this talk on the Lurch site)

• 11:30am - 11:50am: Roundtable discussion - math and word processing: what works, what doesn't, and the state of Lurch and Sage (Jason Grout, Nathan Carter, everyone!)
• 11:50am - 12:20pm: Sage for newbies: logistics, browsers, portability, documentation, etc. (TBD)
• 12:20pm - 1:30pm: Lunch

• 1:30pm - 2:30pm: Undergraduate teaching with Sage in specific courses: tentatively multivariable calculus (Jason Grout) and group theory Beezer, Group Theory