研究発表
公開件数:4件
No. 学内分類 発表テーマ 発表会議名 発表日
1 講演会、研究集会
ユークリッド幾何の問題への数式処理システムの応用
代数, 論理, 幾何と情報科学研究集会 (ALGI26)
2015/08/31
2 講演会、研究集会
三角形に関する平面ユークリッド幾何への数式処理の応用
SLACS 2014 (記号論理と情報科学 研究集会)
2014/05/26
3 講演会、研究集会
三角形に関する平面ユークリッド幾何への数式処理の応用
SLACS 2012 (記号論理と情報科学 研究集会)
2012/09/15
4 講演会、研究集会
三角形に関する平面ユークリッド幾何への数式処理の応用
第二十三回 ALGI(代数,論理,幾何と情報科学研究集会)
2012/09/07