# OCME · Knowledge & practice explorer

302 MKO / 1,441 families / 360 batches / 36,000 questions.

36,000 second-context math/bilingual reviewed; 0 display/symbol-checked candidates. Source questions: candidate. English: ai_candidate. No new proof, Lean, SREG or training.

100 results; page 4/4.

## Question 10876: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0026`; number: 10876
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0026/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0026/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0026.json)

## Question 10877: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0027`; number: 10877
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0027/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0027/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0027.json)

## Question 10878: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0028`; number: 10878
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0028/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0028/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0028.json)

## Question 10879: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0029`; number: 10879
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0029/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0029/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0029.json)

## Question 10880: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0030`; number: 10880
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0030/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0030/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0030.json)

## Question 10881: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0031`; number: 10881
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0031/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0031/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0031.json)

## Question 10882: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0032`; number: 10882
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0032/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0032/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0032.json)

## Question 10883: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0033`; number: 10883
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0033/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0033/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0033.json)

## Question 10884: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0034`; number: 10884
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0034/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0034/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0034.json)

## Question 10885: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0035`; number: 10885
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0035/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0035/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0035.json)

## Question 10886: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0036`; number: 10886
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0036/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0036/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0036.json)

## Question 10887: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0037`; number: 10887
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0037/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0037/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0037.json)

## Question 10888: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0038`; number: 10888
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0038/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0038/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0038.json)

## Question 10889: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0039`; number: 10889
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0039/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0039/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0039.json)

## Question 10890: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0040`; number: 10890
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0040/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0040/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0040.json)

## Question 10891: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0041`; number: 10891
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0041/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0041/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0041.json)

## Question 10892: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0042`; number: 10892
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0042/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0042/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0042.json)

## Question 10893: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0043`; number: 10893
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0043/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0043/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0043.json)

## Question 10894: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0044`; number: 10894
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0044/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0044/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0044.json)

## Question 10895: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0045`; number: 10895
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0045/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0045/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0045.json)

## Question 10896: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0046`; number: 10896
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0046/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0046/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0046.json)

## Question 10897: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0047`; number: 10897
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0047/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0047/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0047.json)

## Question 10898: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0048`; number: 10898
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0048/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0048/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0048.json)

## Question 10899: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0049`; number: 10899
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0049/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0049/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0049.json)

## Question 10900: A Given Coefficient Witness against a Target Vector

- ID: `q-20261013-advance-20261023-r02-linear-combination-span-0050`; number: 10900
- Processing: second_context_reviewed
- MKO: [mko-linear-combination-span](/en/mko/mko-linear-combination-span/)
- Family: [qf-mod23-span-witness-audit](/en/explore/?family=qf-mod23-span-witness-audit)
- Batch: [batch-20261013-advance-20261023-r02-linear-combination-span-foundations](/en/explore/?batch=batch-20261013-advance-20261023-r02-linear-combination-span-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0050/) / [Markdown](/en/questions/q-20261013-advance-20261023-r02-linear-combination-span-0050/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261023-r02-linear-combination-span-0050.json)

