Mathematical picture language program.

Jaffe, Arthur M; Liu, Zhengwei.

Afiliação

Jaffe AM; Harvard University, Cambridge, MA 02138 jaffe@g.harvard.edu zhengweiliu@fas.harvard.edu.
Liu Z; Harvard University, Cambridge, MA 02138 jaffe@g.harvard.edu zhengweiliu@fas.harvard.edu.

Proc Natl Acad Sci U S A ; 115(1): 81-86, 2018 01 02.

Article em En | MEDLINE | ID: mdl-29259114

Palavras-chave

abstraction and simulation; pictorial mathematics; picture language; picture proof; real and virtual

Texto completo: 1 Base de dados: MEDLINE Idioma: En Ano de publicação: 2018 Tipo de documento: Article

Texto completo: 1 Base de dados: MEDLINE Idioma: En Ano de publicação: 2018 Tipo de documento: Article