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 1901–2000 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| FHPZDJXZY2 | FHPZDJXZY2 | 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.13847#HOV6 |
| FHQ1BE1DZF | FHQ1BE1DZF | 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.21365#OBF0 |
| FHQ9EAYC18 | FHQ9EAYC18 | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-79 |
| FHQMK80CGJ | FHQMK80CGJ | 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 2103.08272#S7H9 |
| FHQZFXEP6A | FHQZFXEP6A | 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 2411.11470#6834 |
| FHS6CHNT26 | FHS6CHNT26 | 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#G8IE |
| FHS9KKDZCA | FHS9KKDZCA | 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.00789#93TY |
| FHT | KFYA14A6Z4 | 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.08198#TT50 |
| FHW6XQGZ1Y | FHW6XQGZ1Y | 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.25291#BDW4 |
| FHW8FDRYS3 | FHW8FDRYS3 | 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.11395#XX0Z |
| FHWBF50N1K | FHWBF50N1K | 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.28265#VHXE |
| FHWF3RY0QZ | FHWF3RY0QZ | 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 2211.10178#MHPB |
| FHWGF6BN4H | FHWGF6BN4H | 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.15460#RI1K |
| FHWPVDP4J8 | FHWPVDP4J8 | 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.22205#AHZQ |
| FHWSP4SEHA | FHWSP4SEHA | 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.12047#KJ3I |
| FHWYMC16KP | FHWYMC16KP | proof | open | napkin tex/set-theory/forcing.tex#proof-1 |
| FHX3TB9DFP | FHX3TB9DFP | unknown | open | arXiv 2609.32181#13Z8 |
| FHXAP72QSA | FHXAP72QSA | 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 2608.24190#COWI |
| FHXB25HAS2 | FHXB25HAS2 | 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.28411#2EQR |
| FHXJ63P6F4 | FHXJ63P6F4 | 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.04434#1WZC |
| FHXTM0BDBT | FHXTM0BDBT | 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.01915#H3J7 |
| FHYF0N9FM6 | FHYF0N9FM6 | 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.21866#KIU5 |
| FHZ3M8J2Q8 | FHZ3M8J2Q8 | 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 2508.21045#KVFW |
| FHZV77RDX9 | FHZV77RDX9 | 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.40191#6BRT |
| fibbinary number | PZP5218JS8 | object | open | Wikidata Q108913632, OEIS A003714 |
| fiber | KS9KQC5P3T | concept | open | hott_book index/7.4/fiber |
| fiber | R92ZNFEKV3 | unknown | open | Wikidata Q1640811, MathWorld Fiber, MathWorld Preimage, nLab fiber |
| fiber bundle | 4XZ354EH2T | definition | open | Wikidata Q1154996, MathWorld FiberBundle, nLab fiber bundle, ProofWiki Definition:Fiber_Bundle |
| fiber functor | KQNEQG83YT | unknown | open | Wikidata Q16897605, nLab fiber functor |
| fiber sequence | 25CEWC18X7 | concept | open | hott_book index/7.4/fiber-sequence |
| Fiber Trichotomy | JT1RDPN1WJ | 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.26201#FQSV |
| fibered category | A6C5M3ZF9X | concept | open | Wikidata Q5446431, MathWorld FiberedCategory, nLab Grothendieck fibration |
| Fibers with few active directions | CZHGQ9AJXX | 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.02216#5N2R |
| fiberwise, $n$-connected family of functions | 2298VV2SXP | concept | open | hott_book index/6.5/fiberwise-n-connected-family-of-functions |
| fiberwise, transformation | 5QAXVEV644 | concept | open | hott_book index/3.7/fiberwise-transformation |
| fiberwise, transformation | G454RQ2XPQ | concept | open | hott_book index/6.5/fiberwise-transformation |
| Fibonacci | 6BV0VKENDX | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q8763, ProofWiki Mathematician:Leonardo_Fibonacci |
| Fibonacci cube | RDGTSJ13MM | unknown | open | Wikidata Q5446402, MathWorld FibonacciCubeGraph |
| Fibonacci nim | VJX1N22FJP | definition | open | Wikidata Q28136219, ProofWiki Definition:Fibonacci_Nim |
| Fibonacci number | B3GSKARMFS | concept | open | Wikidata Q47577, MathWorld FibonacciNumber, ProofWiki Definition:Fibonacci_Number |
| Fibonacci polynomials | CE5XKYHHV3 | unknown | open | Wikidata Q974295, MathWorld FibonacciPolynomial |
| Fibonacci prime | DTHRTD6A0S | definition | open | Wikidata Q1103699, MathWorld FibonacciPrime, OEIS A005478, ProofWiki Definition:Fibonacci_Prime |
| Fibonacci pseudoprime | K8WCJPC15E | unknown | open | Wikidata Q123133316, MathWorld FibonacciPseudoprime |
| Fibonacci sequence | 47FKVV5DNC | object | node (a node has the same Wikidata item as the row) | Wikidata Q23835349, OEIS A000045 |
| Fibonacci sequence | BVQKV9E8YC | concept | open | levin_dmoi index/3.3/fibonacci-sequence |
| Fibonacci sequence | J09VDE3W3Y | concept | open | levin_dmoi index/3.1/fibonacci-sequence |
| Fibonacci sequence | KY5CBZ0Q89 | concept | open | levin_dmoi index/3.4.1/fibonacci-sequence |
| Fibonacci sequence | YF7BP80VJ6 | concept | open | levin_dmoi index/3.4/fibonacci-sequence |
| Fibonacci word | EAKPRZ1MXW | object | open | Wikidata Q749729, MathWorld RabbitSequence, OEIS A003849 |
| Fibonacci, numbers | E6G56ZRA2E | concept | open | applied_combinatorics index/9.1.1/fibonacci-numbers |
| Fibonacci, sequence | C98GCMCE45 | concept | open | applied_combinatorics index/9.1.1/fibonacci-sequence |
| Fibonacci, sequence | WF0PBWNZDC | concept | open | applied_combinatorics index/9.2/fibonacci-sequence |
| Fibonomial coefficient | WV010T6K0J | concept | open | Wikidata Q5446406, MathWorld FibonomialCoefficient, ProofWiki Definition:Fibonomial_Coefficient |
| Fibonorial | 12JYFPPN03 | concept | open | Wikidata Q8042660, MathWorld Fibonorial |
| fibrant object | 3AK2Q5BC81 | unknown | open | Wikidata Q5446408, nLab fibrant object |
| fibrant replacement | 8PQRD1ZRNP | concept | open | hott_book index/C.1.4/fibrant-replacement |
| fibrant replacement | CB5CCKVKR1 | concept | open | hott_book index/2.9/fibrant-replacement |
| fibration | 3NQAGTZWS3 | concept | open | hott_book index/1.3/fibration |
| fibration | 9ZXSF9SS08 | concept | open | hott_book index/1.7/fibration |
| fibration | AKDNGSW5VV | concept | open | hott_book index/7.1.2/fibration |
| fibration | VKKW1M6PS8 | concept | open | hott_book index/3.7/fibration |
| Fibration calculus | 1Z5QW27WEX | 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.28220#C10G |
| Fibration of a sphere section | CD0FTBCECE | 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.37368#7ZF9 |
| Fibration theorem for magnetic symmetries | 394PA779BB | 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.03865#LMWV |
| fibration, of paths | ZWGCTBKE11 | concept | open | hott_book index/7.1.2/fibration-of-paths |
| Fibre identities | 45VTGT3KFG | 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#7ETJ |
| Fibre kernel bound | WYS0AVZ1BH | 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.14509#2DVE |
| Fibre Nullstellens\"atze | 3S1RVCQK9G | 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#AD2B |
| Fibre Nullstellens\"atze | 7RAKHXSW5T | 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#98T2 |
| Fibre Nullstellens\"atze for sheaves | 9JA0DKTFFS | 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#4YM4 |
| Fibre products | D33BV8QG84 | 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.26270#N9KH |
| Fibre-torus data | V3PQW5AG8G | 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.29839#FQYI |
| Fibred realizations of $P_7$ in $S^4$ | V53FN1GMGD | 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.29839#E45A |
| Fibred rigidity | PGNA18Z005 | 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.29839#VZRD |
| Fibred two-knots and closed monodromy | 41CA8BJ2JE | 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.29839#EX8Y |
| fibres and dimension | PXAJWSTMA1 | 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.04000#O1YL |
| Fibres and point kernels of a module | ND6WFZ20X4 | 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.15887#WK4J |
| Fibrewise symplectic form | ECJFERVKNV | 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.04583#OK43 |
| Fictitious account of the battle of Hastings | VFA49P7EGX | exercise | open | napkin tex/alg-NT/pell.tex#problem-1 |
| Fidelity from diamond error | XVCPYJQ29A | 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.37368#K6RU |
| Fidelity of a lifted transition rule | 5843WEYQZ9 | 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.35986#IKX7 |
| Fiedler--Jurkat--K\"orner | 5TT77MS6Z6 | 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.14160#YT95 |
| field | 166W9ZMA44 | topic | node (a node has the same Wikidata item as the row) | Wikidata Q190109, EoM Field, MathWorld Field |
| field | YXE80BJJD6 | unknown | open | mathlib_overview General algebra > Field theory > field, Mathlib Field, mathlib_undergrad Ring Theory > Field Theory > fields |
| field $\C$ of complex numbers | QQTP1EB3MX | unknown | open | mathlib_undergrad Ring Theory > Field Theory > field $\C$ of complex numbers, Mathlib Complex.instField |
| field $\Q$ of rational numbers | 6V7319MJE6 | unknown | open | mathlib_undergrad Ring Theory > Field Theory > field $\Q$ of rational numbers, Mathlib Rat.instField |
| field $\R$ of real numbers | 918MPJTBZB | unknown | open | mathlib_undergrad Ring Theory > Field Theory > field $\R$ of real numbers, Mathlib Real.instField, mathlib_undergrad Single Variable Real Analysis > Real numbers > field structure |
| Field Axioms | N7DQ7YR77B | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#axiom:field axioms |
| Field characteristics | DVDNG4171C | example | open | napkin tex/alg-NT/galois.tex#example-4 |
| field error to $U_{\mathrm{pop}}$ | G1J0FTQW78 | 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.37762#ZLEH |
| field extension | JXBNNMQXJ3 | unknown | node (a node has the same name as the row) | Wikidata Q577835, MathWorld ExtensionField, MathWorld FieldExtension, nLab field extension |
| Field extensions have multiplicative degree | GQ4AW9WBDP | statement | open | napkin tex/alg-NT/galois.tex#theorem-1 |
| field of complex numbers | CSMAER9NF3 | definition | open | Wikidata Q18192650, ProofWiki Definition:Field_of_Complex_Numbers |
| field of fractions | TW4NG9BF5S | unknown | node (a node has the same name as the row) | Wikidata Q774579, MathWorld FieldofFractions, nLab field of fractions |
| field of fractions of an integral domain | H0CJZMMMVC | unknown | open | mathlib_overview General algebra > Field theory > field of fractions of an integral domain, Mathlib IsFractionRing, mathlib_undergrad Ring Theory > Field Theory > field of fractions of an integral domain |
| field of rational numbers | RF2GECVTVW | definition | open | Wikidata Q6585992, MathWorld FieldofRationals, ProofWiki Definition:Field_of_Rational_Numbers |
| field of relation | G0GNEC9NPD | definition | open | Wikidata Q11821616, ProofWiki Definition:Field_of_Relation |
| Field overgroups not containing $\PGL(2,q)$ | CY02XV2DE5 | 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.15340#9VMI |
| Field transfer | ZMS2A4YGZM | 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.12456#1TPH |
| field with one element | 1TM1Z1PX72 | unknown | open | Wikidata Q3654641, nLab field with one element |