Terry Tao has mad some progress on developing a proof assistant for asymptotic analysis
#mathematics #math #AsymptoticAnalysis #ProofAssistant.
Source: buff.ly/pEuagHN
0
0
0
0
Terry Tao has mad some progress on developing a proof assistant for asymptotic analysis
#mathematics #math #AsymptoticAnalysis #ProofAssistant.
Source: buff.ly/pEuagHN
First, we apologize for missing our posting schedule yesterday. Penn State final were over last Friday, and we spent the weekend daydreaming.
Anyway, Terry Tao would like to see software developed ...
#mathematics #math #AsymptoticAnalysis #software
Source ; buff.ly/CciXn4w