徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
下载
比浏览器更快的访问!
 

Maxima

指数 Maxima

Maxima是一种用LISP编写的计算机代数系统(Computer Algebra System),用于公式推导和符号计算,它是一套自由软件,在GNU通用公共许可证下發行。它由麻省理工学院在美国能源部的支持下于60年代末创造的Macsyma演变而来。Macsyma後來慢慢走上商業化的道路,自1982年开始,Bill Schelter教授默默地维护基于能源部获得的代碼的Macsyma,他把這個軟體叫做Maxima,開放源码。因為版權的問題,Maxima一直没有公開發行,--有少數人知道有這個軟體的存在。1998年,Maxima終於得到公開發行的許可,這已是Schelter教授努力了16年之後的事。Schelter教授在2001年去世,不過已經正式成為合法開放源碼軟體,因此陸續有支持開放源碼的程式設計師,學者投入Maxima的開發工作。 Maxima的前身Macsyma在當時是非常創新的軟體。現在流行的商業计算机代数系统軟體Maple及Mathematica,都是受到Macsyma的啟發而設計出來的。.

15 关系: Common Lisp計算機代數系統跨平台麻省理工学院自由软件GNU OctaveGNU TeXmacsGNU通用公共许可证LISPMapleMathematicaMATLABMaximaSageScilab

Common Lisp

Common Lisp,縮寫為CL(不是組合邏輯的縮寫)是Lisp編程語言的一種方言,由ANSI INCITS 226-1994(R2004)(前身為ANSI X3.226-1994(R1999)),所定義的語言規範標準。Common Lisp HyperSpec是源自於ANSI Common Lisp標準的網頁超連結版本。 CL語言是為標準化和改良Maclisp而開發的後繼者。到20世紀80年代初,幾個工作群組已經在設計MacLisp各種後繼者,例如:Lisp Machine Lisp(又名 ZetaLisp),Spice Lisp,NIL和S-1 Lisp。CL是為了標準化和擴展此前眾多的MacLisp分支而開發,它本身並非具體的實作,而是對語言設立標準的規範。有數個實作符合Common Lisp規範,其中包括自由和開源軟件,以及商業化產品。CL支援了結構化、函數式和物件導向編程等範式。相对于各种嵌入在特定产品中的语言,如Emacs Lisp和AutoLISP,Common Lisp是一種用途廣泛的编程语言。不同於很多早期Lisp,Common Lisp如同Scheme,其中的變量是預設為詞法作用域的。 身為一種動態編程語言,它有助於進化和增量的軟件開發,並將其迭代編譯成高效的執行程序。這種增量開發通常是互動持續地改善,而不需中斷執行中的應用程序。它還支援在後期的分析和優化階段添加可選的型別註記與轉型,使編譯器產生更有效率的代碼。例如在硬體和實作的支援範圍內,fixnum能保存一個未封裝整數,允許比大整數或任意精度類型更高效率的運算。同樣地,在每個模組或函數的基礎上可聲明優化,指示編譯器要編譯成哪一類型的安全級別。 CL包含了支援多分派和方法組合的物件系統,縮寫為CLOS,它通常以元物件(Metaobject)協定來實現。 CL藉由標準功能進行擴展,例如Lisp宏(编译时期程序自身完成的代码重排(compile-time code rearrangement accomplished by the program itself))和阅读器宏(赋予用户自定义的語法以扩展具特殊意义的符号(extension of syntax to give special meaning to characters reserved for users for this purpose))。 CL為Maclisp和约翰·麦卡锡的原創Lisp提供了一些向後兼容性。這允許較舊的Lisp軟件移植到Common Lisp之上。.

新!!: Maxima和Common Lisp · 查看更多 »

計算機代數系統

計算機代數系統(computer algebra system,縮寫作:CAS)是進行符號運算的軟件。這種系統的要件是數學表示式的符號運算。.

新!!: Maxima和計算機代數系統 · 查看更多 »

跨平台

跨平台泛指编程语言、软件或硬件设备可以在多种作業系統或不同硬體架構的電腦上運作。.

新!!: Maxima和跨平台 · 查看更多 »

麻省理工学院

麻省理工學院(Massachusetts Institute of Technology,縮寫為MIT)是位於美國麻薩諸塞州劍橋市的私立研究型大學。成立於1861年,當時目的是為了響應。學校採用了辦學,早期著力於應用科學與工程學的實驗教學。麻省理工的研究人員在二戰及冷戰期間,致力開發電腦、雷達及慣性導航系統技術;戰後的防禦性科技研究使學校得以進一步發展,教職員人數及校園面積在的帶領下有所上升。大學於1916年遷往現在位於查爾斯河北岸的校址,沿岸伸延逾,佔地。 擁有6間學術學院、32個學系部門的麻省理工學院常獲納入全球最佳學府之列。學校一直聞名於物理科學與工程學的教研,但在近代亦大力發展諸如生命科學、經濟學、管理學、語言學等其他學術範疇。別名「工程師」的麻省理工體育校隊合計31支,涵蓋不同項目,學生因此可參與不同類型的跨校體育聯賽。 ,著名麻省理工師生、校友或研究人員包括了91位諾貝爾獎得主、52位國家科學獎章獲獎者、45位羅德學者、38名麥克阿瑟獎得主、6名菲爾茲獎獲獎者、25位图灵奖得主。此校同時具很強的創業文化,由其校友所創辦的公司利潤總值相當於全球第十一大經濟體。.

新!!: Maxima和麻省理工学院 · 查看更多 »

自由软件

自由軟體(free software),根據自由軟體基金會对其的定義,是一类可以不受限制地自由使用、複製、研究、修改和分發的,尊重使用者自由的軟體。這方面的不受限制正是自由軟體最重要的本質,與自由軟體相對的是专有软件(proprietary software),或被稱為私有軟體、封閉軟體(其定義與是否收取費用無關──自由軟體不一定是免費軟體)。自由軟體受到選定的「自由軟體授權協議」保護而發佈(或是放置在公有領域),其發布以原始碼為主,二進制檔案可有可無。自由軟體許可證的類型主要有GPL许可证和BSD许可证兩種。.

新!!: Maxima和自由软件 · 查看更多 »

GNU Octave

Octave是一個旨在提供與Matlab語法相容的開放源碼科學計算及數值分析的工具;它同時也是GNU計畫成員之一。.

新!!: Maxima和GNU Octave · 查看更多 »

GNU TeXmacs

GNU TeXmacs 是一个自由的科学文本编辑器和 GNU 项目的排版组件。它吸收了 TeX 和 Emacs 的特点,尽管未使用这两者的代码。TeXmacs 使用 TeX 字体。它由 Joris van der Hoeven 开发和维护。该程序能够以所见即所得的用户界面创建结构化文档。用户可以自行创建新的文档样式。编辑器采用高质量的排版算法和 TeX 字体用于专业出版。.

新!!: Maxima和GNU TeXmacs · 查看更多 »

GNU通用公共许可证

GNU通用公共授權條款(GNU General Public License,简称 GNU GPL、GPL)是廣泛使用的免費軟件許可證,可以保證終端用戶得自由運行,學習,共享和修改軟件。許可證最初由GNU項目的自由軟件基金會 (FSF)的理查德·斯托曼(Richard Matthew Stallman)撰寫,並授予計算機程序的收件人自由軟件定義的權利。 GPL是一個Copyleft許可證,這意味著衍生作品只能以相同的許可條款分發。 這與許可免費軟件許可證有所區別 ,其中BSD許可證和MIT許可證是廣泛使用的示例。 GPL是第一個普遍使用的Copyleft許可證。 歷史上,GPL許可證系列一直是免費和開源軟件領域最受歡迎的軟件許可之一。 根據GPL許可的優異自由軟件程序的例子有Linux內核和GNU編譯器集合 (GCC)。 David A. Wheeler認為,GPL提供的Copyleft對於基於Linux的系統的成功至關重要,給予向內核貢獻的程序員保證他們的工作將有益於整個世界並保持自由,而不至於被不提供回饋給社群的不肖軟件公司所剝削。 2007年,發布了第三版許可證(GNU GPLv3),以解決在長期使用期間發現的第二版(GNU GPLv2)所發生的一些困擾。 為了使許可證保持最新狀態,GPL許可證包含一個可選的“並延伸到未來版本”條款,允許用戶在FSF更新的原始條款或新版本之間進行選擇。 有些開發人員在軟件授權使用時,選擇省略它; 例如,Linux內核已經在GPLv2下獲得許可,就不需包括“並延伸到未來版本”的聲明。 GPL授予程序接受人以下權利,或稱“自由”,或稱“copyleft”:.

新!!: Maxima和GNU通用公共许可证 · 查看更多 »

LISP

LISP是具有悠久歷史的計算機編程語言家族,有獨特和完全括號的前綴符號表示法。起源於西元1958年,是現今第二悠久而仍廣泛使用的高階編程語言。只有FORTRAN編程語言比它更早一年。LISP編程語族已經演變出許多種方言。現代最著名的通用編程語種是Common Lisp和Scheme。 LISP最初創建時受到阿隆佐·邱奇的lambda演算的影響,用來作為計算機程序實用的數學表達。因為是早期的高階編程語言之一,它很快成為人工智能研究中最受歡迎的編程語言。在計算機科學領域,LISP開創了許多先驅概念,包括:.

新!!: Maxima和LISP · 查看更多 »

Maple

Maple是一个通用型的商用计算机代数系統。Maple起源于1988年,由加拿大安大略滑铁卢的一家公司,Waterloo Maple Inc.(亦称Maplesoft枫软)进行开发和商业销售。最新版是Maple 2018。它的主要竞争者是Mathematica。 目前共有五個版本:Personal(個人版),Professional(專業版),Academic(學術版),Government(政府版)和Student(學生版)。 2009年,枫软被日本软件商Cybernet Systems收购。.

新!!: Maxima和Maple · 查看更多 »

Mathematica

#重定向 Wolfram Mathematica.

新!!: Maxima和Mathematica · 查看更多 »

MATLAB

MATLAB(矩阵实验室)是MATrix LABoratory的缩写,是一款由美国The MathWorks公司出品的商业数学软件。MATLAB是一种用于算法开发、数据可视化、数据分析以及数值计算的高级技术计算语言和交互式环境。除了矩阵运算、绘制函数/数据图像等常用功能外,MATLAB还可以用来创建用户界面及与调用其它语言(包括C、C++、Java、Python和FORTRAN)编写的程序。 尽管MATLAB主要用于数值运算,但利用为数众多的附加工具箱(Toolbox)它也适合不同领域的应用,例如控制系统设计与分析、图像处理、信号处理与通讯、金融建模和分析等。另外还有一个配套软件包Simulink,提供一个可视化开发环境,常用于系统模拟、动态/嵌入式系统开发等方面。.

新!!: Maxima和MATLAB · 查看更多 »

Maxima

Maxima是一种用LISP编写的计算机代数系统(Computer Algebra System),用于公式推导和符号计算,它是一套自由软件,在GNU通用公共许可证下發行。它由麻省理工学院在美国能源部的支持下于60年代末创造的Macsyma演变而来。Macsyma後來慢慢走上商業化的道路,自1982年开始,Bill Schelter教授默默地维护基于能源部获得的代碼的Macsyma,他把這個軟體叫做Maxima,開放源码。因為版權的問題,Maxima一直没有公開發行,--有少數人知道有這個軟體的存在。1998年,Maxima終於得到公開發行的許可,這已是Schelter教授努力了16年之後的事。Schelter教授在2001年去世,不過已經正式成為合法開放源碼軟體,因此陸續有支持開放源碼的程式設計師,學者投入Maxima的開發工作。 Maxima的前身Macsyma在當時是非常創新的軟體。現在流行的商業计算机代数系统軟體Maple及Mathematica,都是受到Macsyma的啟發而設計出來的。.

新!!: Maxima和Maxima · 查看更多 »

Sage

Sage是一个覆盖许多数学功能的应用软件,包括代数、组合数学、计算数学和微积分。 SAGE的第一个版本在GNU许可证下发布于2005年2月24日,最初的目标是创造一个“、Maple、Mathematica和MATLAB的开源替代品”。Sage的主导开发人员威廉·斯坦因是华盛顿大学的数学家。 Sage通常被称为sagemath,因为sage在英语中是一个常见词。.

新!!: Maxima和Sage · 查看更多 »

Scilab

Scilab是由法國國立計算機及自動化研究院(l'Institut national de recherche en informatique et en automatique,簡稱INRIA)和法國國立橋樑學院(l'École nationale des ponts et chaussées,簡稱ENPC)开发的开放源码的科学计算自由软件。Scilab一詞來源於英文“Scientific Laboratory"(科學實驗室)詞頭的合并。 目前全世界使用Scilab的人數估計有1000,000。Scilab也是以矩陣作為主要的數據類型,同時擁有豐富的繪圖功能。Scilab能處理包括信號處理、統計分析、圖像增強、數值最佳化、動態系統仿真等方面的問題。網路上也有不少人為它寫了許多延伸函式庫、豐富了它的功能。 为推广普及Scilab,自2002年起,INRIA跟中国科学院自动化研究所每年组织一次Scilab竞赛。.

新!!: Maxima和Scilab · 查看更多 »

重定向到这里:

Maxima (software)

传出传入
嘿!我们在Facebook上吧! »