Literate Programming
From MaRDI portal
Recommendations
Cited in
(42)- Differential geometric computations and computer algebra
- Speeding up the convergence of the Polyak's heavy ball algorithm
- An approach to literate and structured formal developments
- Data-driven dynamic interpolation and approximation
- Data science vs. statistics: two cultures?
- The natural representation of real numbers
- Documenting software systems using types
- Reproducible statistical analysis with multiple languages
- Control-oriented models for SO fuel cells from the angle of V\&V: analysis, simplification possibilities, performance
- scientific article; zbMATH DE number 1696873 (Why is no real title available?)
- Reproducible research in statistics: a review and guidelines for the Biometrical Journal
- Comparison of design strategies for a three-arm clinical trial with time-to-event endpoint: power, time-to-analysis, and operational aspects
- Selection models with monotone weight functions in meta analysis
- The teaching tool CalcCheck: a proof-checker for Gries and Schneider's ``Logical approach to discrete math
- The use of ghost variables and virtual programming in the documentation and verification of programs
- The ML approach to the readable all-purpose language
- Experiences of 'Literate Programming' using cweb (a variant of Knuth's WEB)
- scientific article; zbMATH DE number 3978451 (Why is no real title available?)
- scientific article; zbMATH DE number 3986608 (Why is no real title available?)
- The errors of tex
- Dynamic tabbing for automatic indentation with the layout rule
- scientific article; zbMATH DE number 1955930 (Why is no real title available?)
- scientific article; zbMATH DE number 1497843 (Why is no real title available?)
- On the design of CGAL a computational geometry algorithms library
- MiFuMax -- a literate MaxSAT solver. System description
- Using SWISH to realize interactive web-based tutorials for logic-based languages
- Literate programming
- Key Attributes of a Modern Statistical Computing Tool
- Toward a FAIR Reproducible Research
- Infrastructure and Tools for Teaching Computing Throughout the Statistical Curriculum
- A Guide to Teaching Data Science
- The emperor's old clothes
- Path integrals formulations leading to propagator evaluation for coupled linear physics in large geometric models
- Design Principles for Data Analysis
- Software as storytelling: a systematic literature review
- Network rewriting utility description
- R markdown
- Software portability for computer algebra
- JutulDarcy.jl -- a fully differentiable high-performance reservoir simulator based on automatic differentiation
- POP, a broad-spectrum programming language, 1967--2002
- A practical unification algorithm
- On formalisms
This page was built for publication: Literate Programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3316551)
