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

Separate Nesting, Adaptedness, Conditional Steps and Expectation Consequences

Finite martingale

batch-20261014-advance-20261030-r03-martingale-foundations

Question batch · 100 questions

Same-Space Hilbert Certificates, Component Binding, Distance and Orthogonality

Real Hilbert space

batch-20261014-advance-20261030-r02-real-hilbert-space-foundations

Question batch · 100 questions

Complete Nonzero Inverses, Safe Division and the Finite-Domain Theorem

Finite field

batch-20261014-advance-20261030-r01-finite-field-foundations

Question batch · 100 questions

Complete Classes, Membership, Conditional Representative Invariance and Disjointness

Equivalence class

batch-20261014-advance-20261029-r07-equivalence-class-foundations

Question batch · 100 questions

Bernoulli Cylinders, Full Marginals, Finite Factorization and Infinite-IID Evidence

Independent identically distributed sequence

batch-20261014-advance-20261029-r06-iid-sequence-foundations

Question batch · 100 questions

Complete Information Refinement, Separate Adaptedness and Measurable Events

Finite filtration

batch-20261014-advance-20261029-r05-finite-filtration-foundations

Question batch · 100 questions

Blockwise Conditional Means, Measurability, Integrals and Null-Block Boundaries

Finite conditional expectation

batch-20261014-advance-20261029-r04-conditional-expectation-foundations

Question batch · 100 questions

Exact Induced Norms, Distances, Cauchy–Schwarz and Parallelogram Checks

Inner-product-induced norm

batch-20261014-advance-20261029-r03-inner-product-induced-norm-foundations

Question batch · 100 questions

Finite-Support Polynomial Operations, Zero-Divisor Degree Collapse and an Infinite Carrier

Polynomial ring over a finite commutative ring

batch-20261014-advance-20261029-r02-polynomial-ring-over-finite-commutative-ring-foundations

Question batch · 100 questions

Complete Zero-Divisor Audits, Nonzero Cancellation and the Finite Inverse Step

Finite integral domain

batch-20261014-advance-20261029-r01-finite-integral-domain-foundations

Question batch · 100 questions

Complete Reachability Components, Reflexivity and Isolated-Vertex Partitions

Connected component

batch-20261014-advance-20261028-r07-connected-component-foundations

Question batch · 100 questions

Full Joint Factorization, Value Events and One-Way Covariance Consequences

Independence of random variables

batch-20261014-advance-20261028-r06-random-variable-independence-foundations

Question batch · 100 questions

Exact Column/Row Operator Norms, Individual Inputs and Uniform Bounds

Bounded linear operator

batch-20261014-advance-20261028-r05-bounded-linear-operator-foundations

Question batch · 100 questions

Bilinear Evaluation, Symmetry and Strict Sylvester Inner-Product Qualification

Real inner-product space

batch-20261014-advance-20261028-r04-real-inner-product-space-foundations

Question batch · 100 questions

Same-Space Banach Certificates, Component Binding, Distance and Evidence Modes

Real Banach space

batch-20261014-advance-20261028-r03-real-banach-space-foundations

Question batch · 100 questions

Additive Subgroups, Separate Left/Right Absorption and Trivial Ideals

Finite two-sided ideal

batch-20261014-advance-20261028-r02-finite-two-sided-ideal-foundations

Question batch · 100 questions

Complete Commutative-Ring Qualification, Product Swaps, Powers and Binomial Squares

Finite commutative ring

batch-20261014-advance-20261028-r01-finite-commutative-ring-foundations

Question batch · 100 questions

Complete Walk Qualification, Simple Paths, Step Lengths and Repetition Boundaries

Graph walks and simple paths

batch-20261014-advance-20261027-r07-graph-walk-simple-path-foundations

Question batch · 100 questions

Exact Event Independence, Conditional Equivalence, Complements and Zero Mass

Event independence

batch-20261014-advance-20261027-r06-event-independence-foundations

Question batch · 100 questions

Rectangular Linear Maps, Affine Bias, Additivity and Linear Combinations

Linear map between real vector spaces

batch-20261014-advance-20261027-r05-general-linear-map-foundations

Question batch · 100 questions

Ordered Matrix Bilinear Values, Separate Slots and Additional Symmetry

Real bilinear form

batch-20261014-advance-20261027-r04-real-bilinear-form-foundations

Question batch · 100 questions

Finite-Space Completeness, Explicit Cauchy Limits and Correctly Labeled Non-Cauchy Counterexamples

Complete metric space

batch-20261014-advance-20261027-r03-complete-metric-space-foundations

Question batch · 100 questions

Named Norm-Induced Distances, Symmetry, Triangles and Evidence Modes

Norm-induced metric

batch-20261014-advance-20261027-r02-norm-induced-metric-foundations

Question batch · 100 questions

Complete Finite Ring Tables, Relabeled Identities, Additive Inverses and Powers

Finite unital ring

batch-20261014-advance-20261027-r01-finite-unital-ring-foundations