其他
3,534 个结果
- Describe PrparcadeiGenerate comprehensive PR descriptions following repository templates
- Discovery InterviewparcadeiDeep interview process to transform vague ideas into detailed specs. Works for technical and non-technical users.
- EigenvaluesparcadeiProblem-solving strategies for eigenvalues in linear algebra
- Explicit IdentityparcadeiExplicit Identity Across Boundaries
- FieldsparcadeiProblem-solving strategies for fields in abstract algebra
- First Order OdesparcadeiProblem-solving strategies for first order odes in odes pdes
- Graceful DegradationparcadeiGraceful Degradation with Helpful Messages
- Gradient MethodsparcadeiProblem-solving strategies for gradient methods in optimization
- Graph AlgorithmsparcadeiProblem-solving strategies for graph algorithms in graph number theory
- GroupsparcadeiProblem-solving strategies for groups in abstract algebra
- Hilbert SpacesparcadeiProblem-solving strategies for hilbert spaces in functional analysis
- HooksparcadeiHook Development Rules
- Idempotent RedundancyparcadeiIdempotent Redundancy
- Index At CreationparcadeiIndex at Creation Time
- Integration TheoryparcadeiProblem-solving strategies for integration theory in measure theory
- InterpolationparcadeiProblem-solving strategies for interpolation in numerical methods
- Lebesgue MeasureparcadeiProblem-solving strategies for lebesgue measure in measure theory
- LimitsparcadeiProblem-solving strategies for limits in real analysis
- Limits ColimitsparcadeiProblem-solving strategies for limits colimits in category theory
- Loogle SearchparcadeiSearch Mathlib for lemmas by type signature pattern
- Math HelpparcadeiGuide to the math cognitive stack - what tools exist and when to use each
- Math RouterparcadeiDeterministic router for math cognitive stack - maps user intent to exact CLI commands
- MatricesparcadeiProblem-solving strategies for matrices in linear algebra
- Modular ArithmeticparcadeiProblem-solving strategies for modular arithmetic in graph number theory