A mathematical picture language project

MaRDI QIDQ5855428zbMATH OpenFDO

Authors Arthur Jaffe, Zhengwei Liu

Publication date 18 March 2021

Full work available at URL https://arxiv.org/abs/2006.03954

Mathematics Subject Classification ID

Computer science (68-XX) General and overarching topics; collections (00-XX)

Recommendations

• Mathematical picture language program
• Picture languages
• The visualization of mathematics: towards a mathematical exploratorium
• Graphic lambda calculus
• New directions in the foundations of mathematics (2002)

Cited in

(3)

• The User's Guide Project: Looking Back and Looking Forward
• A Mathematical Picture Language Project
• Mathematical picture language program

This page was built for publication: A mathematical picture language project

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