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 augdept@ualberta.ca.
:: Winter-11 Daily Schedule
Begins Mon 29 Jan 2024.
[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
| 2023-24 | |||||
| Fall | AUMAT 250 Discrete Mathematics | Winter | |||
| Block | Block | ||||
| Fall | AUMAT 116 Calculus Concepts and Modelling | Winter | AUMAT 120 Linear Algebra I | ||
| Term | (2 sections) | Term | (2 sections) | ||
| AUMAT 216 Intermediate Calculus | |||||
| AUMAT 320 Numerical Linear Algebra | |||||
| 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
"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