Calculus
Datasets
All datasets matching “Calculus”Phase-Calculus-Research-Corpus
Phase Calculus Research Corpus
The Phase Calculus Research Corpus is the collected working archive of the Phase Calculus research program: papers, mathematical derivations, formal proofs, executable experiments, native runtimes, computational notebooks, validation packages, and the related Cortex, Xi, and VDM research in which the calculus has been developed and tested.
Rather than presenting only finished papers, the corpus preserves the research object around the theory. A… See the full description on the dataset page: https://huggingface.co/datasets/jlietz93/Phase-Calculus-Research-Corpus.calculus-datasetsymbolic-calculus-training-pool
Symbolic calculus training pool
Single variable calculus exercises with closed form answers: derivatives of composite expressions,
indefinite and definite integrals, limits of indeterminate forms, and coefficients of Maclaurin
series, with some multivariable operators in one of the sources. A set generated for this pool and
two public datasets read at the pinned revisions named below, laid out twice. Train on either
layer or on both.
pool.jsonl
Every source… See the full description on the dataset page: https://huggingface.co/datasets/Emulated-Inc/symbolic-calculus-training-pool.euler-weight-transport-calculus
Euler-Weight Transport Calculus for Polynomial Differential Operators
Relation up front: this dataset is a public-safe algebra release from a celestial holography atlas audit lineage: Celestial Holography Tokenprint Atlas R164 -> R174 Euler-weight transport calculus.
The published claim here is not a proof of celestial holography. It is the narrower algebra object that came out of that lineage and passed the public-surface gate: a transport calculus for polynomial differential… See the full description on the dataset page: https://huggingface.co/datasets/cjc0013/euler-weight-transport-calculus.Aida-Calculus-Math-Handwriting
Aida Calculus Math Handwriting Recognition Dataset (Downsampled Image-to-LaTeX Version)
Synthetic handwritten calculus math expressions with downsampled images for LaTeX OCR and handwriting recognition tasks.
Dataset Summary
This is a processed version of the original Aida Calculus Math Handwriting Recognition Dataset, tailored specifically for image-to-LaTeX modeling. The dataset comprises synthetic handwritten calculus expressions, with each image annotated by a ground… See the full description on the dataset page: https://huggingface.co/datasets/deepcopy/Aida-Calculus-Math-Handwriting.dataset-CoT-Advanced-Calculus-268