A formal system of the \textit{gougu} method: a study on Li Rui's \textit{Detailed outline of mathematical procedures for the right-angled triangle}

From MaRDI portal
Publication:4913633