1036개의 스킬
Interface with Mathematica/Wolfram Language for advanced symbolic computation
High-performance numerical linear algebra operations
Manage and execute mathematical benchmark suites
Calculate combinatorial values with modular arithmetic
Polynomial chaos for uncertainty propagation
Rigorous floating-point error analysis
SageMath for comprehensive mathematical computation
Solve convex optimization problems efficiently
Numerical methods for ordinary differential equations
Open-source computer algebra system for symbolic computation
Formal theorem proving with research, testing, and verification phases
Problem-solving strategies for open sets in topology
Problem-solving strategies for limits colimits in category theory
Problem-solving strategies for convergence in real analysis
Problem-solving strategies for rings in abstract algebra
Metacognitive check-ins during problem solving - detects when to pivot or persist
Problem-solving strategies for fields in abstract algebra
Problem-solving strategies for groups in abstract algebra
Develops mathematical understanding through examples, visualization, and analogy
Problem-solving strategies for graph algorithms in graph number theory
Problem-solving strategies for source coding in information theory
Problem-solving strategies for modular arithmetic in graph number theory
Problem-solving strategies for banach spaces in functional analysis
Problem-solving strategies for second order odes in odes pdes
Problem-solving strategies for matrices in linear algebra
Problem-solving strategies for natural transformations in category theory
Guide to the math cognitive stack - what tools exist and when to use each
Problem-solving strategies for prime numbers in graph number theory
Problem-solving with Rudin's Real and Complex Analysis textbook
Problem-solving strategies for propositional logic in mathematical logic