Skills tagged: mathematics

• lean4-proof - Complete Lean 4 mathematical proofs for sequences.

  lean4theorem-provingmathematicssequences

  ★ 13 · Updated 2026-09-14

  Completes Lean 4 mathematical proofs for sequences and convergence, ensuring type checking passes without warnings.

  ⚙ Complete Lean 4 mathematical proofs⚙ Prove sequence and series properties⚙ Verify proofs with Lean toolchain
• latex-formula-polish - LaTeX Formula Typesetting and Revision Harness

  latexmathematicstypesettingpdf-generation

  ★ 0 · Updated 2026-09-13

  Write and revise LaTeX mathematical content using a typesetting harness to preserve meaning, ensure clean compilation, and maintain visual structure.

  ⚙ Write LaTeX mathematical content⚙ Revise LaTeX formula layouts⚙ Scan LaTeX log warnings
• bmad-ml-sage - Sage: Mathematical foundations and theory specialist

  machine-learningmathematicsoptimization-theorystatistical-learning

  ★ 0 · Updated 2026-09-13

  Provides mathematical analysis, theoretical proofs, and convergence guarantees for machine learning models.

  ⚙ Perform theoretical mathematical analysis⚙ Analyze convergence assumptions⚙ Formulate mathematical model architecture
• manim-video - Create mathematical animations with Manim

  animationmathematicsvisualizationvideo

  ★ 452 · Updated 2026-06-15

  Production pipeline for mathematical and technical animations using Manim Community Edition

  ⚙ create explainer videos⚙ visualize algorithms⚙ derive equations
• matlab - MATLAB/Octave Numerical Computing

  numerical computingmathematicsdata analysisvisualization

  ★ 602 · Updated 2026-06-15

  Execute MATLAB/GNU Octave scripts for matrix operations, data analysis, and scientific computing

  ⚙ execute scripts⚙ create matrices⚙ plot data
• latex-manual - LaTeX Document Typesetting and Formatting

  document typesettingLaTeXacademic writingtechnical documentation

  ★ 602 · Updated 2026-05-11

  Comprehensive LaTeX reference with commands, templates, and troubleshooting for document typesetting

  ⚙ write LaTeX documents⚙ create mathematical equations⚙ format academic documents
• math-formula-calculator - Excel Formula Calculator

  mathematicscalculationexcel

  ★ 0 · Updated 2026-03-22

  Parse and calculate Excel formulas step by step with boundary validation

  ⚙ parse formula⚙ calculate step⚙ validate boundary
• lattices - Lattices and Quadratic Forms

  mathematicslatticesalgebraquadratic forms

  ★ 2 · Updated 2026-03-19

  Use when working with lattices, quadratic forms, or discrete subgroups of Euclidean space

  ⚙ define bilinear form⚙ define inner product⚙ define quadratic form
• julia-numerical - Julia Numerical Computing for Mathematical Analysis and Scientific Calculations

  numerical-computingmathematicsjuliascientific-computing

  ★ 18 · Updated 2026-02-15

  Execute numerical calculations and mathematical computations using the Julia programming language

  ⚙ Perform matrix operations⚙ Solve differential equations⚙ Execute numerical integration
• julia-numerical - Julia Numerical Computing for Scientific Calculations

  numerical-computationscientific-computingjuliamathematics

  ★ 3 · Updated 2026-02-15

  Perform numerical calculations and mathematical computations using Julia.

  ⚙ Perform matrix operations⚙ Solve linear algebra problems⚙ Execute numerical integration
• proof-by-contradiction - Proof by Contradiction: Mathematical Proof Technique

  mathematicsprooflogictheorem-proving

  ★ 4 · Updated 2026-02-14

  Proves mathematical statements by assuming the negation and deriving a contradiction

  ⚙ Negate mathematical statements⚙ Derive logical consequences⚙ Identify contradiction patterns
• periodic-orbit - Periodic Orbit Analysis in Dynamical Systems

  dynamical-systemsmathematicsphase-spaceperiodic-trajectory

  ★ 602 · Updated 2026-02-14

  Analyzes closed trajectories in phase space for understanding qualitative behavior of differential equations

  ⚙ analyze closed trajectories⚙ study local behavior⚙ examine global structure
• synchronization - Synchronization in Coupled Dynamical Systems

  dynamical-systemsmathematicssynchronization

  ★ 64 · Updated 2026-02-13

  Convergence to common trajectory in coupled systems

  ⚙ analyze local behavior⚙ study global structure⚙ identify bifurcations
• fibonacci-optimization - Fibonacci and Golden Ratio Optimization for Evolutionary Algorithms

  optimizationalgorithmsmathematicssearch

  ★ 18 · Updated 2026-02-13

  Uses Fibonacci sequence and Golden Ratio for parameter optimization and evolutionary search strategies

  ⚙ control population size⚙ search parameter space⚙ sample points uniformly
• limits-colimits - Limits and Colimits Problem Solving in Category Theory

  mathematicscategory-theorylimitscomputation

  ★ 18 · Updated 2026-02-13

  Problem-solving strategies for limits and colimits in category theory

  ⚙ identify limit types⚙ verify universal properties⚙ compute limits concretely
• fibonacci-optimization - Fibonacci and Golden Ratio Optimization for Evolutionary Search

  optimizationevolutionary-algorithmsmathematicsparameter-tuning

  ★ 602 · Updated 2026-02-12

  Optimizes parameter searches and population management using Fibonacci sequence and Golden Ratio principles

  ⚙ optimize hyperparameters⚙ manage population sizes⚙ perform spatial searches
• recurrence-solver - Expert Recurrence Relation Solver for Algorithm Analysis

  computer-sciencealgorithm-analysismathematics

  ★ 1,788 · Updated 2026-02-12

  Solves recurrence relations using multiple mathematical methods including Master Theorem and generating functions

  ⚙ Apply Master Theorem⚙ Use substitution method⚙ Analyze recursion trees
• limits-colimits - Limits Colimits Problem Solving in Category Theory

  category-theorylimitscolimitsmathematics

  ★ 602 · Updated 2026-02-12

  Problem-solving strategies for limits and colimits in category theory

  ⚙ identify limit types⚙ verify universal property⚙ compute limits concretely
• eigenvalues - Eigenvalues problem-solving in linear algebra

  linear algebramathematicseigenvaluesmatrix

  ★ 18 · Updated 2026-02-12

  Problem-solving strategies for eigenvalues in linear algebra

  ⚙ compute characteristic polynomial⚙ find eigenvalues⚙ find eigenvectors
• eigenvalues - Eigenvalue Problem Solving in Linear Algebra

  linear algebraeigenvaluesmathematicsproblem-solving

  ★ 602 · Updated 2026-02-12

  Provides strategies and tools for solving eigenvalue problems in linear algebra

  ⚙ compute characteristic polynomial⚙ find eigenvalues⚙ find eigenvectors

Scroll to load more