Math 2.0

Inventory: I

The rows of the inventory whose names start with I. 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.

Rows 401–500 of 4245.

NameIdKindOutcomeSources
Identity statementsYHG27Y1Z02statementopenWikipedia Identity (philosophy)#0293
Identity Substitution15GT9QE2KGstatementrecord (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.21131#M33S
Identity Substitution is Well-TypedAGN26PJ93Sstatementrecord (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.21131#2CBR
identity tensor1RP3RA2W0Vdefinitionrecord (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 2505.04063#50AN
Identity theoremCJC9DXY8KJstatementopenWikipedia List of theorems#TA6K
identity theoremE8WMKJ75BDconceptopenlebl_ra index/1.3.5/identity-theorem
Identity theoremJD0XPQ2VN3statementopenWikipedia Function of several complex variables#24GC
identity theoremMD5GKR9AR4conceptopenlebl_scv index/1.2/identity-theorem
Identity theoremW1S1CFAGWEstatementopenlebl_ra ch-approximate.tex#thm:identityanalytic
Identity theoremWV3SN733GHstatementnode (a node has the same name as the row)mathlib_1000 Q1038716, Mathlib AnalyticOnNhd.eqOn_of_preconnected_of_frequently_eq, Wikidata Q1038716, mathlib_overview Analysis > Complex analysis > principle of analytic continuation, mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > principle of analytic continuation, thousand_plus Q1038716, Wikipedia Identity theorem
identity theoremZ9Q7J6VQEDconceptopenlebl_scv index/B/identity-theorem
Identity theorem for Riemann surfacesBG19032RSXstatementopenmathlib_1000 Q5988409, Wikidata Q5988409, thousand_plus Q5988409, Wikipedia Identity theorem for Riemann surfaces
Identity theorem for Riemann surfacesWTTJXDGD72statementopenWikipedia List of theorems#F867
Identity theorem\index{identity theorem}FSR1AY9BCGstatementopenlebl_scv scv.tex#thm:identity
Identity typeA7N20T5V4HstatementopenWikipedia Type theory#Q8YK
Identity typeSYRYVX478DstatementopenWikipedia Identity type, Wikidata Q110720714
Identity Weakening32QXA01ECGstatementrecord (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.21131#8R0N
Identity WeakeningKMAAEGAVH9statementrecord (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.21131#1MEJ
identity, function6F0S303N27conceptopenhott_book index/1.4/identity-function
identity, functionXZYM8EGBEFconceptopenhott_book index/1.10/identity-function
identity, modalityAAJSEPZ7SSconceptopenhott_book index/6.7/identity-modality
identity, systemJ8RTD1NGDRconceptopenhott_book index/8.8/identity-system
identity, system, at a pointWK7F2NM61Dconceptopenhott_book index/8.8/identity-system-at-a-point
Identity-based conditional proxy re-encryption85HWMHCW4PstatementopenWikipedia Identity-based conditional proxy re-encryption, Wikidata Q22909121
Identity-based cryptographyGKZF68NM35statementopenWikipedia Identity-based cryptography, Wikidata Q582616
Identity-based encryption54EHQ0RZY9statementopenWikipedia Identity-based encryption, Wikidata Q17081451
Identity-based encryptionZ64EBG0ZRFstatementopenWikipedia Clifford Cocks#UU2L
Identity-based encryption algorithmsTPAF8CJSJKdefinitionopenWikipedia Identity-based encryption#U2DY
Identity-based public key cryptography based on pairings (IEEE Std 1363.3-2013)1P08DPSTZ4statementopenWikipedia IEEE P1363#J09K
Identric meanJ340R8CE3BconceptopenWikidata Q10972421, MathWorld IdentricMean, Wikipedia Identric mean
Ideographic approachPY4NADQYDGdefinitionopenWikipedia Ideographic approach, Wikidata Q25104396
Ideological bias on Wikipedia4R9R89MAH7definitionopenWikipedia Ideological bias on Wikipedia, Wikidata Q55614285
IdeonomyX7BTXRC74MdefinitionopenWikipedia Ideonomy, Wikidata Q137863544
Idiot codeCBT57ZJT5DunknownopenWikipedia Code (cryptography)#T1DH
IDL2FVE0R4PFMunknownopenWikipedia List of numerical-analysis software#LR1V
Idola foriF01P67TMWNdefinitionopenWikipedia Idola fori, Wikidata Q12060670
Idola specusK59MB4QHP7definitionopenWikipedia Idola specus, Wikidata Q5989396
Idola theatriAG0AR0S5J4definitionopenWikipedia Idola theatri, Wikidata Q5989388
Idola tribusQJYMQYX030definitionopenWikipedia Idola tribus, Wikidata Q5989400
idoneal number8Q59S4K49JconjectureopenWikidata Q3879415, MathWorld IdonealNumber, Wikipedia Idoneal number
Idoneal numberQN5WQXK2SEconjectureopenWikipedia List of unsolved problems in mathematics#4Q4D
Idris Assani2XHRGJXN9FtopicopenWikipedia Idris Assani, Wikidata Q18684301
Idris AssaniMGFSRXJ54GtopicopenWikipedia List of people by Erdős number#9GTW
Idun ReitenE8HFW8W353unknownopenWikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7ROK, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CHNY
IEEE 7542A431D32P3definitionopenWikipedia IEEE 754, Wikidata Q828287
IEEE 754 recommended operation82WJPYM7RQunknownopenWikipedia IEEE 754#97O5
IEEE 802.11i-200426DXF58FFZdefinitionopenWikipedia IEEE 802.11i-2004, Wikidata Q644147
IEEE P1363QV1JKFND84definitionopenWikipedia IEEE P1363, Wikidata Q4041019
IEEE rounding modeG87GAQHXVQunknownopenWikipedia IEEE 754#F5I5
Ieke MoerdijkTHS5YHF6P3topicout_of_scope (a person, not an item of mathematics)Wikidata Q167048, nLab Ieke Moerdijk, Wikipedia Ieke Moerdijk
Ietje Paalman-de Miranda5KCANH38R6topicopenWikipedia Ietje Paalman-de Miranda, Wikidata Q12887128
if and only ifD2G7VAMEBEdefinitionopenWikidata Q949972, MathWorld Iff, ProofWiki Definition:Iff, Wikipedia If and only if
if and only ifK6AF5DQGYXconceptopenlevin_dmoi index/1.2.1/if-and-only-if
If and only ifW1DYTD0DQGdefinitionopenWikipedia List of mathematical abbreviations#1KIQ
if and only if (iff)AWQ2HBT80MdefinitionopenWikipedia Glossary of mathematical jargon#0NFA
IF formulasYFAESHAQ4VstatementopenWikipedia Independence-friendly logic#U2OB
if, then7VC1M9GCTAconceptopenlevin_dmoi index/1.2.1/if-then
If-by-whiskey3EKPZBN593unknownopenWikipedia List of fallacies#QWMX
if/thenJ8FS4KPXB1unknownopenWikipedia List of rules of inference#I45C
iffX07H9EEZXGdefinitionopenWikipedia Glossary of set theory#L7KT
iffXHJSK3C3R0definitionopenWikipedia Glossary of logic#UJB5
IGARCHRDNH6KZ26TunknownopenWikipedia Autoregressive conditional heteroskedasticity#GP5E
Ignacas Stasys UždavinysJKZR6T7WPMtopicopenWikipedia Ignacas Stasys Uždavinys, Wikidata Q1657201
Ignace-Louis-Alfred Le Cointe2GHZ5VMYW5topicopenWikipedia Ignace-Louis-Alfred Le Cointe, Wikidata Q136384964
Ignacy ZaborowskiF8P1GPD45DtopicopenWikipedia Ignacy Zaborowski, Wikidata Q8866031
Ignatov's theoremGG050EDC0PstatementopenWikipedia Ignatov's theorem, Wikidata Q17029124
Ignazio DantiJ3EWFR44W5unknownopenWikipedia List of Italian mathematicians#6I3X
Ignorability1508933P3TdefinitionopenWikipedia List of statistics articles#QZ8F
IgnorabilityV693GTNQ0HdefinitionopenWikipedia Ignorability, Wikidata Q5993013
Ignoramus et ignorabimus56EJ94ETXVdefinitionopenWikipedia Ignoramus et ignorabimus, Wikidata Q1542375
ignoratio elenchiS3HAQ1W6ZFdefinitionopenWikipedia Glossary of logic#18VO
Ignotum per ignotiusEN6V967REEdefinitionopenWikipedia Ignotum per ignotius, Wikidata Q5993050
Igor ChueshovAM7RGSMGTAtopicopenWikipedia Igor Chueshov, Wikidata Q25437817
Igor D. NovikovFGCTZ7KT5FunknownopenWikipedia List of contributors to general relativity#4DZO
Igor Dmitrievich Ado6PP3RS7J9JtopicopenWikipedia Igor Dmitrievich Ado, Wikidata Q1657682
Igor Dolgachev6VNDNBNWY7topicout_of_scope (a person, not an item of mathematics)Wikidata Q339333, nLab Igor Dolgachev, Wikipedia Igor Dolgachev
Igor Frenkel2FT7P9VPM5topicopenWikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#38LC
Igor Frenkel5HCGDZVBJXtopicout_of_scope (a person, not an item of mathematics)Wikidata Q1657690, nLab Igor Frenkel, Wikipedia Igor Frenkel
Igor Girsanov3TCE3WJM9DtopicopenWikipedia List of mathematical probabilists#8L16
Igor GirsanovHN6BCKHVZ9topicopenWikipedia Igor Girsanov, Wikidata Q4138947
Igor KhavkinePHES42VYDMunknownout_of_scope (a person, not an item of mathematics)Wikidata Q64007986, nLab Igor Khavkine
Igor Klebanov20NZ6BQ8SHunknownout_of_scope (a person, not an item of mathematics)Wikidata Q1239168, nLab Igor Klebanov
Igor KlebanovY5EGXVTR47unknownopenWikipedia List of string theory topics#YGJQ
Igor KluvánekKZK5J4PKNTtopicopenWikipedia Igor Kluvánek, Wikidata Q5993387
Igor Krichever60RJYPWPHCtopicopenWikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SYBI, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UFW1
Igor KricheverNJP8H4CTS2topicopenWikipedia Igor Krichever, Wikidata Q1656756
Igor LomovJFDWGB5P26topicopenWikipedia Igor Lomov, Wikidata Q53939011
Igor OistrakhKC3CB42HSSunknownopenWikipedia List of Ukrainian Jews#PE4M
Igor Olshansky90TZ0A9QCFunknownopenWikipedia List of Ukrainian Jews#O5WA
Igor Pak3W1SZ0J994unknownopenWikipedia List of people by Erdős number#X4S8, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4W5S
Igor Pro1KJ1PRJDJ9unknownopenWikipedia List of numerical-analysis software#R2CR
IGOR ProRDSNM8B9J5unknownopenWikipedia List of numerical-analysis software#XCNW
Igor ProTXPKRCWHPTunknownopenWikipedia List of statistical software#RHHA
Igor Pruenster28BV6K3P32topicopenWikipedia List of fellows of the American Statistical Association#9H5A
Igor PrünsterMEVS5WJZK8topicopenWikipedia Igor Prünster, Wikidata Q107488225
Igor Rivin3CD8B6JGNGunknownout_of_scope (a person, not an item of mathematics)Wikidata Q5993638, nLab Igor Rivin
Igor Rivin7QCY8W9X9RunknownopenWikipedia List of people by Erdős number#LSBU
Igor Rivin8CHX7CJ310unknownopenWikipedia List of Jewish mathematicians#M3B2
Igor RodnianskiF2WETT50W7topicopenWikipedia Igor Rodnianski, Wikidata Q81887
Igor RodnianskiJD8S8ZV7DYtopicopenWikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K4HK