A beginner-friendly, open-source introduction to mathematical proofs, with guided examples from competition mathematics. Designed for students transitioning into formal proofs without requiring real analysis.
The AMC Problem Trainer sources past AMC problems adaptively to improve user practice efficiency.
Solution complète du problème B6 du concours Putnam 2011 — le problème où pas 1 des 3407 candidats a marqué, ne serait-ce, qu'un seul point. Démonstration via l'exponentielle tronquée, racines doubles sur les corps finis et construction auxiliaire G(x) = F(x) - x + x^p.
My advanced mathematical problem-solving guide with detailed, step-by-step solutions and analysis, aimed at building graduate-level problem-solving skills for math competitions, AI/ML, data science, and theoretical work.
Reproducible 0ドル local study: naive QLoRA SFT degrades small-model AMC reasoning (Qwen3 1.7B/4B), with contamination-controlled eval. MLX on a MacBook M4.
Accurate classification of topics and skills tested in competitive math problems
AMC 10 bilingual mind map (algebra/geometry/number theory/combinatorics) with interactive progress tracking
To associate your repository with the competition-math topic, visit your repo's landing page and select "manage topics."