Math 2.0

Inventory: C

The rows of the inventory whose names start with C. 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 4501–4600 of 7242.

NameIdKindOutcomeSources
Computation of $V_n(m)$64PX565VFKdefinitionrecord (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#40WU
Computation resultK7A0MKZ98Adefinitionrecord (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 math/0003117#CHR8
computation ruleSQHG88ZQFQconceptopenhott_book index/4.2.4/computation-rule
computation rule, for $\Sn^1$8GA8BN1VJQconceptopenhott_book index/5.2/computation-rule-for-sn-1
computation rule, for $\w$-typesS33BYQYQ0Hconceptopenhott_book index/8.3/computation-rule-for-w-types
computation rule, for coproduct typeWKQ1Z6QTQ7conceptopenhott_book index/A.7/computation-rule-for-coproduct-type
computation rule, for dependent function typesZG216Z416Cconceptopenhott_book index/A.4/computation-rule-for-dependent-function-types
computation rule, for dependent pair type6GPTHKQ6CTconceptopenhott_book index/A.6/computation-rule-for-dependent-pair-type
computation rule, for function types7DW5GZABFAconceptopenhott_book index/4.4/computation-rule-for-function-types
computation rule, for function typesHZE0ZZG1Y5conceptopenhott_book index/4.1/computation-rule-for-function-types
computation rule, for higher inductive types198KNV079Kconceptopenhott_book index/5.2/computation-rule-for-higher-inductive-types
computation rule, for identity typesMNGG9DZNC6conceptopenhott_book index/A.12.1/computation-rule-for-identity-types
computation rule, for inductive typesPVZ9TK08Z1conceptopenhott_book index/8.6/computation-rule-for-inductive-types
computation rule, for natural numbersSFYMWH7TV4conceptopenhott_book index/A.9/computation-rule-for-natural-numbers
computation rule, for natural numbersV1EKQW7CQ5conceptopenhott_book index/8.1/computation-rule-for-natural-numbers
computation rule, for product typesDN7P70FG1Fconceptopenhott_book index/A.5/computation-rule-for-product-types
computation rule, for type of booleansQT54XSHCQQconceptopenhott_book index/8.1/computation-rule-for-type-of-booleans
computation rule, propositional4XZ6JP3W3Kconceptopenhott_book index/5.2/computation-rule-propositional
computation rule, propositional9A9VRT6K45conceptopenhott_book index/8.5/computation-rule-propositional
computation rule, propositionalSBJTFPE2JCconceptopenhott_book index/5.7/computation-rule-propositional
computation rule, propositional, for identities between functionsNKHQBRJP2Vconceptopenhott_book index/1.9/computation-rule-propositional-for-identities-between-functions
computation rule, propositional, for identities between pairsX46PG9YEJ5conceptopenhott_book index/1.6/computation-rule-propositional-for-identities-between-pairs
computation rule, propositional, for univalence88DSWRVEF1conceptopenhott_book index/1.10/computation-rule-propositional-for-univalence
computation time2EN3D2X1BJunknownopenWikidata Q20830136, MathWorld ComputationTime
Computational adequacyVBQ03973N4statementrecord (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 1904.09810#IMXG
Computational collapse under full synchronyYBF631V8N3statementrecord (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.17677#WSUS
computational complexity theoryG4DZ65A9YQunknownopenWikidata Q205084, MathWorld ComplexityTheory
computational effect6XER49Z59Wconceptopenhott_book index/6.7/computational-effect
Computational effortYXNAKCC51Zstatementrecord (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.06788#JCEJ
computational geometry641Q08592RunknownopenWikidata Q874709, MathWorld ComputationalGeometry
Computational hardness of useful event-tilt selection7Q5Q5GAGNHstatementrecord (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.33499#J68T
Computational lower bound under $4$-HPC7H1DKSTSF6statementrecord (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.20416#HNL9
Computational lower bound under $r$-HPCGNYZ3NJ7VGstatementrecord (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.20416#GPPL
Computational minimax closure, up to logarithmsFMR4MT7F7Bstatementrecord (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.20187#9JJ8
computational number theoryQQA24PWKB4topicopenWikidata Q2646614
computational physicsM5RH95NQMEunknownopenWikidata Q909554, nLab computational physics
Computational reduction of the intersection numbersEMBKVS58WCstatementrecord (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#XC7O
computational topologyX88AYQAYT8unknownopenWikidata Q4129926, nLab computational topology
Computational verificationZA7355TM54statementrecord (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.07214#MJS3
Computed affine case: $\SL(2,13)\le\GL(6,3)$5KSNCH8CR5statementrecord (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#U8ZG
Computed Solution as Exact Collocation of Perturbed DataV1SNHR8P3Sstatementrecord (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.13222#IUT1
Computed stabilizer refinement for $q\le49$FPZDC4RZFPstatementrecord (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#OFKA
Computed Suzuki casesFE0ZC00AR2statementrecord (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#1EVZ
computed upper bound; computer-assistedEP51KTSVBYstatementrecord (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.14050#ZSVK
Computed values for $\Theta_{\mathrm{cert}}$PQS6MRMZW1statementrecord (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.05164#B3NZ
Computed values for the primal certificateBKGDW4ZPPAstatementrecord (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.05164#1FNL
Computed-polynomial specializationG6Z0JP2BN5statementrecord (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.06081#R2XN
computer algebra207A3S699YtopicopenWikidata Q2670846, MathWorld ComputerAlgebra, ProofWiki Definition:Computer_Algebra
computer algebra systemHCE9P2STP3unknownopenWikidata Q830340, EoM Computer_algebra_package
computer programWHPJN4ERVXunknownopenWikidata Q40056, EoM Program
computer programmingMWBAAM25XFunknownopenWikidata Q80006, EoM Programming
computer projectMQ2AA35K1Wexerciseopenlebl_diffyqs ch-nonlin-systems.tex#exercise-41
computer science95DA6C0A11topicopenWikidata Q21198, ProofWiki Definition:Computer_Science
computer verificationFGYTEYGZ1Zstatementrecord (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.01753#B1NF
Computer-assistedCR6EQFRJDVstatementrecord (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#RKBT
computer-assistedHCK1F4RGPSstatementrecord (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.03856#U77K
computer-assistedK9HSH0B677statementrecord (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.03856#SFRC
computer-assistedYE6B9PSSK3statementrecord (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.38220#OC4M
Computer-assisted witnessW0DRQJCKVJstatementrecord (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.17135#RISW
Computing an interpolant over $\F(Z)$FMD24Q7XAMstatementrecord (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.08610#1X1G
Computing instantaneous velocity for a falling ball29AW2P0WM4exampleopenactive_calculus source/sec-1-1-vel.xml#example-1
Computing some exterior derivativesD1Q3CXA224exampleopennapkin tex/diffgeo/forms.tex#example-3
Computing stackabilityZX1G94J9BRstatementrecord (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.31811#AWAP
Concatenating special deformation retractsZR7WMM2YRFstatementrecord (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.10262#DAOM
concatenationA1J3Y2T98PunknownopenWikidata Q126002, MathWorld Concatenation
ConcatenationRJYWEMRJHEstatementrecord (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.10511#XRPS
Concatenation of segmentsMT42BT26YWstatementrecord (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.17677#S99O
Concave changes of coordinatesM5HR32P24Rstatementrecord (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.33794#SXB6
Concave closure of OSWNCCRJ4F01Gdefinitionrecord (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.16060#AOXD
concave down2H6RFKQV52conceptopenactive_calculus index/1.6.4/concave-down
concave functionGVHNVWFQKXunknownnode (a node has the same name as the row)Wikidata Q2914302, MathWorld ConcaveFunction
Concave galleriesA403CVX4DSstatementrecord (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#1PDM
Concave galleriesA8K4FFW1YNstatementrecord (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#ZE0I
Concave majorant at the endpointW51NHHY4WXstatementrecord (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.26129#TX6N
concave polygon5FEYF5DMRBunknownopenWikidata Q12243537, MathWorld ConcavePolygon
concave setW9MC6RX8X7unknownopenWikidata Q2004680, MathWorld Concave
concave upEVWJ0354WMconceptopenactive_calculus index/1.6.4/concave-up
Concave-boundary transferB6BA045CDGstatementrecord (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.33794#44DJ
concavityN28J0E66YMconceptopenactive_calculus index/1.6.4/concavity
concavityVN8XB61PXRunknownopenWikidata Q52927916, MathWorld concave
ConcavityYS75CTFAX2unknownopenarXiv 2609.33442#YXNN
Concavity and continuity of $\mathcal R_h$WF76R9DRMFstatementrecord (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.05313#2CFA
Concavity and Lipschitz continuity of the value function8NJKQ9G9SEstatementrecord (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.00033#H59U
Concavity in the law and supporting functionsTWX9VRZZB8statementrecord (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.18350#NJDC
Concavity of \(g_m\11JRJ3XKVKstatementrecord (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.13962#6TH0
concentrated kernelsYV6GRX60CTdefinitionrecord (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 2210.06147#R2N4
Concentrated symbols2W0FDN3SKWstatementrecord (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.24930#HWOM
Concentrating trajectoriesSS64GDBEM9statementrecord (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.24930#KPGK
ConcentrationJVXXFKTWKZstatementrecord (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.00453#K4O9
Concentration after resampling5JX92QB29Vstatementrecord (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.16069#AGAO
Concentration after saturationTBMX3Y4RDWstatementrecord (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.31782#SZYH
Concentration and an empirical upper confidence costD4NP8VTGCSstatementrecord (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.10393#QRVX
Concentration around the characteristicHRP0T4N7P0statementrecord (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.02531#7VCR
Concentration bound33BJTTKZEYstatementrecord (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.26619#SM5K
Concentration bound with effective sample sizeR7F32V4ZW8statementrecord (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.07162#S5WJ
Concentration for sums of geometric random variablesBJCFHHE8T4statementrecord (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.08766#DLQA
Concentration from discrete elasticityX4VMEG3FBZstatementrecord (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.17479#IPXF
Concentration given the sampled configurationN1ZKE44QAFstatementrecord (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.18350#2VOP
Concentration in Frattini class $2$DC0388Q808statementrecord (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#IFC0
Concentration inequalityF85JRVNJ85statementrecord (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.25301#PFD8