The following pages link to Literate Programming (Q3316551):
Displaying 24 items.
- A practical unification algorithm (Q751312) (← links)
- On formalisms (Q921958) (← links)
- Differential geometric computations and computer algebra (Q1368538) (← links)
- Speeding up the convergence of the Polyak's heavy ball algorithm (Q1643948) (← links)
- An approach to literate and structured formal developments (Q1911317) (← links)
- Data-driven dynamic interpolation and approximation (Q2059395) (← links)
- Data science vs. statistics: two cultures? (Q2329839) (← links)
- The natural representation of real numbers (Q2365962) (← links)
- Reproducible statistical analysis with multiple languages (Q2513357) (← links)
- Control-oriented models for SO fuel cells from the angle of V\&V: analysis, simplification possibilities, performance (Q2633228) (← links)
- Reproducible research in statistics: A review and guidelines for the<i>Biometrical Journal</i> (Q2802569) (← links)
- Comparison of design strategies for a three-arm clinical trial with time-to-event endpoint: Power, time-to-analysis, and operational aspects (Q2833466) (← links)
- Selection models with monotone weight functions in meta analysis (Q3013952) (← links)
- The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math” (Q3100213) (← links)
- (Q4499271) (← links)
- On the design of CGAL a computational geometry algorithms library (Q4789074) (← links)
- MiFuMax—a Literate MaxSAT Solver (Q5015595) (← links)
- Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages (Q5197752) (← links)
- Key Attributes of a Modern Statistical Computing Tool (Q5868213) (← links)
- Toward a FAIR Reproducible Research (Q5871026) (← links)
- Infrastructure and Tools for Teaching Computing Throughout the Statistical Curriculum (Q5882507) (← links)
- A Guide to Teaching Data Science (Q5882566) (← links)
- Path integrals formulations leading to propagator evaluation for coupled linear physics in large geometric models (Q6086739) (← links)
- Software as storytelling: a systematic literature review (Q6101308) (← links)
