はじめに 輪講で『A=B』という超幾何級数の等式自動証明についての本を読みました。タイトルが簡素なとこが好き。 The Book "A=B" pdfが著者のページからダウンロードできる。こういうのいいよね。 超幾何級数の等式自動導出とは 超幾何級数とは、 という形…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。