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 2201–2300 of 3085.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Jordan-Chevalley-Dunford decomposition | YP1XNAYBP4 | unknown | open | mathlib_undergrad Linear algebra > Structure theory of endomorphisms > Jordan-Chevalley-Dunford decomposition, Mathlib Module.End.exists_isNilpotent_isSemisimple |
| Jordan–Hölder theorem | 9ER789N3TC | statement | node (a node has the same name as the row) | Wikidata Q737458, MathWorld Jordan-HoelderTheorem |
| Jordan–Pólya number | JHH0R8QKAR | object | open | Wikidata Q108899013, OEIS A001013 |
| Jordan–Schur theorem | Q6RN002DR3 | statement | open | mathlib_1000 Q2360531, Wikidata Q2360531, thousand_plus Q2360531, Wikipedia Jordan–Schur theorem |
| Jorge G. Russo | R9QJHX9S7C | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q30504231, nLab Jorge Russo |
| Jorge Zanelli | 6T6NK95PDF | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q113990808, nLab Jorge Zanelli |
| Josef Novák | YBWKG55EM5 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102105176, ProofWiki Mathematician:Josef_Novák |
| Josef Stefan | KC9ZSAX6KQ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q16581, ProofWiki Mathematician:Josef_Stefan |
| Joseph Amadee Goguen | YE5DJS532F | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6283491, nLab Joseph Goguen |
| Joseph Ayoub | EJ6K35XHC4 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q30529348, nLab Joseph Ayoub |
| Joseph Bernstein | CB78ESW683 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q370530, nLab Joseph Bernstein |
| Joseph H. Silverman | EW3GTPTK0Z | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q60043, nLab Joseph Silverman |
| Joseph Jean Baptiste Neuberg | GDKXQJGYJ9 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1351886, ProofWiki Mathematician:Joseph_Jean_Baptiste_Neuberg |
| Joseph Liouville | Q7HDGJV3BQ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q214549, nLab Joseph Liouville |
| Joseph Needham | F8TW83SCNC | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q318054, ProofWiki Mathematician:Noel_Joseph_Terence_Montgomery_Needham |
| Joseph Neisendorfer | N55SGMERF6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15445237, nLab Joseph Neisendorfer |
| Joseph Oscar Irwin | P3J4WRDNCF | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6285968, EoM Irwin,_Joseph_Oscar |
| Joseph P. Conlon | 4PRRCJ5YNW | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q51908683, nLab Joseph Conlon |
| Joseph Plateau | 55FT1H36QB | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q379993, ProofWiki Mathematician:Joseph_Antoine_Ferdinand_Plateau |
| Joseph Polchinski | 7MSQTE780V | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1156878, nLab Joseph Polchinski |
| Josephson effect | 1P28MWVBCX | unknown | open | Wikidata Q764228, nLab Josephson effect |
| Josephus problem | TY1HR1HF0P | problem | open | Wikidata Q1064357, MathWorld JosephusProblem, ProofWiki Definition:Josephus_Problem |
| Joshua J. Schwartz | Q5AMHF7FVY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q25492942, nLab Joshua Schwartz |
| José Edelstein | 2X87AH27S5 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q63493625, nLab José Edelstein |
| José Felipe Voloch | CCZAA4D7D0 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q20716228, nLab Felipe Voloch |
| José Miguel Figueroa-O'Farrill | BR5T8RTDX9 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102271742, nLab José Figueroa-O’Farrill |
| José Ádem | 807FCGCN6J | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q505725, nLab José Ádem |
| Joubert's theorem | S7C4H52779 | statement | open | mathlib_1000 Q104871594, Wikidata Q104871594, thousand_plus Q104871594, Wikipedia Joubert's theorem |
| joule | RB2XAG0R31 | definition | open | Wikidata Q25269, ProofWiki Definition:SI/Energy/Joule |
| Journal de l'École Polytechnique | XDAHEX79QM | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q3186845, ProofWiki Book:Journal/Journal_de_l'École_Polytechnique |
| Journal of Homotopy and Related Structures | 69XEM3EWC6 | unknown | out_of_scope (a book or a journal, not an item of mathematics) | Wikidata Q15428801, nLab Journal of Homotopy and Related Structures |
| Journal of Mathematical Analysis and Applications | Y2HMRV6ZN8 | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q15438343, ProofWiki Book:Journal/Journal_of_Mathematical_Analysis_and_Applications |
| Journal of Research of the National Bureau of Standards (United States) | 401JEPD9P2 | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q96329221, ProofWiki Book:Journal/Journal_of_Research_of_the_National_Bureau_of_Standards |
| Journal of the American Mathematical Society | WC91FAQ69S | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q2404489, ProofWiki Book:Journal/Journal_of_the_American_Mathematical_Society |
| Journal of the American Statistical Association | A5E28PECHR | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q4181923, ProofWiki Book:Journal/Journal_of_the_American_Statistical_Association |
| Journal of the Australian Mathematical Society | AP6NNW5WSN | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q15427297, ProofWiki Book:Journal/Journal_of_the_Australian_Mathematical_Society |
| Journal of the Society for Industrial and Applied Mathematics | G7DS3J88XT | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q28807289, ProofWiki Book:Journal/Journal_of_the_Society_for_Industrial_and_Applied_Mathematics |
| Jovan Karamata | MPT7WAHYPM | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q691012, ProofWiki Mathematician:Jovan_Karamata |
| Joyce; Argüz--Joyce | 6SJEZ636B1 | 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.27799#MLXV |
| João Faria Martins | G7D7E0KJ7M | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q58686343, nLab João Faria Martins |
| Joël Scherk | PZCA3DEW4Z | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1710260, nLab Joël Scherk |
| JP034KH39F | JP034KH39F | 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.02244#97BA |
| JP04C95EEC | JP04C95EEC | 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.12319#MJ9N |
| JP09ANHQ7B | JP09ANHQ7B | 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.39531#O9DP |
| JP0QTCNW5W | JP0QTCNW5W | 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.05661#DS0G |
| JP14XF88ZY | JP14XF88ZY | 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 2303.10636#U8BE |
| JP2ZE3DH88 | JP2ZE3DH88 | 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.29677#IPRR |
| JP377VQM60 | JP377VQM60 | 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.07453#6940 |
| JP3RVVGX79 | JP3RVVGX79 | 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.01919#B8CP |
| JP3TV9GT26 | JP3TV9GT26 | 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 2204.04820#IKH6 |
| JP4ED1JQPB | JP4ED1JQPB | 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.17571#F6GL |
| JP4SEQCFM1 | JP4SEQCFM1 | 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.30363#0WUS |
| JP4W013G6Y | JP4W013G6Y | 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.15610#E14C |
| JP4WM90G0Z | JP4WM90G0Z | example | open | lebl_diffyqs ch-systems.tex#example-15 |
| JP500BCW1T | JP500BCW1T | 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.26600#M805 |
| JP5B8AQJYR | JP5B8AQJYR | 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.24307#DP7K |
| JP5F6SGRZF | JP5F6SGRZF | 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.07092#JFIK |
| JP640ZWEJA | JP640ZWEJA | 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 2111.01197#Y6KI |
| JP68EJD59J | JP68EJD59J | proof | open | applied_combinatorics source/s_background_exp.ptx#proof-1 |
| JP7JJS4K7Y | JP7JJS4K7Y | 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.13913#4PN4 |
| JP7VQYG450 | JP7VQYG450 | 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.18803#76K5 |
| JP8Y2KN9SS | JP8Y2KN9SS | 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.03086#412W |
| JP92R83PD2 | JP92R83PD2 | 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.16941#7VPE |
| JP9EDV7VJ2 | JP9EDV7VJ2 | 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 2308.05066#K5I1 |
| JP9RF1K671 | JP9RF1K671 | 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#360T |
| JPA7AKV2PX | JPA7AKV2PX | definition | open | open_logic content/sets-functions-relations/functions/functions-relations.tex#defn:funimage |
| JPB00HG7Q7 | JPB00HG7Q7 | 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.16554#1WXC |
| JPBFK9C2VZ | JPBFK9C2VZ | 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.25129#6YCT |
| JPD6XMYW1V | JPD6XMYW1V | 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.11779#XRU0 |
| JPDAEJDS3T | JPDAEJDS3T | 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.28076#M3D7 |
| JPEDHZVGGJ | JPEDHZVGGJ | 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.18503#KYGM |
| JPF96Z6NDR | JPF96Z6NDR | 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.26001#XYJ5 |
| JPFB70NZKX | JPFB70NZKX | 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.29759#PYH9 |
| JPFH9KRMRV | JPFH9KRMRV | 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.09422#VV2O |
| JPFMSE8FMA | JPFMSE8FMA | 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 2410.02139#9E3D |
| JPFQZXR6KP | JPFQZXR6KP | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-92 |
| JPG0036358 | JPG0036358 | definition | open | napkin tex/topology/compactness.tex#definition-3 |
| JPG1TNBW31 | JPG1TNBW31 | 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.12054#L318 |
| JPG2XNBS8K | JPG2XNBS8K | 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.13347#V4FI |
| JPH01PPZ7G | JPH01PPZ7G | 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.30279#GC7S |
| JPHJN35VGW | JPHJN35VGW | 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.33018#NSG1 |
| JPJ26B7ZEY | JPJ26B7ZEY | 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.19357#51I3 |
| JPJCZJY9FZ | JPJCZJY9FZ | exercise | open | napkin tex/set-theory/cardinal.tex#ques-3 |
| JPJMJ9C17Q | JPJMJ9C17Q | 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 2111.07717#R7VA |
| JPK0BHKTCY | JPK0BHKTCY | 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.26922#LBA6 |
| JPK5TSSSSC | JPK5TSSSSC | 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.15770#WTDK |
| JPK8PZB1FN | JPK8PZB1FN | 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 2407.04161#C0HT |
| JPKCQR6J29 | JPKCQR6J29 | 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.13670#23LJ |
| JPM37KVF3C | JPM37KVF3C | 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.21445#8T4E |
| JPN6MAP183 | JPN6MAP183 | 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.03756#0A7Y |
| JPN6Y5GRZT | JPN6Y5GRZT | 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 1408.1555#0F6V |
| JPNAZGS8F8 | JPNAZGS8F8 | 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.35213#ZYOE |
| JPNFQRSSC0 | JPNFQRSSC0 | 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.33856#RNJS |
| JPNKZ88BG4 | JPNKZ88BG4 | 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.25823#KPN6 |
| JPNNYYZ5H3 | JPNNYYZ5H3 | 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.19533#S9ST |
| JPNSES265R | JPNSES265R | 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.05032#KPUI |
| JPP7NN6RST | JPP7NN6RST | 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 2207.12181#WALE |
| JPQ5EMM23G | JPQ5EMM23G | 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.24448#GW3W |
| JPQ6HAN7EN | JPQ6HAN7EN | 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.36622#AJD3 |
| JPQK8QQCNP | JPQK8QQCNP | 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.17875#2LKW |