Jeremy Sylvestre, PhD, MSc, BSc (Eng)

Area of Study / Keywords

Program: Computing Science and Mathematics

---

About

Degrees
PhD, Mathematics (Toronto)
MSc, Mathematics (Toronto)
BSc (Eng), Mathematics and Engineering (Queen's)

Contact
See contact details above.

If you are a past student and need a syllabus from a past course, please contact the Augustana departmental administrative support staff at augustana.administration@ualberta.ca.

---

Research

My current research involves developing foundational libraries for the formalization of mathematics.

---

Teaching

I teach a variety of introductory 1st- and 2nd-year mathematics courses at the Augustana Campus: calculus, linear algebra, and discrete math.

AUMAT 116 - Calculus Concepts and Modelling

Foundational topic of calculus (including differentiation and integration of algebraic, trigonometric, exponential and logarithmic functions; Fundamental Theorem) with a focus on modelling and elementary differential equations. Prerequisite: Mathematics 30-1. Note: Credit may be obtained for only one of AUMAT 116 or 110.

---

AUMAT 120 - Linear Algebra I

Vector and matrix algebra, determinants, linear systems of equations, vector spaces, eigenvalues and eigenvectors, applications. Prerequisite: Mathematics 30-1.

---

AUMAT 216 - Intermediate Calculus

Further foundational topics in calculus, including: limits of sequences and functions, infinite series (including Taylor and Fourier series) and multi-variable differential calculus. Prerequisites AUMAT 110 or 116, and AUMAT 120.

---

AUMAT 250 - Discrete Mathematics

Sets, functions, elementary propositional and predicate logic, Boolean algebra, elementary graph theory, proof techniques (including induction and contradiction), and combinatorics. Prerequisites: AUMAT 110 or 116, and 120.

---

AUMAT 320 - Numerical Linear Algebra

Computational problems in linear algebra, including linear systems and least squares and eigenvalues problems, with matrix factorizations as a main tool for tackling these problems. Prerequisites: AUMAT 240 or AUSCI 250 (2023).

---

Browse more courses taught by Jeremy Sylvestre

Jeremy Sylvestre

Archive of Formal Proofs. 2025 January;

---

Isabelle Proof Assistant Library. 2019 May;

---

Jeremy Sylvestre

Archive of Formal Proofs. 2016 January;

---

Jeremy Sylvestre

Archive of Formal Proofs. 2015 January;

---

Jeremy Sylvestre

PRIMUS. 2014 March; 10.1080/10511970.2013.865691

---

View additional publications