代数基本观念
☆39Jun 15, 2026Updated 4 months ago
Alternatives and similar repositories for AlgebraicBasicConcepts
Users that are interested in AlgebraicBasicConcepts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 单纯群精华信息汇总☆19Dec 13, 2024Updated last year
- 数值分析课程作业题、习题及补充（复习练习版）☆15Aug 26, 2024Updated 2 years ago
- Methods in Algebra (Volume 2): A Chinese textbook on Algebra☆46Oct 25, 2026Updated last week
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆62Feb 23, 2026Updated 8 months ago
- ☆17Apr 2, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆54Feb 19, 2024Updated 2 years ago
- 常微分方程（丁同仁、李承治著）习题解☆23Mar 1, 2024Updated 2 years ago
- 北师大Beamer模板☆16Apr 22, 2024Updated 2 years ago
- A modular decision-making framework combining graph-based physical perception with LLM-driven reasoning, tested in dynamic and uncertain …☆12Feb 27, 2026Updated 8 months ago
- notes on topos theory (Chinese)☆18Nov 28, 2024Updated last year
- 《辐射小马国：粉色双眸》的重排版☆12Oct 11, 2019Updated 7 years ago
- Examples using MetaProgramming for writing tactics etc.☆19Nov 26, 2025Updated 11 months ago
- A transpiler that converts TeX into Unicode (as possible).☆23Jul 23, 2026Updated 3 months ago
- An over-simplified MATLAB kinematics simulation that demonstrates the use of pure pro-nav for target pursuit.☆15Feb 18, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- LatexTalk☆11Mar 23, 2024Updated 2 years ago
- An aggregation of links to course materials for the AA 274 set of courses at Stanford.☆16Sep 21, 2020Updated 6 years ago
- ☆19Jan 20, 2025Updated last year
- 数学物理方程（谷超豪）习题参考解答☆35May 14, 2024Updated 2 years ago
- Transform GGB's messy TikZ exports into clean, ready-to-use code for your .tex files. One click and you're done!☆15Jun 1, 2026Updated 5 months ago
- 人像抠图APP☆12May 31, 2022Updated 4 years ago
- 唐诗三百首☆17May 19, 2025Updated last year
- A fancy book template full of ink perfume.☆16Jul 2, 2019Updated 7 years ago
- Another plug-in for using LaTeX in inkscape☆15Oct 16, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆219Apr 17, 2024Updated 2 years ago
- From Calculus to Cohomology - Ib Madsen and Jørgen Tornehave☆13Oct 2, 2026Updated last month
- 数值分析作业☆12Jan 5, 2019Updated 7 years ago
- Formalizing Euclidean Geometry in Lean☆30Mar 21, 2024Updated 2 years ago
- Highlight codes and demos with l3regex and lpeg☆18Mar 1, 2025Updated last year
- Lecture Notes for Algebra Lectures at the University of Bonn☆16Sep 4, 2024Updated 2 years ago
- Disable baseband firmware signature on Sony Xperia SP & Samsung s7275r☆11Apr 17, 2017Updated 9 years ago
- Build desktop with a web frontend.☆12Oct 1, 2026Updated last month
- Representation of (non-)Unicode Chinese characters in HTML and LaTeX☆12Jun 19, 2019Updated 7 years 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.
- GeoGebra step-by-step solver engine (mirror)☆23Sep 25, 2026Updated last month
- 不定积分过程生成器（By Mathematica）☆43Nov 4, 2023Updated 3 years ago
- okl4 git for porting to realview_eb RTSM platform☆15Oct 17, 2012Updated 14 years ago
- 天津医科大学，生物医学工程与技术学院，《Linux系统概论》课程资料☆18Mar 5, 2026Updated 8 months ago
- Analysis of the end game of Liar's Dice / Dudo☆11Jan 10, 2022Updated 4 years ago
- 学术主页 | Academic Page☆14Updated this week
- Course notes for Cyber Security (THUCST 2023 Spring)☆35Jun 11, 2023Updated 3 years ago