Associate Professor, Mathematics

Department of Science

University of Alberta, Augustana Faculty

The University of Alberta Augustana Campus

4901 – 46 Avenue

Camrose, Alberta, Canada

T4V 2R3

Office: | Faith & Life Centre AU F 2-332 |

Email: | jeremy.sylvestre@ualberta.ca |

Phone: | 780.679.1586 [Please email instead of leaving a voicemail.] |

If you need a syllabus from a past course, please contact the Augustana departmental administrative support staff at augdept@ualberta.ca.

Begins Mon 27 Jan 2020.

An open-access, inquiry-based textbook for a two-semester course in linear algebra.

:: More info
:: Web Version
:: Source (PreTeXt) @ Github.com

One-semester version of Discover Linear Algebra.

:: Web Version

Textbook with a focus on developing mathematical logic skills.
Soon to be open access.

:: More info
:: Web Version

2019-20 | |||||

Fall |
AUMAT 260 Topics in Geometry |
Winter |
None |
||

Block |
Block |
||||

Fall |
AUMAT 116 Elementary Calculus I |
Winter |
AUMAT 120 Linear Algebra I |
||

Term |
AUMAT 120 Linear Algebra I |
Term |
AUMAT 212 Intermediate Calculus II |
||

AUMAT 250 Discrete Mathematics |
|||||

2018-19 | |||||

Fall |
AUMAT 250 Discrete Mathematics |
Winter |
None |
||

Block |
Block |
||||

Fall |
AUMAT 116 Elementary Calculus I |
Winter |
AUMAT 120 Linear Algebra I |
||

Term |
AUMAT 120 Linear Algebra I |
Term |
AUMAT 220 Linear Algebra II |
||

AUMAT 229 Introduction to Group Theory |
|||||

2017-18 | |||||

Fall |
AUMAT 260 Topics in Geometry |
Winter |
None |
||

Block |
Block |
||||

Fall |
AUMAT 116 Elementary Calculus I |
Winter |
AUMAT 120 Linear Algebra I |
||

Term |
AUMAT 120 Linear Algebra I |
Term |
AUMAT 212 Intermediate Calculus II |
||

AUMAT 250 Discrete Mathematics |
|||||

2016-17 | |||||

Fall |
AUMAT 116 Elementary Calculus I |
Winter |
AUMAT 112 Elementary Calculus II |
||

AUMAT 120 Linear Algebra I |
AUMAT 120 Linear Algebra I |
||||

AUMAT 250 Discrete Mathematics |
AUMAT 220 Linear Algebra II |
||||

2015-16 | |||||

On sabbatical. | |||||

2014-15 | |||||

Fall |
AUMAT 110 Elementary Calculus I |
Winter |
AUMAT 112 Elementary Calculus II |
||

(2 sections) | AUMAT 120 Linear Algebra I |
||||

AUMAT 250 Discrete Mathematics |
AUMAT 220 Linear Algebra II |
||||

2013-14 | |||||

Fall |
AUMAT 101 Preparation for Calculus |
Winter |
AUMAT 120 Linear Algebra I |
||

AUMAT 116 Elementary Calculus I |
AUMAT 212 Intermediate Calculus II |
||||

AUMAT 250 Discrete Mathematics |
|||||

2012-13 | |||||

Fall |
AUMAT 110 Elementary Calculus I |
Winter |
AUMAT 112 Elementary Calculus II |
||

AUMAT 111 Elementary Calculus I |
AUMAT 120 Linear Algebra I |
||||

AUMAT 250 Discrete Mathematics |
AUMAT 220 Linear Algebra II |
||||

2011-12 | |||||

Fall |
AUMAT 111 Elementary Calculus I |
Winter |
AUMAT 120 Linear Algebra I |
||

(2 sections) | AUMAT 212 Intermediate Calculus II |
||||

AUMAT 250 Discrete Mathematics |
AUMAT 260 Topics in Geometry |
||||

2010-11 | |||||

Fall |
AUMAT 110 Elementary Calculus I |
Winter |
AUMAT 112 Elementary Calculus II |
||

(2 sections) | AUMAT 120 Linear Algebra I |
||||

AUMAT 250 Discrete Mathematics |
AUMAT 220 Linear Algebra II |
||||

2009-10 | |||||

Fall |
AUMAT 111 Elementary Calculus I |
Winter |
AUMAT 120 Linear Algebra I |
||

AUMAT 250 Discrete Mathematics |
AUMAT 212 Intermediate Calculus II |
||||

AUMAT 260 Topics in Geometry |
AUMAT 330 Ordinary Differential Equations |
||||

2008-09 | |||||

Fall |
AUMAT 111 Elementary Calculus I |
Winter |
AUMAT 110 Elementary Calculus I |
||

AUMAT 250 Discrete Mathematics |
AUMAT 120 Linear Algebra I |
||||

AUMAT 220 Linear Algebra II |
|||||

** Interests:** Formal proofs; philosophy of mathematics; scholarship of teaching and learning in undergraduate mathematics; representations of

*Papers*

"Formal Laurent Series," *Isabelle source distribution*, 2019. First included in Isabelle2019: Theory file.

"Formal Power Series" (with A. Chaieb and M. Eberl), *Isabelle source distribution*, 2019. Modified version first included in Isabelle2019: Theory file.

"Chamber complexes, Coxeter systems, and buildings," *Archive of Formal Proofs*, July 2016, http://isa-afp.org/entries/Buildings.shtml. Formal proof development.

"Representations of finite groups," *Archive of Formal Proofs*, August 2015, http://isa-afp.org/entries/Rep_Fin_Groups.shtml. Formal proof development.

"A problem-centered approach to canonical matrix forms," *PRIMUS: Problems, Resources, and Issues in Mathematics Undergraduate Studies*, 24:3, p. 247–256.

PDF Preprint

** Note:** This preprint is an Author's Original Manuscript of an article whose final and definitive form, the Version of Record, has been published Nov 2013 in PRIMUS as detailed above, © Taylor & Francis, available online at http://www.tandfonline.com/doi/full/10.1080/10511970.2013.865691.

"Twisted characters of depth-zero supercuspidal representations of *GL*(*n*)," PhD thesis, University of Toronto.

PDF