作用素環における非可換不等式の数式処理を用いた研究

  • 久保, 文夫 (研究代表者)
  • 幸山, 直人 (研究分担者)
  • 水野, 透 (研究分担者)
  • 鈴木, 正昭 (研究分担者)
  • 風巻, 紀彦 (研究分担者)
  • 吉田, 範夫 (研究分担者)

プロジェクトの詳細

研究概要

平面三角法が平面三角形の九点円定理等に見られるような微細な構造を支えているのに対応して今後,量子三角法が量子三角形の微細な構造を発見・証明する事が予想され,微妙な量子不等式の発見へ繋がることが期待される.
ステータス終了
有効開始/終了日1997/01/011998/12/31

資金調達

  • Japan Society for the Promotion of Science: ¥3,100,000

キーワード

  • 作用素
  • 非可換性
  • 不等式
  • 数式処理
  • 量子三角形
  • 量子三角法
  • 非可換不等式
  • Webページ
  • cgiシステム
  • 自動投稿システム
  • Operator Trivia
  • operator
  • non-commutativity
  • inequality
  • computer algebra
  • quantum triangle
  • quantum trigonometry