Methods in Algebra (Volume 2): A Chinese textbook on Algebra
☆44Sep 18, 2026Updated this week
Alternatives and similar repositories for AlJabr-2
Users that are interested in AlJabr-2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Yanqi Lake Lectures on Algebra, Part III☆60Jul 5, 2026Updated 2 months ago
- Methods in Algebra (Volume 1): A Chinese textbook on Algebra☆515Updated this week
- Introduction to Modular Forms: A Chinese textbook about modular forms☆81Jun 9, 2026Updated 3 months ago
- 代数基本观念☆36Jun 15, 2026Updated 3 months ago
- ☆12Sep 15, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Auto math prover.☆10Jul 10, 2024Updated 2 years ago
- This repository provides a collection of LaTeX class templates designed to enhance the clarity and conciseness of the main.tex files. It …☆13Sep 11, 2026Updated last week
- Suggested conventions and examples for Lean formalization of IMO problem statements☆18Aug 27, 2026Updated 3 weeks ago
- A transpiler that converts TeX into Unicode (as possible).☆23Jul 23, 2026Updated last month
- TESPy model of a supercritical CO2 power cycle☆12Aug 21, 2026Updated 3 weeks ago
- Lecture Notes for HKUST MATH2131☆34Mar 3, 2026Updated 6 months ago
- A Python program to archive certain pages on Moegirl 萌娘百科存档工具☆10Mar 22, 2020Updated 6 years ago
- The source code of the Documentation of the Asymptote Geometry Module☆10May 15, 2026Updated 4 months ago
- ☆31Dec 23, 2025Updated 8 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A RISC-V core running Debian (and a LoongArch core running Linux).☆23Nov 24, 2025Updated 9 months ago
- LatexTalk☆11Mar 23, 2024Updated 2 years ago
- All codes used for sCO2 Brayton Cycle - Master's thesis project☆15May 9, 2019Updated 7 years ago
- A list of examples on how to create a Windows installer for a Windows program using a NSIS script with dialogs, components, license, Wind…☆17Sep 11, 2022Updated 4 years ago
- Test cases for HiFiLES☆15Jun 16, 2014Updated 12 years ago
- 唐诗三百首☆17May 19, 2025Updated last year
- A LaTeX bundle for writing notes, books, and slides — with support for diagrams and interactive work with Python, gnuplot and Mathematica…☆28Apr 7, 2026Updated 5 months ago
- ☆18Jul 6, 2026Updated 2 months ago
- AutoCorrect extension for PopClip☆12Jul 12, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An axial compressor design code compatible with applications using Supercritical Carbon Dioxide (S-CO2). Written in Python for portabilit…☆20Jun 29, 2023Updated 3 years ago
- the Chinese Translation of Linear Algebra Done Right (fourth edition)☆14Oct 26, 2025Updated 10 months ago
- 数值分析课程作业题、习题及补充（复习练习版）☆15Aug 26, 2024Updated 2 years ago
- ☆65Mar 18, 2022Updated 4 years ago
- Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.☆54Feb 15, 2026Updated 7 months ago
- 天津医科大学，生物医学工程与技术学院，《Linux系统概论》课程资料☆18Mar 5, 2026Updated 6 months ago
- ☆17Updated this week
- ☆30Jun 4, 2025Updated last year
- Here is a part of notes of the mathematics classes of CFMATH/in USTC during my undergraduate period.☆18Jan 3, 2026Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆28Sep 15, 2025Updated last year
- Lean4中文教程☆37Feb 2, 2025Updated last year
- random nickname☆10Jun 1, 2023Updated 3 years ago
- ☆12Feb 23, 2025Updated last year
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 11 years ago
- ☆13Dec 18, 2025Updated 9 months ago
- This is a comprehensive mathematical note, comprising of knowledge about analysis, linear algebra, abstract algebra, and more contents is…☆18Sep 8, 2026Updated last week