Search

Sort & Filters

Filters

Content type
Publication type
Year
Year of Publication

39 results for "Arthur Jaffe"

39 results for "Arthur Jaffe"

Reflection Positivity and the Schur Product Theorem

Page
Jefferson Laboratory at Harvard University is where Osterwalder and Schrader discovered the “reflection positivity” property in 1972, the concept behind this “picture proof” of the Schur Product Theorem. The corresponding paper with the title Quantum...

"Mathematical Picture Language Program" Paper Wins Award

News
The paper “Mathematical Picture Language Program” by Arthur Jaffe and Zhengwei Liu, published in the Proceedings of the National Academy of Sciences, 115 (2018), 81–86. has been selected for a 2018 award from the International Consortium of Chinese...

Quantum Information 2018 at the CMSA

Event
On April 23-24, 2018, Zhengwei Liu and Arthur Jaffe from the Picture Language Project at Harvard organized a workshop on Quantum Information at the Center of Mathematical Sciences and Application, under the auspices of Shing-Tung Yau. Although this...

Picture Language 2018 at the AMSS

Event
A number of persons from the Mathematical Picture Language Project at Harvard met in Beijing as a small working group during the month June 15 to July 15, 2018. This gathering took place in collaboration with the Academy of Mathematics and Systems Science...

MURI Project Publications

Page
Title: Toward Mathematical Intelligence and Certifiable Automated Reasoning: Theoretical Understanding and Experimental Realization Proposal Number: 76553-MA-MUR Agreement Number: W911NF-20-1-0082 Publications List (Participants in Bold) Boaz Barak , Chi...

About

Page
The Mathematical Picture Language Project at Harvard University is a research collaboration among Faculty Members, Postdoctoral Researchers, Visitors, and Students. Much background work culminated with the official start of our project in September 2017...

MURI Project

Page
Starting June 1, 2020, the Mathematical Picture Language Project became a component of the Multi-University Research Initiative (MURI), Certifiable Automated Reasoning: Theoretical Understanding and Experimental Realization, sponsored by the Army Research...