幾何實現（geometric realization）是1993年公布的數學名詞，出自《數學名詞》第一版。
基本介紹
- 中文名：幾何實現
- 外文名：geometric realization
- 所屬學科：數學
- 公布時間：1993年
公布時間,出處,
幾何實現
相關詞條
- 幾何實現
幾何實現（geometric realization）是1993年公布的數學名詞，出自《數學名詞》第一版。公布時間1993年，經全國科學技術名詞審定委員會審定發布。出處《數學名詞》第一版。1...
- 計算幾何算法與實現(Visual C++版)
《計算幾何算法與實現（Visual C++版）》是2017年8月電子工業出版社出版的圖書，作者是孔令德。內容簡介 本書系統介紹Bezier曲線曲面、B樣條曲線曲面和NURBS曲線曲面的理論與算法。第1章介紹曲線曲面的基本概念及表示形式；第2章介紹二維...
- Lusztig 對稱子的幾何和範疇實現以及相關問題研究
範疇化是 Khovanov-Lauda 和 Rouquire 研究典範基時引入的重要工具, 他們利用一個代數的投射模範疇實現了量子群的正部分. 本項目首先給出了量子群正部分上 Lusztig 對稱子的幾何實現. 我們利用 Lusztig 給出的 BGP 反射函子的拓撲解...
- 幾何定理機器證明
從理論角度看，幾何定理的機器證明要經歷公理化、代數化與坐標化、機械化等步驟，才能編製程序並在計算機上實現。可用機器證明的幾何定理（主要是初等幾何的定理）有三種不同類型，與之對應則有三種不同的機器證明方法。每一類型定理的機器...
- 非歐幾里得幾何
在這種幾何里，三角形的內角和大於兩直角。人們把這種幾何稱為橢圓幾何。直到1868年，義大利數學家貝爾特拉米在他出版的《非歐幾何解釋的嘗試》中，證明了非歐平面幾何可以局部地在歐氏空間中實現。1871年，德國數學家克萊因認識到從射影...
- 黎曼幾何模型
由於在球面K上，任何兩個大圓必相交於兩個點，而這兩個點恰好是對徑點，把它看成一個點，所以說黎氏平面上任何兩條直線必相交於一個點，這樣就實現了黎氏平行公理。另一方面，大圓上任一點，可沿大圓弧任意移動，但大圓的長度是...
- 幾何公理系統
幾何公理系統的解釋(interpretation of geometric axiomatic systems)亦稱幾何公理系統的實現或模型，是幾何公理化方法的重要課題。給定一個公理系統∑，為了驗證該公理系統的協調性(無矛盾性)，人們往往取現實中存在的一組具體事物M，規定公理...
- 計算幾何——算法與套用(第2版)
為了實現一個幾何算法，若干基本的數據類型（點、直線和多邊形等）以及對其實施操作的一些基本例程都是必需的.實現這些基本例程並使之具有穩健性，絕非易事，為此需要投入大量的時間.自己動手這樣做一次不無裨益，然而如果能夠找到一個提供...
- 坐標幾何
在坐標幾何創立以前，幾何與代數是彼此獨立的兩個分支。坐標幾何的建立第一次真正實現了幾何方法與代數方法的結合，使形與數統一起來，這是數學發展史上的一次重大突破。作為變數數學發展的第一個決定性步驟，坐標幾何的建立對於微積分的...
- 幾何學(數學概念)
為了完成這一重任，歐幾里德不辭辛苦，長途跋涉，從愛琴海邊的雅典古城，來到尼羅河流域的埃及新埠——亞歷山大城，為的就是在這座新興的，但文化蘊藏豐富的異域城市實現自己的初衷。在此地的無數個日日夜夜裡，他一邊收集以往的數學專著...
- 初等幾何學
從而，提高與幾何問題有關的運算、推理、論證等能力。通過對各種公理系統的學習，可以實現全面地理解和掌握初等幾何的思想、方法和系統知識以及各部分知識之間的內在聯繫。學習中通過理論聯繫實際，特別是重要理論在與實例結合起來學習，才能...
- 二維幾何構型
所給幾何圖形為A和B，那么幾何構造運算主要有以下幾種：1）C=A∪B或C=A+B,C是A和B的“並”集，該操作實現了兩個圖形的“融合”。2）C=A∩B或C=A×B，即“交”操作，其結果是僅保留了兩個圖形的公共部分。3）C=A-B，...
- 構造立體幾何法
採用CSG法可以方便地實現對實體的局部修改。例如在物體上倒角、倒圓等。CSG法的優點 方法簡潔，生成速度快，處理方便，無冗餘信息，而且能夠詳細地記錄構成實體的原始特徵參數，甚至在必要時可修改體素參數或附加體素進行重新拼合。CSG法的...
- 幾何造型系統
實體造型理論為實現產品由設計到生產的環節採用同一數據信息提供了技術上的可行性，大大地促進了CAD產業的發展。實體造型用於構造具有封閉空間、稱為實體的幾何形體。它在曲面造型的基礎上，增加了實體存在於表面哪一側的定義，增加了給定點...
- 計算幾何:算法設計與分析(第3版)
（2） 對於處特殊位置的幾何體（比如多點共線），只要先加以判定，然後再處理。一般說來，比較容易解決。故本書多數Z算法的描述中，均假設幾何體處一般位置。此外，對於某些類似情況及實現某些步驟的計算技巧亦省略敘述。故讀者使用這些...
- 分形(幾何學術語)
疊代函式系統：這些形狀一般可以用簡單的幾何“替換”來實現。例如：康托集合、Koch雪花、謝爾賓斯基三角形、Peano曲線等等。吸引子：點在疊代的作用下得到的結構。一般可以用微分方程確立。例如：Lorenz吸引子。套用 科學與藝術的美妙結合——...
- 幾何造型
實體造型理論為實現產品由設計到生產的環節採用同一數據信息提供了技術上的可行性，大大地促進了CAD產業的發展。實體造型用於構造具有封閉空間、稱為實體的幾何形體。它在曲面造型的基礎上，增加了實體存在於表面哪一側的定義，增加了給定點...
- 大規模幾何建模和自適應笛卡爾格線生成並行算法研究
基於CAD建模的JEMS-FDTD並行程式在天河二號計算機上的19萬多個處理器核上實現了257億格線規模的模擬計算。 這些方法和技術的研究，著眼於實際套用瓶頸問題的解決，在促進具有複雜幾何的實際套用大規模數值模擬上具有重要意義。
- 微分幾何學
此外，希爾伯特還發現，雙曲平面（二維的雙曲幾何）不能在三維歐氏空間中完整地實現，儘管它在三維歐氏空間中局部地實現對於雙曲幾何（即羅巴切夫斯基幾何）的被承認起了重大的作用。曲面和曲線的整體性質的研究激起了人們對整體微分幾何的...
- 羅巴切夫斯基幾何
1868年，義大利數學家貝特拉米發表了一篇著名論文《非歐幾何解釋的嘗試》，證明非歐幾何可以在歐氏空間的曲面上實現。這就是說，非歐幾何命題可以“翻譯”成相應的歐氏幾何命題，如果歐氏幾何沒有矛盾，非歐幾何也就自然沒有矛盾。直到這時...
- GeoGebra
GeoGebra 是一個結合「幾何」、「代數」與「微積分」的動態數學軟體，它是由美國佛羅里達州亞特蘭大學的數學教授Markus Hohenwarter所設計的。 一方面來說，GeoGebra是一個動態的幾何軟體。您可以在上面畫點、向量、線段、直線、多邊形、...
- 勒內·笛卡爾
在《幾何學》（是《方法論》中的一部分）卷一中，他用平面上的一點到兩條固定直線的距離來確定點的距離，用坐標來描述空間上的點。他進而創立了解析幾何學，表明了幾何問題不僅可以歸結成為代數形式，而且可以通過代數變換來實現發現幾何...
- 拓撲(數學術語)
比如在普通空間無法實現的手套易位問題：人左右兩手的手套雖然極為相像，但卻有著本質的不同。我們不可能把左手的手套貼切地戴到右手上去；也不能把右手的手套貼切地戴到左手上來。無論你怎么扭來轉去，左手套永遠是左手套，右手套也...
- 蝴蝶定理
它與②’完全一樣。這裡利用兩式同時變形的方法可以較容易實現目的，有分析、有綜合，有思維，有運算。思路的選擇有賴於對式子特徵的觀察聯想。縱觀這道題的題目特徵及解答過程，我們看到了用代數方程方法處理幾何問題的作用與威力。3.在...
