Tagged math
Every skill with this tag, from any category.
aris-proof-writerOpenLAIR/dr-clawWrite and check rigorous mathematical proofs for ML and AI theorems and lemmas★1.2Karis-proof-writerWrite and check rigorous mathematical proofs for ML and AI theorems and lemmas
gongkao-huasheng13WangJunqing-coder/huasheng13-skillPractice civil service exam tactics for math, logic, verbal reasoning and essays★1.1Kgongkao-huasheng13Practice civil service exam tactics for math, logic, verbal reasoning and essays
calculatorfuyuxiang/echo-agentRun math, unit conversions, date arithmetic and currency conversions with Python★1KcalculatorRun math, unit conversions, date arithmetic and currency conversions with Python
astropy-astronomybeita6969/ScienceClawCompute coordinates, read FITS files and run cosmology math with Astropy★1Kastropy-astronomyCompute coordinates, read FITS files and run cosmology math with Astropy
- lean4-proverbeita6969/ScienceClawProve theorems and check formal proofs with the Lean 4 prover★1Klean4-prover
Prove theorems and check formal proofs with the Lean 4 prover
- math-computationbeita6969/ScienceClawSolve equations, integrals and differential equations with Python numerical tools★1Kmath-computation
Solve equations, integrals and differential equations with Python numerical tools
- scientific-reasoningbeita6969/ScienceClawWork through mathematical and physical problems with formal proof construction★1Kscientific-reasoning
Work through mathematical and physical problems with formal proof construction
- sympy-mathbeita6969/ScienceClawSolve equations, do calculus and manipulate symbolic math with SymPy★1Ksympy-math
Solve equations, do calculus and manipulate symbolic math with SymPy