带有该标签的 Skills：数学

• lean4-proof - 在 Lean 4 中完成序列与收敛性的数学证明。

  lean4定理证明数学序列

  ★ 13 · 更新于 2026-09-14

  完成 Lean 4 中序列与收敛性的数学证明，并确保类型检查无警告通过。

  ⚙ 完成 Lean 4 数学证明⚙ 证明序列与级数性质⚙ 使用 Lean 工具链验证证明
• latex-formula-polish - LaTeX 数学公式编写与排版润色

  latex数学公式排版pdf生成

  ★ 0 · 更新于 2026-09-13

  使用排版 Harness 编写与修改 LaTeX 数学内容，确保编译无误、无 Overfull 警告且结构稳定。

  ⚙ 编写 LaTeX 数学内容⚙ 润色 LaTeX 公式布局⚙ 扫描 LaTeX 日志警告
• bmad-ml-sage - Sage：机器学习数学基础与理论专家

  机器学习数学优化理论统计学习

  ★ 0 · 更新于 2026-09-13

  为机器学习模型提供数学分析、理论证明与收敛性保证。

  ⚙ 进行理论数学分析⚙ 分析收敛性假设⚙ 构建模型架构数学框架
• manim-video - 使用 Manim 创建数学动画

  动画数学可视化视频

  ★ 543 · 更新于 2026-06-15

  使用 Manim Community Edition 制作数学和技术动画的生产流水线

  ⚙ 创建讲解视频⚙ 可视化算法⚙ 推导方程
• matlab - MATLAB/Octave 数值计算

  数值计算数学数据分析可视化

  ★ 602 · 更新于 2026-06-15

  执行 MATLAB/GNU Octave 脚本进行矩阵运算、数据分析和科学计算

  ⚙ 执行脚本⚙ 创建矩阵⚙ 绘制图表
• latex-manual - LaTeX文档排版与格式化

  文档排版LaTeX学术写作技术文档

  ★ 602 · 更新于 2026-05-11

  提供LaTeX文档排版命令、模板和故障排除的综合参考

  ⚙ 编写LaTeX文档⚙ 创建数学公式⚙ 格式化学术文档
• math-formula-calculator - Excel公式计算专家

  数学计算Excel

  ★ 2 · 更新于 2026-03-22

  Excel公式解析、分步计算与边界验证，专用于招投标价格分计算

  ⚙ 解析公式⚙ 分步计算⚙ 验证边界
• lattices - 格与二次型工具

  数学格代数二次型

  ★ 2 · 更新于 2026-03-19

  用于处理格、二次型或欧几里得空间的离散子群

  ⚙ 定义双线性形式⚙ 定义内积⚙ 定义二次型
• julia-numerical - Julia 数值计算：用于数学分析和科学计算

  数值计算数学julia科学计算

  ★ 18 · 更新于 2026-02-15

  使用 Julia 编程语言执行数值计算和数学运算

  ⚙ 执行矩阵运算⚙ 求解微分方程⚙ 执行数值积分
• julia-numerical - Julia数值计算与科学计算

  数值计算科学计算Julia数学

  ★ 3 · 更新于 2026-02-15

  使用Julia执行数值计算和数学运算。

  ⚙ 执行矩阵运算⚙ 解决线性代数问题⚙ 执行数值积分
• proof-by-contradiction - 反证法：数学证明技术

  数学证明逻辑定理证明

  ★ 4 · 更新于 2026-02-14

  通过假设否定并推导矛盾来证明数学陈述

  ⚙ 否定数学陈述⚙ 推导逻辑结果⚙ 识别矛盾模式
• periodic-orbit - 动力系统中的周期轨道分析

  动力系统数学相位空间周期轨迹

  ★ 602 · 更新于 2026-02-14

  分析相空间中的闭合轨迹，用于理解微分方程的定性行为

  ⚙ 分析闭合轨迹⚙ 研究局部行为⚙ 检查全局结构
• synchronization - 耦合动力系统中的同步

  动力系统数学同步

  ★ 64 · 更新于 2026-02-13

  耦合系统中向共同轨迹的收敛

  ⚙ 分析局部行为⚙ 研究全局结构⚙ 识别分岔点
• fibonacci-optimization - 基于斐波那契数列和黄金比例的进化算法优化

  优化算法数学搜索

  ★ 18 · 更新于 2026-02-13

  使用斐波那契数列和黄金比例进行参数优化和进化搜索策略

  ⚙ 控制种群大小⚙ 搜索参数空间⚙ 均匀采样点
• limits-colimits - 范畴论中的极限与余极限问题求解

  数学范畴论极限计算

  ★ 18 · 更新于 2026-02-13

  范畴论中极限和余极限的问题求解策略

  ⚙ 识别极限类型⚙ 验证通用性质⚙ 具体计算极限
• fibonacci-optimization - 基于斐波那契和黄金比例的进化优化搜索

  优化进化算法数学参数调优

  ★ 602 · 更新于 2026-02-12

  使用斐波那契序列和黄金比例原理优化参数搜索和种群管理

  ⚙ 优化超参数⚙ 管理种群大小⚙ 执行空间搜索
• recurrence-solver - 算法分析递推关系求解专家

  计算机科学算法分析数学

  ★ 1,788 · 更新于 2026-02-12

  使用包括Master定理和生成函数在内的多种数学方法求解递推关系

  ⚙ 应用Master定理⚙ 使用代入法⚙ 分析递归树
• limits-colimits - 范畴论极限与余极限问题求解

  范畴论极限余极限数学

  ★ 602 · 更新于 2026-02-12

  范畴论中极限与余极限的问题求解策略

  ⚙ 识别极限类型⚙ 验证泛性质⚙ 具体计算极限
• eigenvalues - 线性代数特征值问题求解

  线性代数数学特征值矩阵

  ★ 18 · 更新于 2026-02-12

  解决线性代数中的特征值问题

  ⚙ 计算特征多项式⚙ 寻找特征值⚙ 寻找特征向量
• eigenvalues - 线性代数特征值问题求解

  线性代数特征值数学问题求解

  ★ 602 · 更新于 2026-02-12

  提供线性代数中特征值问题的解决策略和工具

  ⚙ 计算特征多项式⚙ 求特征值⚙ 求特征向量

Scroll to load more