Inventory: J
The rows of the inventory whose names start with J. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 901–1000 of 3085.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| JA5RM2X7F4 | JA5RM2X7F4 | statement | open | napkin tex/alg-geom/spec-zariski.tex#proposition-2 |
| JA5VRJABBM | JA5VRJABBM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28203#YGKZ |
| JA633WPZ0M | JA633WPZ0M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.33250#6FCM |
| JA67DEMA5S | JA67DEMA5S | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.10963#J69I |
| JA6KB1ZH6Z | JA6KB1ZH6Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25457#GPPE |
| JA6XA1GMZZ | JA6XA1GMZZ | proof | open | hott_book equivalences.tex#proof-12 |
| JA7JW6KAX6 | JA7JW6KAX6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28195#SVIS |
| JA93YJJCV5 | JA93YJJCV5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30098#SB3I |
| JA99TDK8MW | JA99TDK8MW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.01599#O9Y4 |
| JA9D95P3H8 | JA9D95P3H8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.25960#8X7Z |
| JA9JKP7WH3 | JA9JKP7WH3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.08900#V7DB |
| JAAH6PZJ4H | JAAH6PZJ4H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.08149#FE01 |
| JAAKR79JTS | JAAKR79JTS | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1002.0879#ZY1Z |
| JABH5FPQ8X | JABH5FPQ8X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.04145#II28 |
| JABR3Y81ZF | JABR3Y81ZF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.02777#126E |
| JABS8JDMM9 | JABS8JDMM9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1905.00573#D8BB |
| JAC6GE43DZ | JAC6GE43DZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28336#5LH7 |
| JAC73M7KV0 | JAC73M7KV0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35320#XPSQ |
| Jack box-sum identity | VV01XBD8MW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12326#CWV0 |
| Jackson integral | 8DE5S66X00 | concept | open | Wikidata Q6117826, MathWorld q-Integral |
| Jackson's Difference Fan | 1CBMRR70JC | concept | open | Wikidata Q105332776, MathWorld JacksonsDifferenceFan |
| Jackson's inequality | 1PRCDRW0MQ | statement | open | Wikidata Q4317418, MathWorld JacksonsTheorem |
| Jackson's theorem (queueing theory) | WWGKP9K5GM | statement | open | mathlib_1000 Q2524990, Wikidata Q2524990, thousand_plus Q2524990, Wikipedia Jackson's theorem (queueing theory) |
| Jacob Bekenstein | 5X2HK6HRV5 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q504448, nLab Jacob Bekenstein |
| Jacob Bernoulli | B99F31A18M | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q122392, EoM Bernoulli,_Jakob |
| Jacob Lurie | 5TMMWN156Y | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6333335, nLab Jacob Lurie |
| Jacobi brackets | 48KJZMWCZ0 | unknown | open | Wikidata Q18419738, EoM Jacobi_brackets |
| Jacobi elliptic functions | Y4SQ59SHKQ | concept | open | Wikidata Q1473526, EoM Jacobi_elliptic_functions, MathWorld JacobiEllipticFunctions |
| Jacobi elliptic-function identities | 4SYN2RK46T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06875#M3QE |
| Jacobi field | PPAM1Z5ANN | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17004#FI32 |
| Jacobi fields for unions of planes | C2F7Z4D7NJ | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10790#VPMW |
| Jacobi form | 4GC7M3XQ51 | concept | open | Wikidata Q6119638, nLab Jacobi form |
| Jacobi fractions for the inverse-minor ratios | G0SC5JAME0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.08568#71HS |
| Jacobi identity | 7HWHBJPS5Z | statement | open | Wikidata Q1151539, MathWorld JacobiIdentities, nLab Jacobi identity |
| Jacobi lower bidiagonal factors | CJ0F060N60 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26110#72TK |
| Jacobi method | Y8VHK7D4NW | unknown | open | Wikidata Q1481893, MathWorld JacobiMethod |
| Jacobi polynomials | 775AX7TRTK | concept | open | Wikidata Q371631, MathWorld JacobiPolynomial |
| Jacobi symbol | SDA7PD70D3 | concept | node (a node has the same name as the row) | Wikidata Q241015, LMFDB knowl character.dirichlet.jacobi_symbol, MathWorld JacobiSymbol |
| Jacobi triple product | ZDDVRB851C | unknown | open | Wikidata Q507393, MathWorld JacobiTripleProduct, nLab Jacobi triple product |
| Jacobi zeta function | CY3Z4JV6BR | unknown | open | Wikidata Q6119653, MathWorld JacobiZetaFunction |
| Jacobi's four-square theorem | 7YRQRKFNKE | statement | open | mathlib_1000 Q3527095, Wikidata Q3527095, thousand_plus Q3527095, Wikipedia Jacobi's four-square theorem |
| Jacobi--Pi\ neiro polynomial Rodrigues formula | Q6PT841K5H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26110#E30O |
| Jacobi-like PBF realization of the Weyl matrices | RVB1DK3AE4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26066#KD8F |
| Jacobi/Leibniz identity | BH3XTDYT1V | unknown | open | mathlib_overview Geometry > Differentiable manifolds > Jacobi/Leibniz identity, Mathlib VectorField.leibniz_identity_mlieBracket |
| Jacobian | 650013D1M6 | unknown | open | mathlib_undergrad Numerical Analysis > Iterative methods > Jacobian |
| Jacobian and long-run weights | JEX6ENEG9X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12873#81O3 |
| Jacobian and weight estimates | CQXEX96VZY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12873#48CY |
| Jacobian Bound | F4HX7PQXJ9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14344#3CQF |
| Jacobian bound implies unfiltered gap | WYWRVXB01C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05953#PCR5 |
| Jacobian bound over a global block | 2J5XDPMTHD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14988#1N37 |
| Jacobian conjecture | HPXAHPS3VW | conjecture | open | Wikidata Q2605695, nLab Jacobian conjecture |
| Jacobian determinant | Y1FEGNMNG1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11619#MJ07 |
| Jacobian Gram perturbation | RHHNYEKYWX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27181#1WV1 |
| Jacobian identity | TM068Q02SN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05204#YP44 |
| Jacobian matrix | 1MRXR69XGN | concept | node (a node has the same Wikidata item as the row) | Wikidata Q506041, EoM Jacobian, MathWorld Jacobian, nLab Jacobian |
| Jacobian matrix | 8FP2NM95NH | unknown | open | mathlib_undergrad Multivariable calculus > Differential calculus > Jacobian matrix |
| Jacobian of projection to the river | PFHA1RV9B7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30957#AQFC |
| Jacobian Product Bound | KV5Y8ZRHCD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14344#2651 |
| Jacobian variety | MJHBZZ9TST | unknown | open | Wikidata Q845729, EoM Jacobi_variety, nLab Jacobian variety |
| Jacobson density theorem | REGAWX9FZ0 | statement | open | mathlib_1000 Q17098298, Mathlib jacobson_density, Wikidata Q17098298, thousand_plus Q17098298, Wikipedia Jacobson density theorem |
| Jacobson properties | RR0V171VNB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15887#FGLF |
| Jacobson radical | 4Y92YKCJTQ | concept | open | Wikidata Q1677769, MathWorld JacobsonRadical, nLab Jacobson radical, ProofWiki Definition:Jacobson_Radical |
| Jacobson ring | YBM98PP9BM | concept | open | Wikidata Q2620920, nLab Jacobson ring |
| Jacobson–Bourbaki theorem | 1QF1F60FP8 | statement | open | mathlib_1000 Q6119825, Wikidata Q6119825, thousand_plus Q6119825, Wikipedia Jacobson–Bourbaki theorem |
| Jacobson–Morozov theorem | WHTPGHCGZJ | statement | open | mathlib_1000 Q104841721, Wikidata Q104841721, thousand_plus Q104841721, Wikipedia Jacobson–Morozov theorem |
| Jacobsthal number | 4AFBV51NVV | object | open | Wikidata Q6119828, MathWorld JacobsthalNumber, OEIS A001045 |
| Jacques Distler | 5C8GJZXMYT | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6120564, nLab Jacques Distler |
| Jacques Dixmier | 4ECGXFEVD7 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q762461, nLab Jacques Dixmier |
| Jacques Hadamard | YZD19F63DZ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q164425, nLab Jacques Hadamard, ProofWiki Mathematician:Jacques_Salomon_Hadamard |
| Jacques Tits | SW95CAVHJB | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q451331, nLab Jacques Tits, ProofWiki Mathematician:Jacques_Tits |
| Jacquet module of the maximal factor | JEGAR3QA77 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05364#LJIZ |
| Jacquet--Piatetski-Shapiro--Shalika | S5S5B1MX1H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39539#RVF9 |
| JACSR39QX8 | JACSR39QX8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37124#RPOR |
| JAD4ZGWY7Z | JAD4ZGWY7Z | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.01912#BHPD |
| JAD51QV8KK | JAD51QV8KK | example | open | napkin tex/alg-geom/spec-zariski.tex#example-3 |
| JADJ6H0YSQ | JADJ6H0YSQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38228#G7TX |
| JADTP10633 | JADTP10633 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27151#OCLO |
| JADXZGN7QA | JADXZGN7QA | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.09333#SK4R |
| JAEKK74FD3 | JAEKK74FD3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.34845#Q3ZC |
| JAESWTZ026 | JAESWTZ026 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20577#ABYL |
| JAETVJN9F0 | JAETVJN9F0 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27360#DIR0 |
| JAF6SBGYP3 | JAF6SBGYP3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.33383#ZFYH |
| JAFN7APDGB | JAFN7APDGB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15643#MUHV |
| JAGB9EKT8M | JAGB9EKT8M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38556#YEV1 |
| JAGEQJH2MK | JAGEQJH2MK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20760#FWRE |
| JAGGAFWPDM | JAGGAFWPDM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.13100#ZFIW |
| JAGTZQ0XG2 | JAGTZQ0XG2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03555#7R4C |
| JAGZ15KJVT | JAGZ15KJVT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02017#5UCC |
| JAH9GFYQZ2 | JAH9GFYQZ2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24853#O3KL |
| JAHFBDCXZ8 | JAHFBDCXZ8 | exercise | open | austin_ula src/section7-4.xml#activity-2 |
| JAHGSF6C9J | JAHGSF6C9J | exercise | open | levin_dmoi ptx/exercises/seq-basics.ptx#exercise-19 |
| JAHZ06JGTZ | JAHZ06JGTZ | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.09049#K2BH |
| JAJTGGTD8F | JAJTGGTD8F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.40189#WII8 |
| JAK1M06CRQ | JAK1M06CRQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30018#PM1R |
| Jake O Chandler | Q3G5M19FSA | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q87744299, nLab Jake Chandler |
| JAKEWWJTNX | JAKEWWJTNX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35762#YPHP |
| JAKH69QA0B | JAKH69QA0B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28075#V029 |
| JAKN8ZBNC3 | JAKN8ZBNC3 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.08334#05HH |
| Jakob Böhme | RMMT5FQZ49 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q77017, nLab Jakob Böhme |
| Jakob Nielsen | FF1F3GZSBY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q710995, ProofWiki Mathematician:Jakob_Nielsen |