目录
68 关系: Atlas，吉字节，复数 (数学)，并行计算，代数，微积分学，初等函数，函數程式語言，公式編輯器，图像处理，图论，BLAS，C++，C语言，统计学，组合数学，用户界面，特殊函数，華盛頓大學 (西雅圖)，面向对象程序设计，計算機代數系統，计算数学，超文本传输协议，跨平台，自由及开放源代码软件，Firefox，FLINT，Fortran，FTP，Gap，GD，GIF，GiNaC，GNU TeXmacs，GNU通用公共许可证，IMAP，IPython，IRC，Java，Konqueror，LAPACK，LaTeX，Linux，Live CD，Maple，Mathematica，MATLAB，Matplotlib，Maxima，Microsoft Windows，... 扩展索引 (18 更多) »
- Linux计算机代数系统软件
- MacOS计算机代数系统软件
- Python科学库
- Windows计算机代数系统软件
- 数学软件
- 自由教育軟件
- 自由數學軟件
- 自由计算机代数系统
Atlas
Atlas可以指：.
查看 Sage和Atlas
吉字节
吉--字节或十億--位元組（GB、Gigabyte，又稱吉咖字节、京字节或戟），常简写为G，是一种十進位的資訊计量单位。吉位元組（Gigabyte）常容易和二進位的資訊計量單位Gibibyte混淆。常使用在标示硬盘、記憶體等具有較大容量的储存媒介之储存容量。.
查看 Sage和吉字节
复数 (数学)
複數，為實數的延伸，它使任一多項式方程式都有根。複數當中有個「虛數單位」i，它是-1的一个平方根，即i ^2.
查看 Sage和复数 (数学)
并行计算
并行计算（parallel computing）一般是指许多指令得以同时进行的计算模式。在同時進行的前提下，可以將計算的過程分解成小部份，之後以並行方式來加以解決。 電腦軟體可以被分成數個運算步驟來執行。為了解決某個特定問題，軟體採用某個演算法，以一連串指令執行來完成。傳統上，這些指令都被送至單一的中央处理器，以循序方式執行完成。在這種處理方式下，單一時間中，只有單一指令被執行(processor level: 比较微处理器，CISC, 和RISC，即流水线Pipeline的概念，以及后来在Pipeline基础上以提高指令处理效率为目的的硬件及软件发展，比如branch-prediction, 比如forwarding，比如在每个运算单元前的指令堆栈，汇编程序员对programm code的顺序改写)。平行運算採用了多個運算單元，同時執行，以解決問題。.
查看 Sage和并行计算
代数
代数是一个较为基础的数学分支。它的研究对象有许多。诸如数、数量、代数式、關係、方程理论、代数结构等等都是代数学的研究对象。 初等代数一般在中學時讲授，介紹代数的基本思想：研究当我们对数字作加法或乘法时会发生什么，以及了解變數的概念和如何建立多项式并找出它们的根。 代数的研究對象不僅是數字，还有各種抽象化的結構。例如整數集作為一個帶有加法、乘法和序關係的集合就是一個代數結構。在其中我們只關心各種關係及其性質，而對於「數本身是甚麼」這樣的問題並不關心。常見的代數結構類型有群、环、域、模、線性空間等。并且,代数是几何的总称，代数是还可以用任何字母代替的。 e.g.2-4+6-8+10-12+…-96+98-100+102.
查看 Sage和代数
微积分学
微積分學（Calculus，拉丁语意为计数用的小石頭） 是研究極限、微分學、積分學和無窮級數等的一個數學分支，並成為了現代大學教育的重要组成部分。歷史上，微積分曾經指無窮小的計算。更本質的講，微積分學是一門研究變化的科學，正如：幾何學是研究形狀的科學、代數學是研究代數運算和解方程的科學一樣。微積分學又稱為“初等數學分析”。 微積分學在科學、經濟學、商業管理學和工業工程學領域有廣泛的應用，用來解决那些僅依靠代數學和幾何學不能有效解決的問題。微積分學在代數學和解析幾何學的基礎上建立起来，主要包括微分學、積分學。微分學包括求導數的運算，是一套關於變化率的理論。它使得函數、速度、加速度和斜率等均可用一套通用的符號進行演绎。積分學，包括求積分的運算，為定義和計算長度、面積、體積等提供一套通用的方法。微積分學基本定理指出，微分和積分互為逆運算，這也是兩種理論被統一成微積分學的原因。我們能以兩者中任意一者為起點來討論微積分學，但是在教學中一般會先引入微分學。在更深的數學領域中，高等微積分學通常被稱為分析學，並被定義為研究函數的科學，是現代數學的主要分支之一。.
查看 Sage和微积分学
初等函数
初等函数（基本函數）是由常函数、幂函数、指数函数、对数函数、三角函数和反三角函数经过有限次的有理运算（加、减、乘、除、有限次乘方、有限次开方）及有限次函数复合所产生、并且在定义域上能用一个方程式表示的函数。 一般来说，分段函数不是初等函数，因为在这些分段函数的定义域上不能用一个解析式表示。.
查看 Sage和初等函数
函數程式語言
函數式編程（functional programming）或称函数程序设计，又稱泛函編程，是一種編程典範，它將電腦運算視為數學上的函數計算，並且避免使用程序状态以及易变物件。函數程式語言最重要的基礎是λ演算（lambda calculus）。而且λ演算的函數可以接受函數當作輸入（引數）和輸出（傳出值）。 比起指令式編程，函數式編程更加強調程序执行的结果而非执行的过程，倡导利用若干简单的执行单元让计算结果不断渐进，逐层推导复杂的运算，而不是设计一个复杂的执行过程。.
查看 Sage和函數程式語言
公式編輯器
公式編輯器是一種可以讓用户打出數學公式的排版系統，它可能是以軟體或網頁的方式呈現。例如：微軟Microsoft Office中的Word的方程式編輯器、OpenOffice中的Math等等。 現在，有些數學軟體不僅可以讓用户打出數學方程式，甚至可以讓用户解出數學問題、做代數運算、畫出函數圖形等等，像Mathematica、Maple、Matlab就是這一類的軟體。 TeX是一種免費的方程式的排版系統，它廣受各地數學家的愛用，不過它最大的缺點是缺乏比較簡單的輸入系統，就是我們一般所說的所見即所得（WYSIWYG）系統，如果有這種系統，我們只要按一按某些按鈕就可以輕鬆輸入方程式。目前有些TeX系統開始做所見即所得的系統，如GNU TeXmacs和LyX。 ，曾經提供了這個免費的軟體，但現在這個軟體的公司將輸出TeX原始碼這個功能整合進MathType這個付費軟體。 某些網站，例如維基百科、教學平台等等，都需要以TeX原始碼輸入方程式，這時，用户只要安裝好MathType免費測試版，啟動這個程式，並在裡面輸入用户要的方程式，然後將用户的方程式用滑鼠全選複製後，再貼到用户想要貼的地方，就可以產生TeX原始碼，不過MathType會產生一些多餘的檔頭，也許用户必須把它刪除才可以使用。 相對於公式編輯器必需開啟特定的視窗和特定的按鍵。輸入法雖然不能輸入上下標等排版位置，但提供了一個用相同的按鍵在所有程式上輸入數學符號的方式，例如IBus能在Unix-like 作業系統下用LaTeX的按鍵輸入數學符號；可是目前在Windows上並沒有相對應的輸入法。.
查看 Sage和公式編輯器
图像处理
图像处理是指对图像进行分析、加工、和处理，使其满足视觉、心理或其他要求的技术。图像处理是信号处理在图像领域上的一个应用。目前大多数的图像均是以数字形式存储，因而图像处理很多情况下指数字图像处理。此外，基于光学理论的处理方法依然占有重要的地位。 图像处理是信号处理的子类，另外与计算机科学、人工智能等领域也有密切的关系。 传统的一维信号处理的方法和概念很多仍然可以直接应用在图像处理上，比如降噪、量化等。然而，图像属于二维信号，和一维信号相比，它有自己特殊的一面，处理的方式和角度也有所不同。.
查看 Sage和图像处理
图论
图论（Graph theory）是组合数学的一个分支，和其他数学分支，如群论、矩阵论、拓扑学有着密切关系。图是图论的主要研究对象。图是由若干给定的顶点及连接两顶点的边所构成的图形，这种图形通常用来描述某些事物之间的某种特定关系。顶点用于代表事物，连接两顶点的边则用于表示两个事物间具有这种关系。 图论起源于著名的柯尼斯堡七桥问题。该问题于1736年被欧拉解决，因此普遍认为欧拉是图论的创始人。 图论的研究对象相当于一维的单纯复形。.
查看 Sage和图论
BLAS
BLAS（Basic Linear Algebra Subprograms，基础线性代数程序集）是一个应用程序接口（API）标准，用以规范发布基础线性代数操作的数值库（如矢量或矩阵乘法）。该程序集最初发布于1979年，并用于建立更大的数值程序包（如LAPACK）。在高性能计算领域，BLAS被广泛使用。例如，LINPACK的运算成绩则很大程度上取决于BLAS中子程序DGEMM的表现。 为提高性能，各軟硬件厂商则针对其產品对BLAS接口实现进行高度最佳化。.
查看 Sage和BLAS
C++
C++是一種使用廣泛的计算机程序設計語言。它是一種通用程序設計語言，支援多重编程模式，例如程序化程序設計、数据抽象、面向对象程序設計、泛型程序設計和设计模式等。 比雅尼·斯特勞斯特魯普博士在贝尔实验室工作期间在20世紀80年代發明並實現了C++。起初，這種語言被稱作“C with Classes”（“包含‘類’的C語言”），作為C語言的增強版出現。随后，C++不斷增加新特性。虚函数（virtual function）、运算符重载（operator overloading）、多繼承（multiple inheritance）、标准模板库（standard template library, STL）、异常处理（exception）、运行时类型信息（Runtime type information）、命名空間（namespace）等概念逐漸納入標準。1998年，國際標準組織（ISO）頒布了C++程序設計語言的第一個國際標準ISO/IEC 14882:1998，目前最新标准为ISO/IEC 14882:2017。根據《C++編--程思想》（Thinking in C++）一書，C++與C的代码执行效率往往相差在±5%之間。 C++語言發展大概可以分為三個階段：第一階段從80年代到1995年。這一階段C++語言基本上是傳統類型上的面向对象語言，並且憑藉着接近C語言的效率，在工業界使用的開發語言中佔據了相當大份額；第二階段從1995年到2000年，這一階段由於標準模板庫（STL）和後來的Boost等程式庫的出現，泛型程序設計在C++中佔據了越來越多的比重。當然，同時由於Java、C#等語言的出現和硬體價格的大規模下降，C++受到了一定的衝擊；第三階段從2000年至今，由於以Loki、MPL(Boost)等程式庫為代表的產生式編程和模板元編程的出現，C++出現了發展歷史上又一個新的高峰，這些新技術的出現以及和原有技術的融合，使C++已經成為當今主流程序設計語言中最複雜的一員。.
查看 Sage和C++
C语言
C是一种通用的程式語言，广泛用于系统软件与应用软件的开发。于1969年至1973年間，為了移植與開發UNIX作業系統，由丹尼斯·里奇與肯·汤普逊，以B语言为基础，在贝尔实验室設計、开发出來。 C语言具有高效、灵活、功能丰富、表达力强和較高的可移植性等特点，在程式設計中备受青睐，成为最近25年使用最为广泛的编程语言。目前，C语言編譯器普遍存在於各種不同的操作系统中，例如Microsoft Windows、macOS、Linux、Unix等。C語言的設計影響了众多後來的程式語言，例如C++、Objective-C、Java、C#等。 二十世纪八十年代，為了避免各開發廠商用的C語言語法產生差異，由美國國家標準局為C語言訂定了一套完整的國際標準語法，稱為ANSI C，作為C語言的標準。二十世纪八十年代至今的有关程式開發工具，一般都支持符合ANSI C的語法。.
查看 Sage和C语言
统计学
统计学是在資料分析的基础上，研究测定、收集、整理、归纳和分析反映數據資料，以便给出正确訊息的科學。這一门学科自17世纪中叶产生并逐步发展起来，它廣泛地應用在各門學科，從自然科学、社會科學到人文學科，甚至被用於工商業及政府的情報決策。隨著大数据(Big Data)時代來臨，統計的面貌也逐漸改變，與資訊、計算等領域密切結合，是資料科學(Data Science)中的重要主軸之一。 譬如自一組數據中，可以摘要並且描述這份數據的集中和離散情形，這個用法稱作為描述統計學。另外，觀察者以數據的形態，建立出一個用以解釋其隨機性和不確定性的數學模型，以之來推論研究中的步驟及母體，這種用法被稱做推論統計學。這兩種用法都可以被稱作為應用統計學。數理統計學则是討論背後的理論基礎的學科。.
查看 Sage和统计学
组合数学
广义的组合数学（Combinatorics）就是离散数学，狭义的组合数学是组合计数、图论、代数结构、数理逻辑等的总称。但这只是不同学者在叫法上的区别。总之，组合数学是一门研究可數或离散对象的科学。随着计算机科学的日益发展，组合数学的重要性也日渐凸显，因为计算机科学的核心内容是使用算法处理离散数据。 狭义的组合数学主要研究满足一定条件的组态（也称组合模型）的存在、计数以及构造等方面的问题。 组合数学的主要内容有组合计数、组合设计、组合矩阵、组合优化（最佳組合）等。.
查看 Sage和组合数学
用户界面
户界面（User Interface，簡稱UI，亦稱--）是系统和用户之间进行交互和信息交换的媒介，它实现信息的内部形式与人类可以接受形式之间的转换。 用户界面是介於使用者與硬體而設計彼此之間互動溝通相關軟體，目的在使得使用者能夠方便有效率地去操作硬體以達成雙向之互動，完成所希望借助硬體完成之工作，用户界面定義廣泛，包含了人机交互與圖形用户界面，凡参与人類與機械的信息交流的领域都存在着用户界面。 用户和系统之间一般用面向问题的受限自然语言进行交互。目前有系统开始利用多媒体技术开发新一代的用户界面。.
查看 Sage和用户界面
特殊函数
特殊函数是指一些具有特定性质的函数，一般有约定俗成的名称和记号，例如伽玛函数、贝塞尔函数、菲涅耳积分等。它们在数学分析、泛函分析、物理研究、工程应用中有着举足轻重的地位。许多特殊函数是微分方程的解或基本函数的积分，因此积分表中常常会出现特殊函数，特殊函数的定义中也经常会出现积分。传统上对特殊函数的分析主要基于对其的数值展开基础上。随着电子计算的发展，这个领域内开创了新的研究方法。因为微分方程的对称性在数学和物理中的重要性，特殊函数理论也与李群和李代数密切相关。 事实上，对于哪些函数属于特殊函数，并没有明确的规定。函数列表中列出了一些通常被认为的特殊函数。广义上，基本超越函数（即指数函数、对数函数、非有理次幂的幂函数、双曲函数、三角函数等周期函数）也称为特殊函数。.
查看 Sage和特殊函数
華盛頓大學 (西雅圖)
#重定向 華盛頓大學.
面向对象程序设计
面向对象程序设计（Object-oriented programming，缩写：OOP）是種具有物件概念的程式編程典範，同时也是一种程序开发的抽象方针。它可能包含資料、、程式碼與方法。对象則指的是类的实例。它将对象作为程序的基本单元，将程序和数据封装其中，以提高软件的重用性、灵活性和扩展性，物件裡的程序可以訪問及經常修改物件相關連的資料。在物件導向程式編程裡，電腦程式會被設計成彼此相關的物件。 面向对象程序设计可以看作一种在程序中包含各种独立而又互相调用的对象的思想，这与传统的思想刚好相反：传统的程序设计主张将程序看作一系列函数的集合，或者直接就是一系列对电脑下达的指令。面向对象程序设计中的每一个对象都应该能够接受数据、处理数据并将数据传达给其它对象，因此它们都可以被看作一个小型的“机器”，即对象。目前已经被证实的是，面向对象程序设计推广了程序的灵活性和可维护性，并且在大型项目设计中广为应用。此外，支持者声称面向对象程序设计要比以往的做法更加便于学习，因为它能够让人们更简单地设计并维护程序，使得程序更加便于分析、设计、理解。反对者在某些领域对此予以否认。 当我们提到面向对象的时候，它不仅指一种程序设计方法。它更多意义上是一种程序开发方式。在这一方面，我们必须了解更多关于面向对象系统分析和面向对象设计（Object Oriented Design，简称OOD）方面的知识。許多流行的程式語言是物件導向的,它們的風格就是會透由物件來創出實例。 重要的物件導向程式語言包含Common Lisp、Python、C++、Objective-C、Smalltalk、Delphi、Java、Swift、C#、Perl、Ruby 與 PHP等。.
計算機代數系統
計算機代數系統（computer algebra system，縮寫作：CAS）是進行符號運算的軟件。這種系統的要件是數學表示式的符號運算。.
查看 Sage和計算機代數系統
计算数学
计算数学是数学的一个分支，研究的内容包括设计和分析算法以及数学建模等，目的是为了在实际工程中利用快速稳定的算法得到精确值的近似值。在计算机科学高度发展的今天，其基础计算理论的发展使计算数学进入现代化阶段。.
查看 Sage和计算数学
超文本传输协议
超文本傳輸協定（英文：HyperText Transfer Protocol，縮寫：HTTP）是一種用於分佈式、協作式和超媒體信息系統的應用層協議。HTTP是全球資訊網的數據通信的基礎。 设计HTTP最初的目的是为了提供一种发布和接收HTML页面的方法。通过HTTP或者HTTPS协议请求的资源由统一资源标识符（Uniform Resource Identifiers，URI）来标识。 HTTP的发展是由提姆·柏內茲-李於1989年在歐洲核子研究組織（CERN）所發起。HTTP的標準制定由万维网协会（World Wide Web Consortium，W3C）和互联网工程任务组（Internet Engineering Task Force，IETF）進行協調，最终发布了一系列的RFC，其中最著名的是1999年6月公佈的 RFC 2616，定義了HTTP協議中現今廣泛使用的一個版本——HTTP 1.1。 2014年12月，互联网工程任务组（IETF）的Hypertext Transfer Protocol Bis（httpbis）工作小组将HTTP/2标准提议递交至IESG进行讨论，于2015年2月17日被批准。 HTTP/2标准于2015年5月以RFC 7540正式发表，取代HTTP 1.1成为HTTP的实现标准。.
查看 Sage和超文本传输协议
跨平台
跨平台泛指编程语言、软件或硬件设备可以在多种作業系統或不同硬體架構的電腦上運作。.
查看 Sage和跨平台
自由及开放源代码软件
自由及开放源代码软件（Free and open source software，縮寫為FOSS，或Free/Libre and open source software，縮寫為OSS，FLOSS）是一种可以归类为既是自由软件又是开源软件的计算机软件。也就是，任何人被授权可以自由的使用，复制，研究和以任何方式来改动软件，并且其源代码是开放和共享的，因此人们被鼓励志愿的改善软件的设计。这种软件是相对于专有软件（proprietary software）是在版权的严格限制之下，并且通常其源代码对于用户是不开放的。 使用FOSS的好处包括降低软件成本，提高安全性和稳定性（特别是在恶意软件方面），保护隐私，教育，并让用户更好地控制自己的硬件。免费的开源操作系统，如Linux和BSD的后代如今被广泛使用，为数百万台服务器，台式机，智能手机（例如Android）和其他设备提供支持。许多軟件包使用了自由軟件許可證和開放源碼許可證。.
Firefox
Mozilla Firefox（簡稱Firefox），中文通稱火狐，是一個自由及開放原始碼的網頁瀏覽器，由Mozilla基金會及其子公司Mozilla公司開發。Firefox支援Windows、OS X及Linux，其行動版支援Android及Firefox OS，這些版本的Firefox使用Gecko來排版網頁，Gecko是一個執行當前與預期之網頁標準的排版引擎，而在2015年釋出的Firefox for iOS則非使用Gecko。 Firefox於2002年由Mozilla社群成員創建，當時叫做「Phoenix」，因為社群成員們想要一個獨立的瀏覽器，而非Mozilla Application Suite這樣的套件。即使在測試階段，Firefox也在測試者中頗為流行，並因其速度、安全性及擴充元件而受稱讚。Firefox於2004年11月首次釋出，並且9個月内下載量超過6000萬，取得了巨大的成功，Internet Explorer的主導地位首次受到了挑戰。Firefox被認為是Netscape Navigator的精神續作，因為Netscape於1998年被AOL收購前創建了Mozilla社群。 Firefox全球市佔率為35％至40%，為全球第二流行的網頁瀏覽器。Firefox在某些國家還是最流行的網頁瀏覽器，如在薩摩亞、德國、厄利垂亞及古巴，Firefox市佔率分別為61.05%、38.36%、79.39%及85.93%。據Mozilla統計，，Firefox在全世界擁有10億使用者。.
查看 Sage和Firefox
FLINT
#重定向 快速數論函數庫.
查看 Sage和FLINT
Fortran
福傳（Fortran），源自於「公式翻译」（Formula Translation）的縮寫，是一種程式語言。1957年由IBM開發出，是世界上第一个被正式采用並流传至今的高级编程語言。.
查看 Sage和Fortran
FTP
#重定向 文件传输协议.
查看 Sage和FTP
Gap
Gap可以指：.
查看 Sage和Gap
GD
GD可以是下列的意思：.
查看 Sage和GD
GIF
图像互换格式（GIF，Graphics Interchange Format）是一种位图图形文件格式，以8位色（即256种颜色）重现真彩色的图像。它实际上是一种压缩文档，采用LZW压缩算法进行编码，有效地减少了图像文件在网络上传输的时间。它是目前全球資訊網广泛应用的网络传输图像格式之一。.
查看 Sage和GIF
GiNaC
GiNaC是一个自由的计算机代数系统，在 GNU通用公共许可证下发布。GiNaC这个名字是一个递归缩写：GiNaC is Not a CAS（CAS，计算机代数系统）。这样的命名方式源于GNU计划。 GiNaC与其他计算机代数系统不同的是，它并没有提供一个上层的用户互动界面，而是鼓励用户直接用C++语言和GiNaC的库编写符号计算的程序。其中的代数语法是通过C++的运算符重载实现的。开发者解释说之所以以GiNaC命名是因为大多数的代数系统都把重点放在了用户界面上，而不是与程序员的互操作性。 GiNaC使用了CLN库用于任意精度的数值计算。具有象征意义的是，它可以计算带有多个变量的代数式、因式分解、计算最大公约数、展开洛朗级数和利用矩阵计算等。它将能够处理非交换性代数——这在理论上的高能物理：克利福德代数、特殊酉群、李代数、和电磁张量中有广泛应用。由于这样，它在纬度正则化计算中广泛被应用——但是它并不被限制在物理学中。.
查看 Sage和GiNaC
GNU TeXmacs
GNU TeXmacs 是一个自由的科学文本编辑器和 GNU 项目的排版组件。它吸收了 TeX 和 Emacs 的特点，尽管未使用这两者的代码。TeXmacs 使用 TeX 字体。它由 Joris van der Hoeven 开发和维护。该程序能够以所见即所得的用户界面创建结构化文档。用户可以自行创建新的文档样式。编辑器采用高质量的排版算法和 TeX 字体用于专业出版。.
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.
IMAP
#重定向 因特网信息访问协议.
查看 Sage和IMAP
IPython
IPython是一种基于Python的交互式解释器。相较于原生的Python Shell，IPython提供了更为强大的编辑和交互功能。.
查看 Sage和IPython
IRC
IRC（Internet Relay Chat的缩写，“因特网中继聊天”）是一种透過网络的即时聊天方式。其主要用于群体聊天，但同样也可以用于个人对个人的聊天。IRC使用的伺服器埠有6667（明文傳輸，如irc://irc.freenode.net）、6697（SSL加密傳輸，如ircs://irc.freenode.net:6697）等。 芬兰人雅爾可·歐伊卡利寧（Jarkko Oikarinen）于1988年8月创造了IRC来取代一个叫做MUT的程序。.
查看 Sage和IRC
Java
Java是一種廣泛使用的電腦程式設計語言，擁有跨平台、物件導向、泛型程式設計的特性，广泛应用于企业级Web应用开发和移动应用开发。 任職於昇陽電腦的詹姆斯·高斯林等人于1990年代初开发Java語言的雛形，最初被命名为Oak，目標設定在家用电器等小型系統的程式语言，應用在电视机、电话、闹钟、烤面包机等家用电器的控制和通訊。由于这些智能化家电的市场需求没有预期的高，Sun公司放弃了该项计划。随着1990年代網際網路的发展，Sun公司看見Oak在網際網路上应用的前景，于是改造了Oak，於1995年5月以Java的名称正式发布。Java伴随着互联网的迅猛发展而发展，逐渐成为重要的网络编程语言。 Java编程语言的风格十分接近C++语言。继承了C++语言面向对象技术的核心，Java舍弃了C++语言中容易引起错误的-zh-hans:指针; zh-hant:指標;-，改以-zh-hans:引用; zh-hant:參照;-取代，同時移除了C++中的--和多重继承特性，改用接口取代，增加垃圾回收器功能。在Java SE 1.5版本中引入了泛型编程、类型安全的枚举、不定长参数和自动装/拆箱特性。昇陽電腦对Java语言的解释是：「Java编程语言是个简单、面向对象、分布式、解释性、健壮、安全与系统无关、可移植、高性能、多线程和动态的语言」 Java不同於一般的编译語言或直譯語言。它首先将源代码编译成字节码，然后依赖各种不同平台上的虚拟机来解释执行字节码，从而实现了“一次编写，到处运行”的跨平台特性。在早期JVM中，这在一定程度上降低了Java程序的运行效率。但在J2SE1.4.2发布后，Java的執行速度有了大幅提升。 与传统型態不同，Sun公司在推出Java時就将其作为开放的技术。全球数以万计的Java开发公司被要求所设计的Java软件必须相互兼容。“Java语言靠群体的力量而非公司的力量”是 Sun公司的口号之一，并获得了广大软件开发商的认同。这与微软公司所倡导的注重精英和封闭式的模式完全不同，此外，微软公司後來推出了与之竞争的.NET平台以及模仿Java的C#语言。後來Sun公司被甲骨文公司併購，Java也隨之成為甲骨文公司的產品。 現時，行動作業系統Android大部分的代碼採用Java 程式設計語言編程。.
查看 Sage和Java
Konqueror
Konqueror是KDE桌面系统的一部分，主要用于文件管理、各种格式档案的查看，以及网页浏览。Konqueror主要運用于GNU/Linux和BSD家族的操作系统，在微软的Windows系统也可使用。Konqueror按照GPL进行发布。 在给Konqueror命名上，其命名者跟其它的网页浏览器玩了个文字游戏：首先是Navigator（意为航海家，网景公司的浏览器）、然后是Explorer（意为探索者），接下来就是Konqueror（Conqueror的变体，意为征服者）；这里首字母取K是为了遵循KDE软件都以K打头的传统。 2005年11月29日KDE開發團隊釋出Konqueror 3.5.1，並成功的排出Acid2的笑臉，雖然測試結果中出現了不該出現的「捲軸」引起爭議，但發起測試的WaSP仍宣佈為合格。使Konqueror為首個通過Acid2測試的開放原始碼GNU/Linux瀏覽器。直至Konqueror 3.5.2已修正捲軸條會出現的問題。 最初的Konqueror伴随KDE 2于2000年10月23日一并发布，并取代原本KDE用于档案管理的KFM（KDE file manager）。而在KDE 4发布的时候，则由后继者Dolphin取代。但直到目前Konqueror仍然持续在维持及开发。.
LAPACK
LAPACK，其名為Linear Algebra PACKage的縮寫，是一以Fortran程式語言寫的，用於數值計算的函式集。 LAPACK提供了豐富的工具函式，可用於諸如解多元線性方程式、線性系統方程組的最小平方解、計算特徵向量、用於計算矩陣QR分解的Householder轉換、以及奇異值分解等問題。 在亦提供了API經簡化的Fortran 95版本的LAPACK95。LAPACK以BSD授權的方法釋出。.
查看 Sage和LAPACK
LaTeX
（，常被讀作或），文字形式写作LaTeX，是一种基于的排版系统，由美国计算机科学家莱斯利·兰伯特在20世纪80年代初期开发，利用这种格式系統的處理，即使使用者没有排版和程序设计的知识也可以充分发挥由所提供的强大功能，不必一一親自去設計或校對，能在几天，甚至几小时内生成很多具有书籍品質的印刷品。对于生成复杂表格和数学公式，这一点表现得尤为突出。因此它非常适用于生成高印刷质量的科技和数学、化學文档。这个系统同样适用于生成从简单的信件到完整书籍的所有其他种类的文档。 使用作为它的格式化引擎，当前的版本是LaTeX2e（写作LaTeX2ε）。.
查看 Sage和LaTeX
Linux
Linux（ ）是一種自由和開放源碼的類UNIX作業系統。该操作系统的内核由林纳斯·托瓦兹在1991年10月5日首次发布。，在加上使用者空間的應用程式之後，成為Linux作業系統。Linux也是自由软件和开放源代码软件发展中最著名的例子。只要遵循GNU通用公共许可证（GPL），任何个人和机构都可以自由地使用Linux的所有底层源代码，也可以自由地修改和再发布。大多數Linux系統還包括像提供GUI的X Window之類的程序。除了一部分專家之外，大多數人都是直接使用Linux發行版，而不是自己選擇每一樣組件或自行設置。 Linux嚴格來說是單指作業系統的内核，因作業系統中包含了許多用戶圖形介面和其他实用工具。如今Linux常用来指基于Linux的完整操作系统，內核則改以Linux内核稱之。由于这些支持用户空间的系统工具和库主要由理查德·斯托曼于1983年发起的GNU计划提供，自由软件基金会提议将其组合系统命名为GNU/Linux，但Linux不屬於GNU計劃，這個名稱並沒有得到社群的一致認同。 Linux最初是作为支持英特尔x86架构的个人电脑的一个自由操作系统。目前Linux已经被移植到更多的计算机硬件平台，远远超出其他任何操作系统。Linux可以运行在服务器和其他大型平台之上，如大型主机和超级计算机。世界上500个最快的超级计算机90％以上运行Linux发行版或变种，包括最快的前10名超级电脑运行的都是基于Linux内核的操作系统。Linux也广泛应用在嵌入式系统上，如手机（Mobile Phone）、平板电脑（Tablet）、路由器（Router）、电视（TV）和电子游戏机等。在移动设备上广泛使用的Android操作系统就是建立在Linux内核之上。 通常情况下，Linux被打包成供个人计算机和服务器使用的Linux发行版，一些流行的主流Linux发布版，包括Debian（及其衍生版本Ubuntu、Linux Mint）、Fedora（及其相关版本Red Hat Enterprise Linux、CentOS）和openSUSE等。Linux发行版包含Linux内核和支撑内核的实用程序和库，通常还带有大量可以满足各类需求的应用程序。个人计算机使用的Linux发行版通常包含X Window和一个相应的桌面环境，如GNOME或KDE。桌面Linux操作系统常用的应用程序，包括Firefox网页浏览器、LibreOffice办公软件、GIMP图像处理工具等。由于Linux是自由软件，任何人都可以创建一个符合自己需求的Linux发行版。.
查看 Sage和Linux
Live CD
Live CD，又译为自生系统，是事先儲存於某种可移动儲存裝置上，可不特定於计算机硬件（non-hardware-specific）而启动的操作系统（通常亦包括一些其他軟件），不需安裝至计算机的本地外部存储器 - 硬盘。采用的介质包括CD-ROM（Live CD），DVD（Live DVD），闪存盘（Live USB）甚至是软盘等。退出自生系统並重新開機後，電腦就可以恢復到原本的作業系統。自生系统的運作機制，是透過「把原本放在硬碟裡的檔案，放到記憶體的虛擬磁碟中」來運作；因此系統記憶體愈大，則執行速度愈快。.
查看 Sage和Live CD
Maple
Maple是一个通用型的商用计算机代数系統。Maple起源于1988年，由加拿大安大略滑铁卢的一家公司，Waterloo Maple Inc.（亦称Maplesoft枫软）进行开发和商业销售。最新版是Maple 2018。它的主要竞争者是Mathematica。 目前共有五個版本：Personal（個人版），Professional（專業版），Academic（學術版），Government（政府版）和Student（學生版）。 2009年，枫软被日本软件商Cybernet Systems收购。.
查看 Sage和Maple
Mathematica
#重定向 Wolfram Mathematica.
MATLAB
MATLAB（矩阵实验室）是MATrix LABoratory的缩写，是一款由美国The MathWorks公司出品的商业数学软件。MATLAB是一种用于算法开发、数据可视化、数据分析以及数值计算的高级技术计算语言和交互式环境。除了矩阵运算、绘制函数/数据图像等常用功能外，MATLAB还可以用来创建用户界面及与调用其它语言（包括C、C++、Java、Python和FORTRAN）编写的程序。 尽管MATLAB主要用于数值运算，但利用为数众多的附加工具箱（Toolbox）它也适合不同领域的应用，例如控制系统设计与分析、图像处理、信号处理与通讯、金融建模和分析等。另外还有一个配套软件包Simulink，提供一个可视化开发环境，常用于系统模拟、动态/嵌入式系统开发等方面。.
查看 Sage和MATLAB
Matplotlib
matplotlib 是Python编程语言及其数值数学扩展包 NumPy的可视化操作界面。它为利用通用的图形用户界面工具包，如Tkinter, wxPython, Qt或GTK+向应用程序嵌入式绘图提供了应用程序接口（API）。此外，matplotlib还有一个基于图像处理库（如开放图形库OpenGL）的pylab接口，其设计与MATLAB非常类似--尽管并不怎么好用。SciPy就是用matplotlib进行图形绘制。 matplotlib最初由John D.
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的啟發而設計出來的。.
查看 Sage和Maxima
Microsoft Windows
Microsoft Windows（中文有时譯作微軟--，通常不做翻译）是微軟公司推出的一系列操作系统。它問世於1985年，起初是MS-DOS之下的桌面環境，其後續版本逐漸發展成為主要为個人電腦和服务器用户設計的操作系統，并最终获得了世界个人电脑操作系統的垄断地位。此操作系統可以在几种不同类型的平台上运行，如个人电脑（PC）、移动裝置、服务器（Server）和嵌入式系統等等，其中在个人电脑的领域应用内最为普遍。在2004年國際數據資訊公司一次有关未来发展趋势的会议上，副董事长Avneesh Saxena宣布Windows拥有终端操作系统大约70％的市场份额 www.linuxworld.com.au。 Windows操作系統目前最新的穩定版是於2015年7月29日發佈的 Windows 10。Windows Server目前最新的穩定版是2016年9月26日發佈的Windows Server 2016。.
NNTP
#重定向 網路新聞傳輸協定.
查看 Sage和NNTP
NumPy
NumPy是Python語言的一個擴充程式庫。支援高階大量的維度陣列與矩陣運算，此外也針對陣列運算提供大量的數學函數函式庫。NumPy的前身Numeric最早是由Jim Hugunin與其它協作者共同開發，2005年，Travis Oliphant在Numeric中結合了另一個同性質的程式庫Numarray的特色，並加入了其它擴充功能而開發了NumPy。NumPy為開放原始碼並且由許多協作者共同維護開發。.
查看 Sage和NumPy
Opera
OPERA、opera或Opera（法语：Opéra），可能指：.
查看 Sage和Opera
OS X
#重定向 MacOS.
查看 Sage和OS X
Python
Python（ ），是一种广泛使用的高级编程语言，属于通用型编程语言，由吉多·范罗苏姆创造，第一版发布于1991年。可以視之為一種改良（加入一些其他程式語言的優點，如物件導向）的LISP。作为一种解释型语言，Python的设计哲学强调代码的可读性和简洁的语法（尤其是使用空格缩进划分代码块，而非使用大括号或者关键词）。相比於C++或Java，Python让开发者能够用更少的代码表达想法。不管是小型还是大型程序，该语言都试图让程序的结构清晰明了。 与Scheme、Ruby、Perl、Tcl等动态类型编程语言一样，Python拥有动态类型系统和垃圾回收功能，能够自动管理内存使用，并且支持多种编程范式，包括面向对象、命令式、函数式和过程式编程。其本身拥有一个巨大而广泛的标准库。 Python 解释器本身几乎可以在所有的操作系统中运行。Python的正式直譯器CPython是用C语言编写的、是一個由社群驱动的自由软件，目前由Python软件基金会管理。.
查看 Sage和Python
R语言
R语言，一種自由軟體程式語言與操作環境，主要用于统计分析、绘图、数据挖掘。R本來是由來自新西蘭奧克蘭大學的罗斯·伊哈卡和罗伯特·杰特曼開發（也因此稱為R），現在由“R開發核心團隊”負責開發。R基于S语言的一个GNU計劃项目，所以也可以当作S语言的一种实现，通常用S语言编写的代码都可以不作修改的在R环境下运行。R的語法是來自Scheme。 R的原始碼可自由下載使用，亦有已編譯的執行檔版本可以下載，可在多种平台下运行，包括UNIX（也包括FreeBSD和Linux）、Windows和MacOS。R主要是以命令行操作，同時有人開發了幾種圖形用戶界面。.
查看 Sage和R语言
Safari
Safari是蘋果公司所開發，並內建於macOS（前稱OS X、Mac OS X）的網頁瀏覽器。Safari在2003年1月7日首度發行測試版，並從Mac OS X Panther開始成為Mac OS X的預設瀏覽器，也是iOS內建的預設瀏覽器。Windows版本的首個測試版在2007年6月11日推出，支援Windows XP、Windows Vista和Windows 7，並在2008年3月18日推出正式版，但蘋果已於2012年7月25日停止開發Windows版的Safari。 Safari發行後的市佔率不斷攀升。2008年2月，TheCounter.com報告指Safari的市佔率為3.34%，而Net Applications則指其市佔率為2.63%。其後市佔率再從2009年1月的3.62%爬升至2011年4月的7.1%。在行動裝置平台，Net Applications表示Safari占有率为62.17%。.
查看 Sage和Safari
SciPy
SciPy是一个开源的Python算法库和数学工具包。 SciPy包含的模块有最优化、线性代数、积分、插值、特殊函数、快速傅里叶变换、信号处理和图像处理、常微分方程求解和其他科学与工程中常用的计算。与其功能相类似的软件还有MATLAB、GNU Octave和Scilab。 SciPy目前在BSD许可证下发布。它的开发由Enthought资助。.
查看 Sage和SciPy
Solaris
Solaris原先是太阳微系统公司研制的类Unix操作系统，在Sun公司被Oracle併購後被稱作Oracle Solaris。目前最新版为Solaris 11。早期的Solaris是由BSDUnix发展而来。这是因为昇陽公司的创始人之一，比爾·喬伊（Bill Joy）来自柏克萊加州大學（U.C.Berkeley）。但是随着时间的推移，Solaris现在在接口上正在逐渐向System V靠拢。2005年6月14日，Sun公司将正在开发中的Solaris 11的源代码以CDDL许可开放，这一开放版本就是OpenSolaris。2010年8月23日，OpenSolaris項目被Oracle中止。2011年11月9日，Solaris 11發佈。 Sun的操作系统最初叫做SunOS，SunOS 5.0开始，SUN的操作系统开发开始转向System V 4，并有了新名字Solaris 2.0；Solaris 2.6以后，SUN删除了版本号中的「2」，因此，SunOS 5.10叫做Solaris 10。Solaris的早期版本后来又被重新命名为Solaris 1.x。因为“SunOS”这个词被用做专指Solaris操作系统的内核，因此Solaris被认为是由SunOS、图形化的桌面计算环境以及它的网络增强部分组成。.
查看 Sage和Solaris
SQL
SQL（, or;结构化查询语言）是一种特定目的程式语言，用于管理关系数据库管理系统（RDBMS），或在（RDSMS）中进行流处理。 SQL基于关系代数和元组关系演算，包括一个数据定义语言和数据操纵语言。SQL的范围包括数据插入、查询、更新和删除，创建和修改，以及数据访问控制。尽管SQL经常被描述为，而且很大程度上是一种声明式编程（4GL），但是其也含有过程式编程的元素。 SQL是对埃德加·科德的关系模型的第一个商业化语言实现，这一模型在其1970年的一篇具有影响力的论文《一个对于大型共享型数据库的关系模型》中被描述。尽管SQL并非完全按照科德的关系模型设计，但其依然成为最为广泛运用的数据库语言。 SQL在1986年成为美国国家标准学会（ANSI）的一项标准，在1987年成为国际标准化组织（ISO）标准。在此之后，这一标准经过了一系列的增订，加入了大量新特性。虽然有这一标准的存在，但大部分的SQL代码在不同的数据库系统中并不具有完全的跨平台性。.
查看 Sage和SQL
SQLite
SQLite （ or ）是遵守ACID的关系数据库管理系统，它包含在一个相对小的C程式庫中。与许多其它数据库管理系统不同，SQLite不是一个客户端/服务器结构的数据库引擎，而是被集成在用户程序中。 SQLite遵守ACID，实现了大多数SQL标准。它使用动态的、弱类型的SQL语法。它作为嵌入式数据库，是应用程序，如网页浏览器，在本地/客户端存储数据的常见选择。它可能是最广泛部署的数据库引擎，因为它正在被一些流行的浏览器、操作系统、嵌入式系统所使用。同时，它有许多程序设计语言的语言绑定。 SQLite是建立的公有领域项目。.
查看 Sage和SQLite
SSE
SSE（Streaming SIMD Extensions）是英特尔在AMD的3D Now!发布一年之后，在其计算机芯片Pentium III中引入的指令集，是繼MMX的擴充指令集。SSE指令集提供了70條新指令。AMD后来在Athlon XP中加入了对这个新指令集的支持。.
查看 Sage和SSE
SSH
SSH可以指：.
查看 Sage和SSH
SymPy
SymPy是一个符号计算的Python库。它的目标是成为一个全功能的计算机代数系统，同时保持代码简洁、易于理解和扩展。它完全由Python写成，不依赖于外部库。 SymPy支持符号计算、高精度计算、模式匹配、绘图、解方程、微积分、组合数学、离散数学、几何学、概率与统计、物理学等方面的功能。 SymPy在新BSD许可证下开源。.
查看 Sage和SymPy
Wiki
Wiki（）是一種在全球資訊網上開放且可供多人協同創作的超文本系統，由沃德·坎宁安於1995年首先开发。沃德·坎宁安将wiki定义为“一种允许一群用户用简单的描述来创建和连接一组网页的社会计算系统”。 有些人認為陈立华、徐建初，Wiki:网络时代协同工作与知识共享的平台，中国信息导报，2005 No.1 P.51-54，Wiki系統屬於一種人類知識的網路系統，讓人們可以在web的基礎上對Wiki文本進行瀏覽、創建和更改，而且這種創建、更改及發佈的代價遠比HTML文本小。與此同時，Wiki系統還支持那些面向社群的協作式寫作，為協作式寫作提供了必要的幫助。最後Wiki的寫作者自然構成了一個社群，Wiki系統為這個社群提供了簡單的交流工具。與其它超文本系統相比，Wiki有使用簡便且開放的特點，有助於在一個社群內共享某個領域的知識。.
查看 Sage和Wiki
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
查看 Sage和数学
数学家
数学家是指一群對數學有深入了解的的人士，將其知識運用於其工作上（特別是解決數學問題）。數學家專注於數、數據、邏輯、集合、結構、空間、變化。 專注於解決純數學（基础数学）領域以外的問題的數學家稱為應用數學家，他們運用他們的特殊數學知識與專業的方法解決許多在科學領域的顯著問題。因為專注於廣泛領域的問題、理論系統、定點結構。應用數學家經常研究與制定數學模型.
查看 Sage和数学家
.NET框架
--是由微軟開發，一個致力於敏捷軟體開發（Agile software development）、快速應用開發（Rapid application development）、平臺獨立性和網路透明化的軟體框架。.NET是微軟為2000年代對伺服器和桌上型軟體工程邁出的第一步。.NET包含許多有助於互聯網和內部網應用迅捷開發的技術。.NET框架是微軟公司繼Windows DNA之後的新開發平臺。.NET框架是以一種採用系統虛擬機運行的編程平臺，以通用語言運行庫（Common Language Runtime）為基礎，支援多種語言（C#、F#、VB.NET、C++、Python等）的開發。.NET也為應用程式介面（API）提供了新功能和開發工具。這些革新使得程式設計員可以同時進行Windows應用軟體和網路應用軟體以及元件和服務（web服務）的開發。.NET提供了一個新的反射性的且物件導向程式設計編程介面。.NET設計得足夠通用化從而使許多不同高階語言都得以被彙集。 甲骨文公司的Java程式語言和Java平臺企業版技術是.NET平臺的競爭對手之一。 2014年11月12日，微軟宣布將完全開放.NET Framework的原始碼，並提供給Linux和OS X使用。.
查看 Sage和.NET框架
另见
Linux计算机代数系统软件
MacOS计算机代数系统软件
Python科学库
Windows计算机代数系统软件
数学软件
自由教育軟件
- Anki
- Asymptote
- Atutor
- Celestia
- Edubuntu
- GCompris
- GNU Chess
- GNU Octave
- GRASS
- Gnuplot
- KCalc
- KDE教育計劃
- KSEG
- KStars
- Kig
- Kiten
- Kiwix
- LMMS
- Marble (KDE)
- Mathomatic
- Maxima
- Mnemosyne
- Moodle
- OLAT
- Pingus
- QCad
- Sakai项目
- Scilab
- Scratch
- Scribus
- Smalltalk
- Snap!
- Squeak
- Stellarium
- Step
- Tux Paint
- XBoard
- 開放式課程網頁