項目地址:
https://github.com/penrose/penrose
很多人可能都覺得數學就是枯燥乏味又難學,一堆公式難以理解還記不住,如果這時候,有個神器可以一秒將這些困難的數學公式/表達式用可視化的方式表現出來,是不是會有助於加深印象,讓學生對數學保持興趣?
近日,CMU推出了一個新系統Penrose,該系統可以將複雜的數學符號轉換為各種樣式的簡單圖表。作為一種有效地傳達複雜數學表達式和概念的可視化工具,Penrose迅速地吸引了社交媒體的關注。
研究人員表示:在數學著作中發現圖表相對較少,它們主要還是以公式和技術性語言為主,儘管高質量的可視化效果能夠更有效的傳達數學思想,但是當下能夠生成此類圖表的工具並不那麼友好,這也是為何一般數學書籍的圖表用得少的原因。
Penrose論文的第一作者CMU四年級博士生Katherine Ye連發十幾條推介紹了這項工具,並表示:雖然有很多很棒的工具可以製作圖表,但總是需要你花很長時間在圖形界面上繪製,或者花費大量時間手動調整座標等信息。
與其他可視化圖表工具不同的是,Penrose提供的不僅僅是插圖。Penrose 將數學內容與視覺表示分離開來,並使用 language-based specification 來提供該分離所需的抽象。
即便新手用户也可以通過簡單的符號輸入數學語句來創建圖表,但是Katherine Ye仍然希望用户具備一定的基礎知識,確認圖表是否達到你要的效果。
一起來看看,研發團隊在視頻 demo 中展示的多個不同領域的數學表達式呈現效果:
幾何領域:
線性代數:
函數:
該團隊以著名的數學家和物理學家羅傑·彭羅斯(Roger Penrose)命名該系統,他的名字叫彭羅斯圖(Penrose Diagram)他們希望把Penrose打造成一個自動插畫的平台。比如説給數學課本和網頁自動插圖、製作交互式圖表、創建個性化教程等等。
目前,Penrose在Github上標星3.8K,累計分支159。(Github地址:
https://github.com/penrose/penrose)