Inventory: F
The rows of the inventory whose names start with F. 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 1501–1600 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| FEBGACX3RZ | FEBGACX3RZ | 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.05299#J1L7 |
| FEBJXDR77Y | FEBJXDR77Y | 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.39700#YOB3 |
| FEBPE9CN6A | FEBPE9CN6A | statement | open | open_logic content/lambda-calculus/introduction/basic-pr-lambda.tex#lem-1 |
| FEBV3HTN7M | FEBV3HTN7M | 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.12736#NYMT |
| FEC8BTZN72 | FEC8BTZN72 | 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 2609.36423#HH0A |
| Fechner color | 515HPDZ2F1 | unknown | open | Wikidata Q5439875, MathWorld BenhamsWheel |
| FED9TXKMF6 | FED9TXKMF6 | 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.09735#G108 |
| FedAvg convergence for multi-layer selective SSMs | YEAG6VFSMA | 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.02659#8L75 |
| FedAvg SSM Convergence | 1R4JYX5AQF | 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.02659#I447 |
| Fedele Lizzi | RPDD77Q3H8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q56245963, nLab Fedele Lizzi |
| Federer's Theorem | 4WQ9FWR5ZN | 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.18673#ISPU |
| Federico Commandino | DVGZDAVK9B | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q671745, MathWorld CommandinosTheorem |
| Federigo Enriques | 3BAP1FN132 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q982529, nLab Federigo Enriques |
| Fedorov's five parallelohedra | PE1FSEN2DC | 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 2609.24917#8PV6 |
| FedProx convergence for multi-layer selective SSMs | MW9VPP1QAY | 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.02659#0Z56 |
| FedProx convergence for selective SSMs | ZS65Y833RR | 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.02659#5PZP |
| FEDSZPYVHH | FEDSZPYVHH | 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 2504.01057#6YLF |
| Feedback law polynomial coefficients | KDE2DX8BNH | 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.15942#NS00 |
| Feedforward Neural Network | 558916Z57Y | 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.30279#93QH |
| FEEGW51KDV | FEEGW51KDV | 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.34295#6KIU |
| FEER8AVFZ1 | FEER8AVFZ1 | 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 1612.08394#6WYP |
| FEEVE55JTB | FEEVE55JTB | 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.31269#MD45 |
| Feferman–Vaught theorem | 6Y2NSZ38GW | statement | open | mathlib_1000 Q110921617, Wikidata Q110921617, thousand_plus Q110921617, Wikipedia Feferman–Vaught theorem |
| FEFT6Q1S6J | FEFT6Q1S6J | 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.01924#CFBR |
| FEFW4RBDME | FEFW4RBDME | 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.20316#KC00 |
| FEG5QZYFXS | FEG5QZYFXS | 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.31393#QOD0 |
| FEGNGK6TH1 | FEGNGK6TH1 | 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.19076#5LZ7 |
| FEGQYZ50B0 | FEGQYZ50B0 | 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.25084#340D |
| FEH1MFQZ50 | FEH1MFQZ50 | proof | open | open_logic content/computability/computability-theory/no-universal-function.tex#proof-1 |
| FEH3W9EHD5 | FEH3W9EHD5 | example | open | lebl_ra ch-metric.tex#example-6 |
| Feigenbaum constants | KCTTHY2Y6F | unknown | open | Wikidata Q673184, MathWorld FeigenbaumConstant |
| Feigenbaum function | ACV6QBBXYS | unknown | open | Wikidata Q5441532, MathWorld FeigenbaumFunction |
| Feigon-Lapid-Offen | VV52W97YBY | 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.26477#21Q8 |
| Feit--Thompson theorem | CG2KJMBA6W | concept | open | hott_book index/u1.u5/feit-thompson-theorem |
| Feit–Thompson conjecture | VWKYK9VF74 | conjecture | open | Wikidata Q5441592, MathWorld Feit-ThompsonConjecture, ProofWiki Feit-Thompson_Conjecture |
| Feit–Thompson theorem | 3FWB1RPQRR | statement | open | mathlib_1000 Q909517, Wikidata Q909517, thousand_plus Q909517, Wikipedia Feit–Thompson theorem, MathWorld Feit-ThompsonTheorem, ProofWiki Feit-Thompson_Theorem |
| FEJ2B9J7NQ | FEJ2B9J7NQ | statement | open | napkin tex/homology/cellular.tex#lemma-1 |
| Fej\'er local-band theorem | SP4JJB732R | 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.16351#TIC7 |
| Fejer theorem | FFTA9T9A9T | unknown | open | mathlib_undergrad Measures and integral calculus > Fourier analysis > Fejer theorem |
| FEJQBEJYEN | FEJQBEJYEN | 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.14837#T5F5 |
| FEK7FBEW8N | FEK7FBEW8N | 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.24640#G4XT |
| FEK862E7FP | FEK862E7FP | 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.36181#1KG0 |
| FEKRCEMQ71 | FEKRCEMQ71 | 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 2108.09796#KLM4 |
| Feldman-Propp | 3T99MA9HQ0 | 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 1704.04089#3WX4 |
| Feldman-Propp | 4JXVGA2EDS | 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 1704.04089#GIY9 |
| Feldman-Propp | 5QJ4696GQP | 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 1704.04089#J4ZO |
| Felix Berezin | 1GXXQG6PKE | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q915301, nLab Felix Berezin |
| Felix Bloch | 320S0JSNH2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q123022, nLab Felix Bloch |
| Felix Hausdorff | 5EWWRNYMQD | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q75856, nLab Felix Hausdorff, ProofWiki Mathematician:Felix_Hausdorff |
| Felix Klein | 21CY5HCWXV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q76641, nLab Felix Klein, ProofWiki Mathematician:Felix_Christian_Klein |
| Fell bundles over groupoids | NRSDTP3WP3 | 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 2609.27518#KBXI |
| Fell bundles over groups | 6D2CZJ2DGM | 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 2609.27518#1B7Y |
| Feller compactness and invariant limits | FT94QZZHN9 | 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.19421#ADE0 |
| Feller–Tornier constant | 7XCCF670SC | object | open | Wikidata Q29048688, MathWorld Feller-TornierConstant, OEIS A065493 |
| FEM6NRERZF | FEM6NRERZF | 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 2310.19073#TY9C |
| femto | YD6Y50Z73P | definition | open | Wikidata Q110791, ProofWiki Definition:Metric_System/Scaling_Prefixes/femto- |
| FEN1JBV4HT | FEN1JBV4HT | 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.16505#XB1B |
| fence | 9TK4Y39M7N | concept | open | Wikidata Q5442977, MathWorld FencePoset |
| Fenchel absolute-continuity equivalence | 48YXF21RJQ | 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.33472#1GG3 |
| Fenchel conjugate | B4KJ8RQST8 | 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.26645#3H6O |
| Fenchel conjugate of the modular | GDS3QAD6CB | 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.26645#BTEZ |
| Fenchel identification by strict Bregman crossing | T8WE4MC6MS | 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.33472#KPX5 |
| Fenchel transition identity | 3FJBA7ZRK2 | 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.33472#RGGZ |
| Fenchel's duality theorem | NS5H7QXK54 | statement | open | mathlib_1000 Q5443003, Wikidata Q5443003, thousand_plus Q5443003, Wikipedia Fenchel's duality theorem |
| Fenchel's theorem | SY18GH6RRY | statement | open | mathlib_1000 Q5443004, Wikidata Q5443004, thousand_plus Q5443004, Wikipedia Fenchel's theorem |
| Fenchel--Borsuk | VK9J201YCP | 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.24610#MZ7X |
| Fenchel--Legendre conjugate | AP0XSG7BD3 | 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.38741#GPF5 |
| Fenchel--Nielsen coordinates | GSE9WX3XRQ | 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.15926#C5OL |
| Fenchel--Rockafellar | KYJGHPN9V2 | 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.26645#BXK1 |
| Fenchel--Rockafellar duality | 16CX7WBRSR | 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.01855#1KSQ |
| Fenchel–Moreau theorem | CS0Z0Q0SPK | statement | open | mathlib_1000 Q5443005, Wikidata Q5443005, thousand_plus Q5443005, Wikipedia Fenchel–Moreau theorem |
| Feng \& Jech | BP4K07BJ18 | 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.17547#B69G |
| Feng \& Jech | F5MX2QDVK0 | 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.17547#E9TM |
| Feng--Li | QAEHZ7VV9G | 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.25967#A176 |
| FENK5R99MG | FENK5R99MG | 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.25431#ID3P |
| FENY7KNRNW | FENY7KNRNW | 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.33162#HYY1 |
| FEPVFTB5T4 | FEPVFTB5T4 | 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.24701#BQ73 |
| FEPXT8P9V0 | FEPXT8P9V0 | unknown | open | arXiv 2610.13680#KGVA |
| FEQ2QPV6E5 | FEQ2QPV6E5 | 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.14803#MZY0 |
| FEQ460AADX | FEQ460AADX | definition | open | napkin tex/H113/ring-intro.tex#definition-3 |
| FEQK6V9VRD | FEQK6V9VRD | 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.11834#3MBU |
| FERCTG96D0 | FERCTG96D0 | 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.27301#T6NK |
| Ferdinand Georg Frobenius | RD3X7BDB8H | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q57228, nLab Ferdinand Frobenius, ProofWiki Mathematician:Ferdinand_Georg_Frobenius |
| Fermat cubic | GQ9YJ649A8 | unknown | open | Wikidata Q4183847, MathWorld DiophantineEquation3rdPowers |
| Fermat curve | PX9GWMMQZ8 | unknown | open | Wikidata Q2612406, nLab Fermat curve |
| Fermat number | WXZQ5GY8T0 | unknown | node (a node has the same name as the row) | Wikidata Q207264, MathWorld FermatNumber, nLab Fermat number, OEIS A000215 |
| Fermat point | QT51QWW123 | unknown | open | Wikidata Q914929, MathWorld FermatPoints |
| Fermat polygonal number theorem | NPDHSNR8BX | statement | open | mathlib_1000 Q1146791, Wikidata Q1146791, thousand_plus Q1146791, Wikipedia Fermat polygonal number theorem, MathWorld FermatsPolygonalNumberTheorem |
| Fermat prime | AEBWG2VSPC | definition | node (a node has the same name as the row) | Wikidata Q3327228, ProofWiki Definition:Fermat_Prime |
| Fermat quotient | ZE2ACSJ1EJ | unknown | open | Wikidata Q3788278, MathWorld FermatQuotient, nLab Fermat quotient |
| Fermat's factorization method | RS60N8DM09 | unknown | open | Wikidata Q983978, MathWorld FermatsFactorizationMethod |
| Fermat's Last Theorem | BATM8K0539 | statement | node (a node has the same Wikidata item as the row) | mathlib_100 33, Mathlib FermatLastTheorem, mathlib_1000 Q132469, Wikidata Q132469, thousand_plus Q132469, Wikipedia Fermat's Last Theorem, EoM Fermat's_last_theorem, MathWorld FermatsLastTheorem |
| Fermat's little theorem | NSTSGE72FH | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q188295, Mathlib ZMod.pow_card_sub_one_eq_one, Wikidata Q188295, thousand_plus Q188295, Wikipedia Fermat's little theorem, MathWorld FermatsLittleTheorem, nLab Fermat's little theorem, ProofWiki Fermat's_Little_Theorem |
| Fermat's principle | W7B84XQAVD | statement | open | Wikidata Q331041, ProofWiki Fermat's_Principle_of_Least_Time |
| Fermat's right triangle theorem | 2585JHJ73T | statement | node (a node has the same Wikidata item as the row) | Wikidata Q18640217, MathWorld FermatsRightTriangleTheorem |
| Fermat's spiral | H5H73AFBVY | unknown | open | Wikidata Q907869, MathWorld FermatsSpiral |
| Fermat's theorem (stationary points) | H1PM9A6AXE | statement | node (a node has the same name as the row) | mathlib_1000 Q727102, Mathlib IsLocalExtr.deriv_eq_zero, Mathlib IsLocalExtr.fderiv_eq_zero, Wikidata Q727102, thousand_plus Q727102, Wikipedia Fermat's theorem (stationary points) |
| Fermat's theorem on sums of two squares | B09NBFQBSH | statement | node (a node has the same Wikidata item as the row) | mathlib_100 20, Mathlib Nat.Prime.sq_add_sq, mathlib_1000 Q914517, Wikidata Q914517, mathlib_overview General algebra > Number theory > sum of two squares, thousand_plus Q914517, Wikipedia Fermat's theorem on sums of two squares, MathWorld Fermats4nPlus1Theorem |
| Fermat's theorem on sums of two squares | SF88D9D314 | statement | open | napkin tex/alg-NT/artin.tex#theorem-4 |
| Fermat's theorem on the sum of two squares | R5T62QNK0P | 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.27049#TW1U |