السنة الأولى من الدراسات العلياComputationمُخطَّط له
Computational reproducibility
Making computational mathematics checkable by others: version control, pinned environments, tests, notebooks, random seeds and data provenance, and reporting results honestly as exact, numerical, statistical or experimental evidence.
math.comp.computational-reproducibility
لم يُكتب درس هذا الموضوع بعد. المخطط أدناه جزء من خريطة المنهج ولم تجرِ مراجعته.
يعتمد على
عدد المتطلبات السابقة الإلزامية (حتى الأساس): 40
ستتعلّم
- Package a computation with pinned dependencies, tests and a single command that reproduces its results.
- Classify a computational claim as exact, numerical, statistical or experimental, and state its limitations.
- Archive code and data with persistent identifiers, and cite software properly.
تعريف
- A computation is reproducible if others can obtain the same results from the same code, data and environment.
- A pinned environment fixes the exact versions of all software dependencies.
- Exact computation (integer or symbolic arithmetic) differs from floating-point approximation, whose results need error bounds to be meaningful.
مبرهنة
- Floating-point results can differ between hardware and library versions, so tolerances must be stated.
- A computer-assisted proof depends on the correctness of its code; formal verification or independent reimplementation strengthens the claim.
مفاهيم خاطئة شائعة
- Thinking a notebook that ran once is reproducible.
- Reporting agreement to many digits as if it were proof.
اكتشافات اختيارية
- Formalising published mathematics Formal verification is the strongest form of reproducibility for proofs, including computer-assisted ones.
- ← Statistical inference