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 Priors, Likelihoods, Partition Normalization and Zero Denominators

Bayes theorem

batch-20261014-advance-20261102-r06-bayes-theorem-foundations

Question batch · 100 questions

Finite Universal Compactness and Separate Supplied-Cover Audits

Compact topological space

batch-20261014-advance-20261102-r05-compact-topological-space-foundations

Question batch · 100 questions

Topology-Relative Boundaries, Complements and Empty/Whole Sets

Topological boundary

batch-20261014-advance-20261102-r04-topological-boundary-foundations

Question batch · 100 questions

Full Real Column Images, Exact Membership and Noninteger Preimages

Image of a linear map

batch-20261014-advance-20261102-r03-linear-map-image-foundations

Question batch · 100 questions

Zero-Target Kernels, Full Real Bases and Bounded-Search Boundaries

Kernel of a linear map

batch-20261014-advance-20261102-r02-linear-map-kernel-foundations

Question batch · 100 questions

Basis Qualification, Exact Dimension and One-Way Family Bounds

Dimension of a finite-dimensional vector space

batch-20261014-advance-20261102-r01-vector-space-dimension-foundations

Question batch · 100 questions

Complete DFA Tables, Ordered Word Traces and Empty-Word Acceptance

Deterministic finite automaton

batch-20261014-advance-20261101-r07-finite-automaton-foundations

Question batch · 100 questions

Complete Coprime Representatives, Phi of One and Coprime Multiplicativity

Euler totient function

batch-20261014-advance-20261101-r06-euler-totient-function-foundations

Question batch · 100 questions

Endpoint-Disjoint Matchings, Maximality and Larger-Witness Distinctions

Graph matching

batch-20261014-advance-20261101-r05-graph-matching-foundations

Question batch · 100 questions

Positive-Atom Tails, Null-Atom Exceptions and Finite-Prefix Evidence Limits

Almost-sure convergence

batch-20261014-advance-20261101-r04-almost-sure-convergence-foundations

Question batch · 100 questions

Original Open Covers, Indexed Subcovers and Inclusion-Minimality Boundaries

Open cover and subcover

batch-20261014-advance-20261101-r03-open-cover-and-subcover-foundations

Question batch · 100 questions

Complete Topology-Relative Closure, Interior and Membership

Topological closure and interior

batch-20261014-advance-20261101-r02-closure-and-interior-foundations

Question batch · 100 questions

Universal Homogeneous Subspaces, Affine Boundaries and Finite Counterexamples

Real vector subspace

batch-20261014-advance-20261101-r01-vector-subspace-foundations

Question batch · 100 questions

Constant-Expectation Counterexamples, Conditional Differences, Affine Stability and Fair Sums

Finite martingale

batch-20261014-advance-20261031-r07-martingale-foundations

Question batch · 100 questions

Prime-Field Characteristic, Multiplicative Powers, Affine Equations and Frobenius

Finite field

batch-20261014-advance-20261031-r06-finite-field-foundations

Question batch · 100 questions

Complete Coloring Audits, Nonoptimal Upper Bounds and Color-Name Invariance

Graph coloring

batch-20261014-advance-20261031-r05-graph-coloring-foundations

Question batch · 100 questions

Proper-Ideal Cosets and Representative-Independent Quotient Operations

Quotient ring of a finite ring

batch-20261014-advance-20261031-r04-finite-quotient-ring-foundations

Question batch · 100 questions

Bernoulli CDF Tails, Limit Continuity Points and Finite-Prefix Limits

Convergence in distribution

batch-20261014-advance-20261031-r03-convergence-in-distribution-foundations

Question batch · 100 questions

Complete Bipartitions, Actual Odd Cycles and Isolated-Vertex Boundaries

Bipartite graph

batch-20261014-advance-20261031-r02-bipartite-graph-foundations

Question batch · 100 questions

Complete Finite Certificates, Universal Integer Encodings and Failed-Witness Boundaries

At-most-countable set

batch-20261014-advance-20261031-r01-at-most-countable-set-foundations

Question batch · 100 questions

Symbolic Deviation Tails, Finite-Prefix Limits and Eventual Equality

Convergence in probability

batch-20261014-advance-20261030-r07-convergence-in-probability-foundations

Question batch · 100 questions

Exact Cumulative Masses, Jumps, Monotonicity and Right Continuity

Cumulative distribution function

batch-20261014-advance-20261030-r06-cumulative-distribution-function-foundations

Question batch · 100 questions

Mapping-Bound Injection, Surjection, Bijection and Finite Pigeonhole Certificates

Cardinality comparison of sets

batch-20261014-advance-20261030-r05-cardinality-comparison-foundations

Question batch · 100 questions

Distinct Full Classes, Canonical Projection and Partition Boundaries

Quotient set

batch-20261014-advance-20261030-r04-quotient-set-foundations