OCME · Bilingual mathematics & derivations

Question batches

36,000 questions have bilingual step-by-step derivations. Browse original batches or search and filter in the question explorer.

Search all questions & derivations →

Question batch · 100 questions

Exact Binomial Coefficients, Complete Expansions and Natural-Exponent Boundaries

Binomial theorem

batch-20261014-advance-20261109-r05-binomial-theorem-foundations

Question batch · 100 questions

Complete Partitions, Exact Cell Means, Null Cells and the Tower Identity

Law of total expectation

batch-20261014-advance-20261109-r04-law-of-total-expectation-foundations

Question batch · 100 questions

Relative Open Covers, Genuine Subcovers and Finite Compactness Boundaries

Compact subset

batch-20261014-advance-20261109-r03-compact-subset-foundations

Question batch · 100 questions

Whole Bounded Sequences, Infinite Index Maps and Strict Subsequence Tails

Bolzano-Weierstrass theorem for real sequences

batch-20261014-advance-20261109-r02-bolzano-weierstrass-theorem-real-foundations

Question batch · 100 questions

Complete Point Stabilizers, Subgroup Closure and Membership Boundaries

Stabilizer of a finite group action

batch-20261014-advance-20261109-r01-finite-group-stabilizer-foundations

Question batch · 100 questions

Oriented Edge Sets, Separate Degree Totals and Loop-Free Boundaries

Finite directed graph

batch-20261014-advance-20261108-r07-finite-directed-graph-foundations

Question batch · 100 questions

Valid Prime Products, Multiplicities, Euclid Witnesses and Sign Units

Unique prime factorization of integers

batch-20261014-advance-20261108-r06-unique-prime-factorization-foundations

Question batch · 100 questions

Indexed Intersection Terms, Exact Unions and Pairwise Truncation Boundaries

Inclusion-exclusion principle

batch-20261014-advance-20261108-r05-inclusion-exclusion-principle-foundations

Question batch · 100 questions

Exact Deviation Tails, Raw Chebyshev Bounds and Squared-Event Derivation

Chebyshev inequality

batch-20261014-advance-20261108-r04-chebyshev-inequality-foundations

Question batch · 100 questions

Complete Relative Opens, Relative Complements and Ambient Boundaries

Subspace topology

batch-20261014-advance-20261108-r03-subspace-topology-foundations

Question batch · 100 questions

Whole Monotone Tails, Strict Witnesses and Separate Hypothesis Evidence

Monotone bounded sequence convergence theorem

batch-20261014-advance-20261108-r02-monotone-sequence-convergence-theorem-foundations

Question batch · 100 questions

Complete Group Orbits, Equivalence Witnesses and Partition Certificates

Orbit of a finite group action

batch-20261014-advance-20261108-r01-finite-group-orbit-foundations

Question batch · 100 questions

Strict Affine Index Maps, Composition and Finite-Prefix Evidence

Subsequence

batch-20261014-advance-20261107-r07-subsequence-foundations

Question batch · 100 questions

Unit Residues, Exact Totient Powers and Signed Base Normalization

Euler's theorem in number theory

batch-20261014-advance-20261107-r06-euler-theorem-number-theory-foundations

Question batch · 100 questions

Total-Map Collisions, Ceiling Loads and Failed Size Converses

Pigeonhole principle

batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations

Question batch · 100 questions

Exact Tails, Raw Markov Bounds and Nonnegative-Premise Boundaries

Markov inequality

batch-20261014-advance-20261107-r04-markov-inequality-foundations

Question batch · 100 questions

Carrier Coverage, Local Refinement and Complete Topology Generation

Topological basis

batch-20261014-advance-20261107-r03-topological-basis-foundations

Question batch · 100 questions

Exact Real Bounds, Leastness, Greatestness and Unattained Endpoints

Supremum and infimum

batch-20261014-advance-20261107-r02-supremum-and-infimum-foundations

Question batch · 100 questions

Complete Group-Action Laws, Identity Rows and Independent Nonclaims

Finite group action

batch-20261014-advance-20261107-r01-finite-group-action-foundations

Question batch · 100 questions

Coset Equality, Representative Independence and Finite Quotient Dimension

Quotient vector space

batch-20261014-advance-20261106-r07-quotient-vector-space-foundations

Question batch · 100 questions

Signed Bezout Witnesses, Complete Integer Solutions and Double-Zero Cases

Linear Diophantine equation

batch-20261014-advance-20261106-r06-linear-diophantine-equation-foundations

Question batch · 100 questions

Prime Hypotheses, Exact Modular Powers and Failed Fermat Converses

Fermat's little theorem

batch-20261014-advance-20261106-r05-fermat-little-theorem-foundations

Question batch · 100 questions

Same-Law Central Moments, Second-Moment Identities and Nonclaims

Estimator variance

batch-20261014-advance-20261106-r04-estimator-variance-foundations

Question batch · 100 questions

Parameter-Indexed Expectations, Bias and Full-Model Unbiasedness

Estimator bias

batch-20261014-advance-20261106-r03-estimator-bias-foundations