scientific article; zbMATH DE number 3960974

MaRDI QIDQ3730002zbMATHFDO

Authors Thomas Zeugmann

Publication date 1986

zbMATH Keywords

recursive functionssynthesis of fastest programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the power of recursive optimizers
• scientific article; zbMATH DE number 3858406
• scientific article; zbMATH DE number 3868611
• scientific article; zbMATH DE number 3960973
• scientific article; zbMATH DE number 4049027

Cited in

(8)

• scientific article; zbMATH DE number 4049027 (Why is no real title available?)
• scientific article; zbMATH DE number 3960973 (Why is no real title available?)
• scientific article; zbMATH DE number 517034 (Why is no real title available?)
• A recursive algorithm for optimizing differentiation
• Programs for cheap!
• scientific article; zbMATH DE number 3858406 (Why is no real title available?)
• On the power of recursive optimizers
• On effective procedures for speeding up algorithms

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3730002)