平成29年度 京都大学数理解析研究所共同研究(グループ型)

「数式処理の新たな発展-その最新研究と他分野との連携-」