コンピュータ幾何

• 資料種別: 図書
• ISBN: 978-4-903342-25-2
• タイトル: コンピュータ幾何
• タイトルよみ: コンピュータ キカ
• 著者・編者: 阿原一志 著
• シリーズタイトル: 数学書房選書 ; 5
• シリーズ著者・編者: 桂利行, 栗原将人, 堤誉志雄, 深谷賢治 編集
• 著者標目: 阿原, 一志 アハラ, カズシ ( 00936708 )典拠; 桂, 利行, 1948- カツラ, トシユキ, 1948- ( 00694776 )典拠; 栗原, 将人, 1961- クリハラ, マサト, 1961- ( 00708473 )典拠; 堤, 誉志雄, 1956- ツツミ, ヨシオ, 1956- ( 00958010 )典拠
• 出版事項: 東京 : 数学書房
• 出版年月日等: 2014.10
• 出版年（W3CDTF）: 2014
• 数量: 179p
• 大きさ: 21cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: 幾何学 キカガク ( 00565738 )典拠
• NDC9版: 414 : 幾何学
• NDLC: MA91
• 対象利用者: 一般
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 2100円
• 所蔵機関: 国立国会図書館
• 請求記号: MA91-L21
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 025912740; http://id.ndl.go.jp/bib/025912740
• 全国書誌番号: 22554648
• トーハンMARC番号: 33184824
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

• 要約等: 幾何学世界をコンピュータに実装するための数学（提供元: 出版情報登録センター（JPRO））
• 著者紹介: 阿原一志 明治大学総合数理学部（提供元: 出版情報登録センター（JPRO））

目次

第1章 対話式幾何ソフトウエアの設計

1.1 対話式幾何ソフトウエア

1.2 射影幾何学と静的問題

1.3 作図決定論と動的問題

1.4 自動定理証明機能