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」（科學實驗室）詞頭的合…
标签：#自由數學軟件
共 12 篇文章
FreeMat
FreeMat是一个自由开源的数值计算环境和编程语言，类似于MATLAB和GNU Octave。同时支持许多MATLAB函数和一些IDL功能。 FreeMat由萨米特·巴苏（Samit Basu）开发，它提供了一个扩展C，C++和Fortran代码的少代码界面，以及并行分布算法开发（通过MPI），并具有绘图和3D可视化能力。 外部链接 * [http://freemat.sourceforge.net/ freemat]
Bc语言
bc，即bench calculator的缩写，是一种任意精度计算器语言（an arbitrary precision calculator language），语法和C语言类似。bc是Unix 作业系统下的一个高精确度数学运算工具，小数点后最多可有2147483647位值。bc使用POSIX 1003.2草案标准，并作了若干扩展，包括多字符的变量名，以及完整的布尔表达式。bc可以通过在unix终端中输入bc进入。bc是文本界面，无GU…
GNU Octave
GNU Octave是一种采用高级编程语言的主要用于数值分析的软件。Octave有助于以数值方式解决线性和非线性问题，并使用与MATLAB兼容的语言进行其他数值实验。它也可以作为面向批处理的语言使用。因为它是GNU計劃的一部分，所以它是GNU通用公共许可证条款下的自由软件。 Octave是MATLAB的主要自由替代品之一，其他还有Scilab和FreeMat。 然而，与Octave相比，Scilab更少强调与MATLAB的（双向）句法兼…
Euler Math Toolbox
Euler Math Toolbox（又稱 Euler 或 EuMathT）是一個免費且開源的數值分析軟體。它包含矩阵語言、圖形化筆記本樣式的介面與一個繪圖視窗。Euler被設計用於高等數學，如微積分、最优化和统计学等。 該軟體可以處理實數、複數、區間、向量和矩陣，能夠生成二維和三維圖形，並使用Maxima進行符號運算。該軟體可以在Windows上編譯。Unix和Linux版本不包含計算機代數系統。 歷史 Euler Math Tool…
DrGeo
GNU Dr. Geo由Hilaire Fernande创立，是一套互動式幾何軟體，允許使用者設計與操作互動式幾何草圖，包括建構物理學中的動態模型。Dr.Geo为GNU專案旗下的自由軟體（其原始碼、翻譯、圖標以及安裝程式皆依據GNU GPL授權釋出）。它運行於Morphic圖形系統上（即可於Linux、Mac OS、Windows與Android上運行）。在發展歷程方面，Dr. Geo最初以C++語言開發，并使用Scheme作为（扩展功…
MathJax
MathJax是一个跨浏览器的JavaScript 程式庫}-，它使用MathML、和ASCIIMathML标记在Web浏览器中显示数学符号。MathJax是在Apache许可证下作为开源软件发布的。 MathJax项目始于2009年，是早期JavaScript数学格式化-{zh-cn:库;zh-tw:程式庫}-jsMath的继承者，由美国数学学会管理。该项目由美国数学学会、设计科学学会、工业和应用数学学会共同发起，并得到美国物理联合会…
SageMath
SageMath（曾叫做Sage或SAGE，为“System for Algebra and Geometry Experimentation”的首字母缩写），是一个覆盖许多数学功能的应用软件，包括代数、组合数学、图论、计算数学、数论、微积分和统计。 SAGE的第一个版本在GNU许可证下发布于2005年2月24日，最初的目标是创造一个“Magma、Maple、Mathematica和MATLAB的开源替代品”。Sage的主导开发人员威廉…
Lean
Lean是一款在含歸納類型的構造演算基礎上所開發的電腦證明助手和函數式編程語言。Lean最初由在微軟研究院下研發，目前以開源合作計劃的形式刊登在GitHub上。2023年成立的非盈利Lean集中研究組織（，縮寫Lean FRO）支持Lean的持續開發。 歷史 2013年，當時在微軟研究院工作的萊昂納多·德·莫拉發佈函數式編程語言Lean。早期版本（後來被稱為Lean 1和2）純粹為實驗版本，當時支援的同倫類型論數學基礎在後來的版本中不再…
SymPy
SymPy是一个符号计算的Python库。它的目标是成为一个全功能的计算机代数系统，同时保持代码简洁、易于理解和扩展。它完全由Python语言写成，不依赖于外部库。 SymPy支持符号计算、高精度计算、模式匹配、绘图、解方程、微积分、组合数学、离散数学、几何学、概率与统计、物理学等方面的功能。 SymPy在新BSD许可证下开源。 用例 求f(x) = \frac{x^2+2x+1+(3x+1)\sqrt{x+\ln x}}{x\,\sq…
Xcas
Xcas是Giac的圖形介面前端，Giac是一个开源的计算机代数系统（CAS），其适用于Windows、macOS和Linux以及其他许多平台。Xcas使用C++語言開發，其也可作為C++庫被其他C++程序使用。 Xcas兼容許多流行的計算機代數系統，譬如WolframAlpha、Mathematica、、Maple和MuPAD。用户可使用Giac/Xcas開發形式化算法或在其他代數系統使用。而Giac也被用于SageMath的微积分运…
KaTeX
KaTeX是一个在Web浏览器上显示數學符號的跨浏览器的JavaScript库。它特别强调快速和易于使用。 它最初由可汗學院开发。 特色 KaTeX渲染的数学公式： 快速：它以同步的方式渲染数学公式，不需要重排页面。 印刷质量：它的布局基于TeX。 自包含：它没有依赖项，所以可以很方便引用。 能够进行服务器端渲染：可以选择在服务器上生成HTML（因此可以用Node.js预先渲染公式，然后作为纯HTML发送）。 不过，与MathJax相比…