Owen Lynch: The Computer Algebra System of the Future

Evan Patterson: Structured and Decorated Cospans from the Viewpoint of Double Category Theory

Что такое...компьютерная алгебра?

Ben Ruijl - Developing a computer algebra system in Rust

Owen Lynch - Gatlab.jl: Symbolic computing with categories using generalized algebraic theories

NCNGT 2022 – An introduction to Teichmüller theory

What Even Is Computer Algebra?

Lecture 1: Sets, Set Operations and Mathematical Induction

Computer Algebra System Ti-Nspire CX CAS

The OSCAR Computer Algebra System | Max Horn, Claus Fieker | JuliaCon 2021

before you code, learn how computers work

HPCC 2020: Computer Algebra Systems (CAS) and Calculators (Eddie Shore)

Dear linear algebra students, This is what matrices (and matrix manipulation) really look like

Lecture 13, Week 7 (1 hr) Unit 5: Introduction to computer algebra systems.

Keynote: Gang of None? Design Patterns in Elixir - José Valim | ElixirConf EU 2024

Hadley Wickham on R vs Python

Stephen Mell: Linear Logic is a Language for Structured Data

Milano Cortina 2026 | Ilia MALININ (USA) | Men’s Single Skating – Free Skating

Стэнфорд ENGR108: Введение в прикладную линейную алгебру | 2020 | Лекция 1 — Введение

Машины Тьюринга, абстрагированные в Poly

Lisp, The Quantum Programmer's Choice - Computerphile