A mathematical picture language project

MaRDI QIDQ5855428FDOQ5855428

Authors: Arthur Jaffe, Zhengwei Liu 

Publication date: 18 March 2021

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

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)

Mathematics Subject Classification ID

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

Cited In (2)

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

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)