Research area

Open mathematical software for humans and agents

The mathematical work and software work are closely linked: explicit questions motivate algorithms, implementations expose better questions, and open tools make both available to a much wider community. Sage.js is the current continuation of this thread, rebuilding the system around readable code, executable evidence, and agent collaboration.

Selected writing

Books and papers