A lab notebook that computes exactly.
The analysis lives in five places: algebra in Mathematica, ODEs in MATLAB, stats in a notebook, wrangling in pandas, the write-up in a doc. Grid puts exact symbolic work, numerics, and data in the same reactive cells as the narrative — and every symbolic result carries a certificate you can replay.
Monday morning, as source.
symbol x poly = A1*x^2 + 1 # exact, not floating-point-lucky slope = SYMBOLIC.D(poly, x) roots = SYMBOLIC.SOLVE(poly, x) claim = SYMBOLIC.DECIDE(x^2 >= 0) # numerics beside the algebra traj = ODE_SOLVE(f, y0, tspan)
A1 is an ordinary reactive input — edit it and the symbolic pipeline rebuilds. Assumptions gate rewrites: x/x only cancels when x ≠ 0 is actually known.
Symbolic mathematics
Canonicalize, simplify, factor, differentiate, solve exactly with certified root intervals, approximate to any precision — with a replayable certificate per step.
Symbolic mathematics →Scientific computing
ODE and PDE solvers with automatic stiffness handling, spectral linear algebra, FFTs, curve fitting, splines — reactive, in cells.
The function catalog →Reactive notebooks
The Notebook surface holds Grid code, live values, inputs, and prose in one reactive narrative — the write-up can't drift from the results.
The language surface →