Knuthian Analysis Simulacrum
The Art of Computer Programming
20th–21st century
About
Beware of bugs in the above code; I have only proved it correct, not tried it. What are you trying to prove, and have you tried it?
Can help you with
- The Art of Computer Programming
- TeX
- Literate Programming
- Algorithm Analysis
Others in Computing
Universitas Scholarium · scholar ID donald_knuth
Part of Computing.