Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/ewdlop/mathnote

I suck at writing proofs. mathematical proofs*
https://github.com/ewdlop/mathnote

algebra analysis computer-science discrete-mathematics geometry toplogy

Last synced: about 1 month ago
JSON representation

I suck at writing proofs. mathematical proofs*

Host: GitHub
URL: https://github.com/ewdlop/mathnote
Owner: ewdlop
Created: 2024-01-23T01:08:26.000Z (about 1 year ago)
Default Branch: main
Last Pushed: 2024-12-23T03:24:01.000Z (about 1 month ago)
Last Synced: 2024-12-23T03:24:28.030Z (about 1 month ago)
Topics: algebra, analysis, computer-science, discrete-mathematics, geometry, toplogy
Homepage:
Size: 19.5 KB
Stars: 0
Watchers: 1
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

README

# MathNote / Mathematics Note

## Computer Algebra

以下是一些常見的電腦代數系統（Computer Algebra Systems，CAS）：

1. **Maxima**：一個開源的電腦代數系統，源自於1960年代麻省理工學院開發的Macsyma，提供符號和數值計算功能。 citeturn0search9

2. **SageMath**：一個開源的數學軟體，整合了多種數學工具，提供統一的Python介面，適用於代數、幾何、數論等領域。

3. **Wolfram Mathematica**：一個商業數學軟體，提供廣泛的符號和數值計算功能，適用於科學、工程和數學研究。 citeturn0search8

4. **Maple**：一個商業數學軟體，專注於符號計算和數值分析，廣泛應用於教育和研究領域。

5. **SymPy**：一個用Python編寫的開源符號計算庫，適用於符號數學運算。

6. **FriCAS**：一個先進的開源電腦代數系統，功能涵蓋微積分、抽象代數等，並提供繪圖和整合的幫助系統。 citeturn0search4

7. **Axiom**：一個通用的電腦代數系統，具有強大的類型系統和編程語言，適用於數學研究和算法開發。

8. **Reduce**：一個交互式系統，適用於一般代數計算，廣泛應用於數學家、科學家和工程師。

9. **GAP**：一個專注於計算離散代數，特別是群論的系統，適用於數學研究和教育。

10. **CoCoA**：一個專門用於計算多變量多項式的開源軟體，適用於交換代數研究。

這些系統在功能、使用者介面和應用領域上各有特色，使用者可根據需求選擇合適的工具。

**時間點**：2024年11月3日，星期日，20:04:32（美國東部時間）

**Markdown格式**：

```markdown
以下是一些常見的電腦代數系統（Computer Algebra Systems，CAS）：

1. **Maxima**：一個開源的電腦代數系統，源自於1960年代麻省理工學院開發的Macsyma，提供符號和數值計算功能。 citeturn0search9

2. **SageMath**：一個開源的數學軟體，整合了多種數學工具，提供統一的Python介面，適用於代數、幾何、數論等領域。

3. **Wolfram Mathematica**：一個商業數學軟體，提供廣泛的符號和數值計算功能，適用於科學、工程和數學研究。 citeturn0search8

4. **Maple**：一個商業數學軟體，專注於符號計算和數值分析，廣泛應用於教育和研究領域。

5. **SymPy**：一個用Python編寫的開源符號計算庫，適用於符號數學運算。

6. **FriCAS**：一個先進的開源電腦代數系統，功能涵蓋微積分、抽象代數等，並提供繪圖和整合的幫助系統。 citeturn0search4

7. **Axiom**：一個通用的電腦代數系統，具有強大的類型系統和編程語言，適用於數學研究和算法開發。

8. **Reduce**：一個交互式系統，適用於一般代數計算，廣泛應用於數學家、科學家和工程師。

9. **GAP**：一個專注於計算離散代數，特別是群論的系統，適用於數學研究和教育。

10. **CoCoA**：一個專門用於計算多變量多項式的開源軟體，適用於交換代數研究。

這些系統在功能、使用者介面和應用領域上各有特色，使用者可根據需求選擇合適的工具。

**時間點**：2024年11月3日，星期日，20:04:32（美國東部時間）
```

**RSS格式**：

```xml

電腦代數系統列表
http://example.com/
常見的電腦代數系統介紹

Maxima
https://maxima.sourceforge.io/
一個開源的電腦代數系統，源自於1960年代麻省理工學院開發的Macsyma，提供符號和數值計算功能。

SageMath
https://www.sagemath.org/
一個開源的數學軟體，整合了多種數學工具，提供統一的Python介面，適用於代數、幾何、數論等領域。

Wolfram Mathematica
https://www.wolfram.com/mathematica/
一個商業數學軟體，提供廣泛的符號和數值計算功能，適用於

```

## Physical Mathematics

[Magnetic field -(https://en.wikipedia.org/wiki/Linking_number)](https://en.wikipedia.org/wiki/Linking_number#Gauss's_integral_definition)

[Physical_mathematics-(https://en.wikipedia.org/wiki/Physical_mathematics)](https://en.wikipedia.org/wiki/Physical_mathematics)

[Topological quantum field theory(https://en.wikipedia.org/wiki/Topological_quantum_field_theory)](https://en.wikipedia.org/wiki/Topological_quantum_field_theory)

- Topological quantum field theory (or topological field theory or TQFT) is a quantum field theory which computes topological invariants."

[Quantum Invaraint(https://en.wikipedia.org/wiki/Quantum_invariant)](https://en.wikipedia.org/wiki/Quantum_invariant)

[Gregory W. Moore(https://www.physics.rutgers.edu/~gmoore/)](https://www.physics.rutgers.edu/~gmoore/)

![CoursePoster.png](CoursePoster.png)