Associate Professor, Mathematics
Department of Science
University of Alberta, Augustana Faculty
:: Contact
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.] |
:: Teaching
If you need a syllabus from a past course, please contact the Augustana departmental administrative support staff at augustana.administration@ualberta.ca.
:: Schedule
Begins Mon 22 Sep 2025.
[Click to enlarge.]
:: Teaching Materials
Discover Linear Algebra
An open-access, inquiry-based textbook for a two-semester course in linear algebra.
:: More info
:: Web Version
:: Source (PreTeXt) @ Github.com
Discover Linear Algebra: A first course in linear algebra
One-semester version of Discover Linear Algebra.
:: Web Version
Elementary Foundations: An introduction to topics in discrete mathematics
Textbook with a focus on developing mathematical logic skills.
Soon to be open access.
:: More info
:: Web Version
Calculus Concepts and Modelling: An introduction to the concepts of calculus
Textbook with a focus on early introduction of differential equations.
:: Web Version
:: Augustana Teaching History
| 2025–26 | |||||
| Fall | Winter | AUMAT 120 Linear Algebra I | |||
| Block | Block | ||||
| Fall | AUMAT 116 Calculus Concepts and Modelling | Winter | AUMAT 120 Linear Algebra I | ||
| Term | (2 sections) | Term | AUMAT 216 Intermediate Calculus | ||
| 2024–25 | |||||
| On sabbatical. | |||||
| 2022–23 | |||||
| Fall | AUMAT 229 Introduction to Group Theory | Winter | AUMAT 120 Linear Algebra I | ||
| Block | Block | ||||
| Fall | AUMAT 116 Calculus Concepts and Modelling | Winter | AUMAT 120 Linear Algebra I | ||
| Term | AUMAT 250 Discrete Mathematics | Term | AUMAT 220 Linear Algebra II | ||
| 2021–22 | |||||
| Fall | AUMAT 260 Topics in Geometry | Winter | AUMAT 120 Linear Algebra I | ||
| Block | Block | ||||
| Fall | AUMAT 116 Calculus Concepts and Modelling | Winter | AUMAT 120 Linear Algebra I | ||
| Term | AUMAT 250 Discrete Mathematics | Term | AUMAT 212 Intermediate Calculus II | ||
| 2020–21 | |||||
| Fall | AUMAT 250 Discrete Mathematics | Winter | AUMAT 120 Linear Algebra I | ||
| Block | Block | ||||
| Fall | AUMAT 110 Elementary Calculus I | Winter | AUMAT 120 Linear Algebra I | ||
| Term | AUMAT 229 Introduction to Group Theory | Term | AUMAT 220 Linear Algebra II | ||
| 2019–20 | |||||
| Fall | AUMAT 260 Topics in Geometry | Winter | |||
| 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 | |||
| 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 | |||
| 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 | |||||
:: Scholarship
Interests
Formal proofs; philosophy of mathematics; scholarship of teaching and learning in undergraduate mathematics; representations of p-adic groups.
Papers
"Computational p-Adics," Archive of Formal Proofs, July 2025, https://www.isa-afp.org/entries/Computational_pAdics.html. Formal proof development.
"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, https://www.isa-afp.org/entries/Buildings.html. Formal proof development.
"Representations of finite groups," Archive of Formal Proofs, August 2015, https://www.isa-afp.org/entries/Rep_Fin_Groups.html. 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