Hybrid Verification Lab

Verify math claims with numeric sampling (offline) + optional CAS confirmation (online).

OUTPUT

—

Ready.

Presets

Saved locally

Save input sets per lab. Shortcut: Ctrl+Enter (or ⌘+Enter).

Preset

Name

—

Workspace

Draft + share

Auto-saves a draft locally. Use share/export to move inputs between devices.

Checkpoints

Checkpoints are quick snapshots you can restore later.

—

Projects

Multi-lab

Collect this lab state into a named Project. Open /projects to manage and share.

Active project

Open

—

Data

CSV / TSV

Paste or upload a small table, then insert a vector/matrix into an input or send to Notebook.

Upload…

—

Shape

Column

Insert into

Run log

Lightweight provenance: input snapshot + output preview + inspector trace (if available).

Results inspector

Run a method to plot traces here.

x-axis

y-axis

Tip: still exportable — send results to Notebook for full Data Explorer (filters, multi-plots).

Hybrid workflow

Use sampling to find counterexamples quickly. When online, try CAS confirmation as a second line of defense.