Formalizing the Solow model in Naproche

DOI10.1007/978-3-032-07021-0_20MaRDI QIDQ6856403zbMATH OpenFDO

Authors Peter Koepke, Patrick Schäfer

Publication date 19 February 2026

Full work available at URL https://doi.org/10.1007/978-3-032-07021-0_20

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites work

• Faster, higher, stronger: E 2.3
• Formalizing Arrow's theorem
• scientific article; zbMATH DE number 1809862 (Why is no real title available?)
• scientific article; zbMATH DE number 5539366 (Why is no real title available?)
• The ForMaRE project -- formal mathematical reasoning in economics
• The Isabelle/Naproche natural language proof assistant
• The New Keynesian transmission mechanism: a heterogeneous-agent perspective

This page was built for publication: Formalizing the Solow model in \(\mathbb{N}\)aproche

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