Triple
T9844156
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Cauchy interlacing theorem |
E239297
|
entity |
| Predicate | alsoKnownAs |
P39
|
FINISHED |
| Object | Cauchy interlacing property |
E239297
|
NE FINISHED |
Disambiguation candidates (1 decision)
The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Cauchy interlacing property Context triple: [Cauchy interlacing theorem, alsoKnownAs, Cauchy interlacing property]
-
A.
Cauchy interlacing theorem
chosen
The Cauchy interlacing theorem is a fundamental result in linear algebra that relates the eigenvalues of a symmetric matrix to those of its principal submatrices, showing how they "interlace" on the real line.
-
B.
Courant–Fischer min–max theorem
The Courant–Fischer min–max theorem is a fundamental result in linear algebra and spectral theory that characterizes the eigenvalues of a Hermitian (or symmetric) matrix via variational min–max principles over subspaces.
-
C.
Cauchy determinant
The Cauchy determinant is a classical determinant formula in linear algebra that gives a closed-form expression for matrices with entries of the form 1/(x_i + y_j), named after the French mathematician Augustin-Louis Cauchy.
-
D.
Weyl inequalities
Weyl inequalities are fundamental results in linear algebra that bound the eigenvalues of sums of Hermitian (or symmetric) matrices in terms of the eigenvalues of the individual matrices.
-
E.
Cauchy matrix
A Cauchy matrix is a structured matrix whose entries are defined by the reciprocals of pairwise differences of two sequences, widely used in numerical analysis, interpolation, and algebra.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ca84e3f0c48190ada72a65ebd50efd |
elicitation | completed |
| NER | batch_69cdb35dc29c819080203be5b904dc9d |
ner | completed |
| NED1 | batch_69d1e429682c8190a94339b96d4081f6 |
ned_source_triple | completed |
Created at: March 30, 2026, 8:33 p.m.