Under construction. This area is a framework being built: most courses have no teaching material yet, and things may change or break. Private self-study. Not an official programme and not recognised by any ministry or school. No qualification, mark or document is issued, and “years 1 to 3” and “advanced” are names of study paths only.
E29 Computer algebra and symbolic computation
Years 1 to 3 pathE: Proposed extensionsplannedproposed, not in any programmeabout 120 h (planning estimate)
Planned: syllabus only, no teaching material yet. Nothing on this page can be studied; it describes what the course would cover.
In no programme. This is a proposed extension course; the owner has not approved it into a programme.
Proposed by the assistant to fill a gap in the owner's catalogue. It is in no programme until the owner approves it.
Why this course
Algebra as computation; contrasts with the numeric kernels.
Prerequisites
Concept-level units
Units follow the syllabus order, as a recommended sequence rather than a gate.
- Polynomial arithmetic
- Gröbner bases
- Factorisation algorithms
- Symbolic integration and summation
- Complexity of symbolic algorithms
- Verified results versus floating point
Assessable outcome
Implement a symbolic algorithm and prove or test its correctness.
Assessment design
- topic exercises
- mixed problem sets
- unseen proof or derivation problems
- cumulative examination
cumulative; uses spaced retrieval
Resources
Every title here is candidate, unverified unless marked verified. Titles were suggested while planning. Nobody has checked that they exist, what they cost or how they are licensed.
- Cox, Little and O'Shea · Ideals, Varieties, and Algorithms
- von zur Gathen and Gerhard · Modern Computer Algebra
Content record
- Version
- 0.0.0
- Review
- no review of any kind
- Provenance
- PROPOSED by the assistant on 30 Oct 2026 to fill gaps in the brief's catalogue; not in the owner's brief; needs the owner's approval and a curriculum reviewer
- Known issues
- Proposed course: not counted by any programme audit until the owner approves adding it to an elective pool.
- Type
- course
Bridges and laboratories
No bridge or laboratory is attached to this course yet.
You and this course
Reading your plan on this device…