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

Complete Subgroup Closure, Conjugation and All-Element Coset Equality

Finite normal subgroup

batch-20261015-advance-20261113-r01-finite-normal-subgroup-foundations

Question batch · 100 questions

Epsilon-Closed Starts, Move-Closure Transitions and Prefix Invariants

Subset construction from an NFA to a DFA

batch-20261014-advance-20261112-r07-subset-construction-nfa-to-dfa-foundations

Question batch · 100 questions

Complete Odd-Prime Three-Valued Classification and Method Boundaries

Legendre symbol

batch-20261014-advance-20261112-r06-legendre-symbol-foundations

Question batch · 100 questions

Whole Coefficient Laws, Independent Endpoints and Zero-Infinity-Prefix Radii

Radius of convergence of a power series

batch-20261014-advance-20261112-r05-power-series-radius-of-convergence-foundations

Question batch · 100 questions

Declared Power Integrands, Independent One-Sided Limits and Principal-Value Boundaries

Improper integral

batch-20261014-advance-20261112-r04-improper-integral-foundations

Question batch · 100 questions

Hausdorff Separation, Finite Subcovers and Ambient Closedness

A compact subset of a Hausdorff space is closed

batch-20261014-advance-20261112-r03-compact-subset-closed-in-hausdorff-foundations

Question batch · 100 questions

Complete Centered Jets, Exact Factorial Coefficients and Finite Taylor Boundaries

Taylor polynomial

batch-20261014-advance-20261112-r02-taylor-polynomial-foundations

Question batch · 100 questions

Prime Divisors, Exact Element Orders and Composite-Order Nonconverses

Cauchy theorem for finite groups

batch-20261014-advance-20261112-r01-cauchy-theorem-finite-groups-foundations

Question batch · 100 questions

Finite Epsilon Closures, Existential Accepting Paths and Bounded-Search Limits

Nondeterministic finite automaton

batch-20261014-advance-20261111-r07-nondeterministic-finite-automaton-foundations

Question batch · 100 questions

Complete Nonzero Square Tables, Opposite Roots and Odd-Prime Conventions

Quadratic residue

batch-20261014-advance-20261111-r06-quadratic-residue-foundations

Question batch · 100 questions

Zero-Based Catalan Recurrence, Exact Divisibility and Both Closed Forms

Catalan numbers

batch-20261014-advance-20261111-r05-catalan-numbers-foundations

Question batch · 100 questions

Whole Continuous CDFs, Zero Jumps, Flat Intervals and Singular Boundaries

Continuous real distribution function

batch-20261014-advance-20261111-r04-continuous-real-distribution-function-foundations

Question batch · 100 questions

Complete Point-Pair Separators, Vacuous Cases and Sample Nonconclusions

Hausdorff space

batch-20261014-advance-20261111-r03-hausdorff-space-foundations

Question batch · 100 questions

Recursive Derivative Orders, Exact Polynomial Coefficients and Existence Boundaries

Higher-order derivative

batch-20261014-advance-20261111-r02-higher-order-derivative-foundations

Question batch · 100 questions

Complete Left-Coset Partitions, Divisibility and Precisely Scoped Converses

Lagrange theorem for finite groups

batch-20261014-advance-20261111-r01-lagrange-theorem-finite-groups-foundations

Question batch · 100 questions

Explicit PDA Stack Runs, Full-Input Acceptance and Bounded-Search Nonconclusions

Pushdown automaton

batch-20261014-advance-20261110-r07-pushdown-automaton-foundations

Question batch · 100 questions

Complete Divisor Transforms, Consistent Mobius Indexing and Roundtrips

Mobius inversion on finite divisor sets

batch-20261014-advance-20261110-r06-mobius-inversion-finite-divisors-foundations

Question batch · 100 questions

Oldest-to-Newest State Updates, Complete Initials and Unique Prefixes

Recurrence relation

batch-20261014-advance-20261110-r05-recurrence-relation-foundations

Question batch · 100 questions

Nonempty Partition Cells, Exact Within-Between Variance and Null Weights

Law of total variance

batch-20261014-advance-20261110-r04-law-of-total-variance-foundations

Question batch · 100 questions

Qualified Maps, Relative Cover Pullbacks and Compact-Image Nonconverses

Continuous image of a compact set

batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations

Question batch · 100 questions

Exact Polynomial Secants, Interior MVT Witnesses and Mode-Specific Boundaries

Mean value theorem

batch-20261014-advance-20261110-r02-mean-value-theorem-foundations

Question batch · 100 questions

Same-Point Orbit-Stabilizer Counts, Fibers and Left-Coset Certificates

Orbit-stabilizer theorem

batch-20261014-advance-20261110-r01-orbit-stabilizer-theorem-foundations

Question batch · 100 questions

Complete Grammars, Explicit Derivations and Bounded-Search Nonconclusions

Context-free grammar

batch-20261014-advance-20261109-r07-context-free-grammar-foundations

Question batch · 100 questions

Complete Prime Multiplicities, Positive-Domain Mobius Values and Divisor Sums

Mobius function

batch-20261014-advance-20261109-r06-mobius-function-foundations