不定积分过程生成器（By Mathematica）
☆45Nov 4, 2023Updated 2 years ago
Alternatives and similar repositories for IntWithStepsOfTeXForm
Users that are interested in IntWithStepsOfTeXForm are comparing it to the libraries listed below
Sorting:
- Enhancement for Rubi steps.☆15Feb 23, 2023Updated 3 years ago
- 几何表达式仓库☆11Nov 4, 2025Updated 4 months ago
- Solving Competition Geometry Problems in Lean☆33Aug 26, 2025Updated 6 months ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Nov 29, 2019Updated 6 years ago
- 单纯群精华信息汇总☆20Dec 13, 2024Updated last year
- Wolfram学生大使演讲PPT☆14Aug 26, 2020Updated 5 years ago
- 个人LaTeX学习笔记。☆25Apr 14, 2019Updated 6 years ago
- Edit (code, prose) with things other than code☆12Aug 27, 2021Updated 4 years ago
- Tsim Sans | 源幅黑体 | 源幅黑體 | 源幅ゴシック; Simple modifications to SHS to bring proportional glyph metrics to legacy environments.☆12Jan 17, 2022Updated 4 years ago
- Compile Wolfram Language functions into C++ code and binary☆130Feb 14, 2021Updated 5 years ago
- 没分支的 rCore-Tutorial☆51Jan 8, 2026Updated 2 months ago
- Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.☆41Feb 15, 2026Updated last month
- 一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿数学研究中的潜在能力。☆17May 16, 2025Updated 10 months ago
- 【Equim 自用 fork。diverse 越来越多所以会用 cherry-pick 而不是 merge】用 Express 和 Vue3 搭建的 ChatGPT 演示网页☆10Jun 20, 2023Updated 2 years ago
- 东方相关 QQ 群组列表☆14Mar 6, 2026Updated 2 weeks ago
- A WYSIWYG editor plugin made by vditor for django☆17Jul 11, 2025Updated 8 months ago
- ☆10Jan 21, 2019Updated 7 years ago
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆12Apr 16, 2024Updated last year
- iEDA water-drop training initiative☆14Sep 10, 2024Updated last year
- 常微分方程（丁同仁、李承治著）习题解☆23Mar 1, 2024Updated 2 years ago
- ☆13Sep 12, 2018Updated 7 years ago
- Chisel3 AXI4-{Lite, Full, Stream} Definitions☆15Dec 31, 2018Updated 7 years ago
- All simpad's firmwares which based on 8051 chipset☆10Oct 3, 2022Updated 3 years ago
- ☆15Apr 12, 2023Updated 2 years ago
- 使用 THBWiki-Markdown-Builder 生成的 Markdown 格式的 THBWiki 静态页面☆18Jul 23, 2024Updated last year
- A JDK version manager for Windows written in Kotlin Native☆12Feb 14, 2026Updated last month
- tool for turning Lean proofs into Blender animations☆84Dec 28, 2025Updated 2 months ago
- MIT 18.02 lecture notes on multivar☆27Mar 3, 2026Updated 2 weeks ago
- Smarter title casing for Sublime Text☆21Jul 14, 2019Updated 6 years ago
- Bi-directional record in type-safe way☆17Sep 26, 2024Updated last year
- ☆19Apr 5, 2025Updated 11 months ago
- Lean 形式化数学☆17Dec 20, 2025Updated 3 months ago
- 💥 Sublime Text 3 Plugin to automatically insert whitespace between CJK (Chinese, Japanese, Korean) and half-width characters (alphabetic…☆18Nov 6, 2016Updated 9 years ago
- katago benchmark☆14Mar 2, 2022Updated 4 years ago
- A Multi-scale Transformer-based Decoder for Semantic Segmentation☆20Aug 16, 2023Updated 2 years ago
- [CVPR 2025🔥] Official codebase for "Global-Local Tree Search in VLMs for 3D Indoor Scene Generation"☆20Apr 18, 2025Updated 11 months ago
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 10 years ago
- A framework for ysyx flow☆13Oct 31, 2024Updated last year