| Frobenius polynomial | 86NXWYHQ49 | definition | open | Wikipedia List of things named after Ferdinand Georg Frobenius#8BG7 |
| Frobenius pseudoprime | 4GFRDBEAPT | concept | open | Wikidata Q5505102, MathWorld FrobeniusPseudoprime, Wikipedia Frobenius pseudoprime |
| Frobenius pseudoprime | 8QVPP0CN66 | definition | open | Wikipedia List of things named after Ferdinand Georg Frobenius#2UD2 |
| Frobenius reciprocity | 9HT4WPDDCP | definition | open | Wikipedia Glossary of representation theory#F78C |
| Frobenius reciprocity | DDCTWZNKQ2 | statement | open | mathlib_1000 Q48998319, Wikidata Q48998319, thousand_plus Q48998319, Wikipedia Frobenius reciprocity theorem, Wikipedia Frobenius reciprocity |
| Frobenius reciprocity | PYKR202G6J | definition | open | Wikipedia List of representation theory topics#ZY0O, Wikipedia List of abstract algebra topics#LTDD, Wikipedia List of things named after Ferdinand Georg Frobenius#3LXV |
| Frobenius reciprocity | QD0Q731KSM | definition | open | Wikipedia Glossary of module theory#Q77E |
| Frobenius reciprocity theorem | J9ME2A4HGK | definition | open | Wikipedia List of theorems#RL5R |
| Frobenius solution to the hypergeometric equation | 2V86JVXE2Y | definition | open | Wikipedia List of things named after Ferdinand Georg Frobenius#COME |
| Frobenius solution to the hypergeometric equation | XSYJ5CMEZH | definition | open | Wikipedia Frobenius solution to the hypergeometric equation, Wikidata Q1640931 |
| Frobenius splitting | 35TBHHKS7K | definition | open | Wikipedia List of things named after Ferdinand Georg Frobenius#TP6W |
| Frobenius splitting | B9HDZBM4R9 | definition | open | Wikipedia Frobenius splitting, Wikidata Q5505103 |
| Frobenius statistic under a super-critical spike | JK2C3C17D3 | 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.27200#KPLJ |
| Frobenius theorem | 4W45H1PXQJ | statement | open | Wikipedia List of theorems#FTUK |
| Frobenius theorem | 65XFY8RB12 | statement | open | Wikipedia List of theorems#4VOT |
| Frobenius theorem | 7F6RPFWHKJ | statement | open | Wikipedia List of misnamed theorems#DELT |
| Frobenius theorem | 8MG0SHJFAF | statement | open | Wikipedia Nonlinear control#0CRJ |
| Frobenius theorem | EZ17Z7PH7A | statement | open | mathlib_1000 Q837551, Wikidata Q837551, thousand_plus Q837551, Wikipedia Frobenius theorem (differential topology) |
| Frobenius theorem | FYR0RA1QX4 | statement | open | arXiv 2610.13347#HQSA, mathlib_1000 Q1361031, Wikidata Q1361031, thousand_plus Q1361031, Wikipedia Frobenius theorem (real division algebras), EoM Frobenius_theorem |
| Frobenius theorem (differential topology) | FVKPEC3C2C | statement | open | Wikipedia List of differential geometry topics#FRUF, Wikipedia List of differential geometry topics#PTTU, Wikipedia List of things named after Ferdinand Georg Frobenius#1WF4 |
| Frobenius theorem (real division algebras) | 2AC0QX8D81 | statement | open | Wikipedia List of things named after Ferdinand Georg Frobenius#UAGE |
| Frobenius transport | 21XG27H6JQ | 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.07905#NTD2 |
| Frobenius–Schur indicator | RK4FZYZ9NN | unknown | open | Wikipedia List of things named after Ferdinand Georg Frobenius#UK43 |
| Frobenius' theorem | YPCPZDH2WN | statement | open | Wikipedia Darboux's theorem#S13Q |
| Frobenius' theorem in modern language | DBKZZR0DJC | statement | open | Wikipedia Frobenius theorem (differential topology)#QGD6 |
| Frobenius's conjecture | 1DFJV436MH | statement | open | Wikipedia Frobenius's theorem (group theory)#6BYB |
| Frobenius's theorem | N6RVV8P8Q0 | statement | open | Wikipedia Frobenius's theorem (group theory), Wikidata Q25351846 |
| Frobenius's theorem (group theory) | 88488F3BZ9 | statement | open | Wikipedia List of things named after Ferdinand Georg Frobenius#ZXFL |
| Frobenius, Verschiebung, and truncations in Witt vectors | 3FXWKACY61 | 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.37931#V4ZU |
| Frobenius-König theorem | K69N1BS3NY | statement | open | Wikidata Q9363233, MathWorld Frobenius-KoenigTheorem |
| Frobenius–Schur indicator | 3WRS07TD6Z | definition | open | Wikipedia Frobenius–Schur indicator, Wikidata Q5505104 |
| Froda's theorem | 2ENDPE8423 | definition | open | Wikipedia List of theorems#GFFC |
| FROG | 30ZB7WPEH8 | definition | open | Wikipedia FROG, Wikidata Q3063412 |
| From "first principles" | TAHJ5A7EZX | statement | open | Wikipedia Fatou's lemma#9FUG |
| From formula mathematics to tensors | JCHC1Q9PJT | statement | open | Wikipedia History of mathematical notation#6M5O |
| From Gershgorin circle theorem | PJT49X9DFW | statement | open | Wikipedia Geometrical properties of polynomial roots#OA65 |
| From Linear temporal logic formula | E0R7TM57N7 | statement | open | Wikipedia Büchi automaton#HYIQ |
| From Newton's second law | B1YYV3W4JJ | statement | open | Wikipedia Inverted pendulum#ZVNJ |
| From Rouché theorem | H0JDJYD7AK | statement | open | Wikipedia Geometrical properties of polynomial roots#NAAJ |
| From stationary action principle to Hamilton's equations | NEQ8DF7N3Y | statement | open | Wikipedia Hamiltonian mechanics#4QCM |
| From Summetria to Symmetry: The Making of a Revolutionary Scientific Concept | ZNVHESSRKX | definition | open | Wikipedia From Summetria to Symmetry: The Making of a Revolutionary Scientific Concept, Wikidata Q139965129 |
| From the compactness theorem | FSS1J8ADEB | statement | open | Wikipedia Non-standard model of arithmetic#HN7W |
| From the covering lemma to the covering theorem | PEYCNRAX40 | statement | open | Wikipedia Vitali covering lemma#MV13 |
| From the incompleteness theorems | CCG0RJDCN7 | statement | open | Wikipedia Non-standard model of arithmetic#S196 |
| From Zero to Infinity | 2VVH3NM33C | definition | open | Wikipedia From Zero to Infinity, Wikidata Q115516580 |
| Frontal solver | 2QYXQBHPXX | definition | open | Wikipedia Frontal solver, Wikidata Q5505913 |
| Frontier | M543Y0ZK7A | definition | open | Wikipedia Glossary of general topology#ZVBX |
| Frontier-to-height extraction | 94DP3XDEEK | 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.37164#W6PZ |
| FrontierMath | 1TPBGBY9HQ | definition | open | Wikipedia FrontierMath, Wikidata Q140133892 |
| Frontiers in Applied Mathematics | G5V5VTVPBA | unknown | open | Wikipedia Society for Industrial and Applied Mathematics#F6V8 |
| FROSTBURG | 3ZJN6RXH3B | definition | open | Wikipedia FROSTBURG, Wikidata Q3737306 |
| Frostman energy bounds | QVMDY90SBB | 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.20643#8HM7 |
| Frostman lemma | 5W8520BYCN | statement | open | Wikipedia Frostman lemma, Wikidata Q5506220 |
| Frostman measures on analytic subsets of $\Q_p^m$ | X6QEH3EWCC | 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.22485#ADU9 |
| Frostman's lemma | 3WM2K09KCF | statement | open | Wikipedia List of lemmas#6XXQ |
| Frostman's Lemma | Q6V3G6AYGQ | 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 2511.05069#UP0A |
| Froude number | JR2X5MWMQ8 | definition | open | Wikipedia Froude number, Wikidata Q273090 |
| Frozen Sign Lemma | 1899VTBZVY | 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.36377#K4XO |
| Frozen sorting and particle blocks | PQK46NSKCJ | 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.08135#8XVR |
| Frozen surface tension | NHRR6GFSSN | 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.20215#B6RN |
| Frozen-tilt upper bound | DTSBEY7HHJ | 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.03633#4ZZT |
| Frozen-tilt upper bound, informal | E135F5NGC2 | 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.03633#JXT1 |
| FRPB7WTCK0 | FRPB7WTCK0 | 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 2306.08237#NSPX |
| FRPDVNS66Z | FRPDVNS66Z | 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.26769#3C2Z |
| FRQ2SZ9A43 | FRQ2SZ9A43 | 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.18084#7JJC |
| FRQWFN1Z7X | FRQWFN1Z7X | 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.00134#602I |
| FRR893487Y | FRR893487Y | 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.35307#JKTQ |
| FRRDE593JH | FRRDE593JH | 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.21937#OJQ6 |
| FRSF1A24DT | FRSF1A24DT | 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.14099#0DR7 |
| FRSGVWKJ3N | FRSGVWKJ3N | definition | open | hott_book categories.tex#ct:isomorphism |
| FRT05ZRH7W | FRT05ZRH7W | 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.21622#W9TB |
| FRT3AK7WX6 | FRT3AK7WX6 | 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.02432#3066 |
| FRT3XKPJQP | FRT3XKPJQP | 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.25168#I7SI |
| FRT6NK16NY | FRT6NK16NY | 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.03661#IS9E |
| FRTDEBNCPX | FRTDEBNCPX | proof | open | open_logic content/incompleteness/representability-in-q/c-representable.tex#proof-2 |
| FRTFE5KH9V | FRTFE5KH9V | proof | open | napkin tex/topology/top-more.tex#proof-1 |
| FRTMR4PCZM | FRTMR4PCZM | statement | open | napkin tex/alg-geom/localization.tex#prop:prime_quotient |
| FRTZNY88XT | FRTZNY88XT | 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.02489#0TVU |
| Frucht | 6Q7GVKHPW3 | definition | open | Wikipedia Glossary of graph theory#FVD5 |
| Frucht graph | AEQER21E4P | definition | open | Wikidata Q2061755, House of Graphs 1090, MathWorld FruchtGraph, Wikipedia Frucht graph |
| Frucht's theorem | NC53Z4JNMP | statement | open | mathlib_1000 Q1424481, Wikidata Q1424481, thousand_plus Q1424481, Wikipedia Frucht's theorem, MathWorld FruchtsTheorem |
| Frucht's theorem | YNVPT9K7P8 | statement | open | Wikipedia List of theorems#9VMP |
| frugal number | QG1GH0JTQY | definition | open | Wikidata Q1655342, OEIS A046759, Wikipedia Frugal number |
| Frullani integral | JAAWVA1VH0 | concept | open | Wikidata Q1470953, MathWorld FrullanisIntegral, ProofWiki Frullani's_Integral, Wikipedia Frullani integral |
| Frustum | 9NJWXKNPBK | definition | open | Wikipedia List of mathematical shapes#DJ7J |
| frustum | EW1TW3T958 | definition | open | Wikidata Q846235, MathWorld Frustum, Wikipedia Frustum |
| frustum | J8EEEPHKNP | definition | open | Wikipedia Glossary of calculus#UGQS |
| FRV1P04HTQ | FRV1P04HTQ | 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.11481#7UN4 |
| FRVKHM4BB0 | FRVKHM4BB0 | 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.08424#VAHT |
| FRVSX4GHSP | FRVSX4GHSP | statement | open | lebl_ra ch-real-nums.tex#prop:supinfalg |
| FRW model | K39N3WEANW | unknown | open | Wikipedia Friedmann equations#KT54 |
| FRW16TEHT8 | FRW16TEHT8 | 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.40138#M4J0 |
| FRW45CPF2Q | FRW45CPF2Q | 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.26058#S1JB |
| FRW4YHEWPT | FRW4YHEWPT | 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.22180#YEOQ |
| FRW9HX6T4T | FRW9HX6T4T | 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.18242#Q492 |
| FRWFVN3YTX | FRWFVN3YTX | 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.19451#CJ65 |
| FRWV5AZ88B | FRWV5AZ88B | 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.21860#2CK2 |
| FRXEF59ZQY | FRXEF59ZQY | problem | 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.30519#9LGL |
| FRXY5PA8MC | FRXY5PA8MC | 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#RTUU |
| FRY3C0T5FT | FRY3C0T5FT | 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.08480#F1S7 |