| Computation | N6S4C3B88F | definition | open | Wikipedia Rainbow-independent set#3YTT |
| Computation | NPJ9CG4STK | definition | open | open_logic content/turing-machines/machines-computations/unary-numbers.tex#defn-1 |
| Computation | NV1AWPCYWG | definition | open | Wikipedia Convex hull#X5UN |
| Computation | NVZE0JPG1W | definition | open | Wikipedia Cholesky decomposition#NH83 |
| Computation | PC60VP9CRZ | definition | open | Wikipedia Expression (mathematics)#C541 |
| Computation | PKYE0AB5TV | definition | open | Wikipedia Volume#S7BA |
| Computation | QTWSZ7A0EF | definition | open | Wikipedia Exponentiation#GNQE |
| Computation | QZS5215H2P | definition | open | Wikipedia Conway polynomial (finite fields)#1GTY |
| Computation | R1YTE3FRG1 | definition | open | Wikipedia Brzozowski derivative#C0CD |
| Computation | R4P42ZMRVZ | definition | open | Wikipedia Hyperoperation#A3ZQ |
| Computation | R9DXRVM2V1 | definition | open | Wikipedia Ranking (statistics)#U8MR |
| Computation | RATY0QPK3N | definition | open | Wikipedia Quantum network#M67Q |
| Computation | RAZ9KEJ5T9 | definition | open | Wikipedia Multilinear multiplication#6OJT |
| Computation | RS5QYDPEM7 | definition | open | Wikipedia M-estimator#VM54 |
| Computation | RZQYWKXN6V | definition | open | Wikipedia Hoover index#YIG7 |
| Computation | S4FTJYRYHW | definition | open | Wikipedia Minimal polynomial (linear algebra)#O2MW |
| Computation | S7KHW6E2TW | definition | open | Wikipedia Resultant#BA7A |
| Computation | SEWPRBBRWD | definition | open | Wikipedia Perfect matching#K178 |
| Computation | ST26NCP05V | definition | open | Wikipedia Coefficient of multiple correlation#BBW7 |
| computation | TJBYG17QMN | definition | open | Wikidata Q12525525, MathWorld Computation, Wikipedia Computation |
| Computation | V3XET7XRHB | definition | open | Wikipedia Total least squares#QVP5 |
| computation | VCR4MAPCPF | definition | open | Wikipedia Glossary of logic#EA3V |
| Computation | VE1FB7VVEZ | definition | open | Wikipedia Geometric median#RZY9 |
| Computation | VZ5S3QZ5BG | definition | open | Wikipedia Extended phase graph#14KQ |
| Computation | WGF8TZA4XA | definition | open | Wikipedia Törnqvist index#H2EB |
| Computation | XC98VZA9GB | definition | open | Wikipedia Stark conjectures#EYG1 |
| Computation | XGH9WJGQMX | definition | open | Wikipedia Chinese remainder theorem#M8WQ |
| Computation | XGY0ST6YTC | definition | open | Wikipedia Hafnian#RJU2 |
| Computation | XNDEKYKW4R | definition | open | Wikipedia I-spline#TP1F |
| Computation | XS7AB49RXN | definition | open | Wikipedia Aliasing (factorial experiments)#IFJB |
| Computation | XVWAYGWG49 | definition | open | Wikipedia Heegner point#YT3X |
| Computation | XX5SH6BRN3 | definition | open | Wikipedia Modular multiplicative inverse#GYYC |
| Computation | YDPFW6VDA3 | definition | open | Wikipedia Discrete sine transform#VI49 |
| Computation | YY4Q8JFQVR | definition | open | Wikipedia Kakutani fixed-point theorem#GBFF |
| Computation | Z3M33S7MVT | definition | open | Wikipedia Non-linear least squares#OXUC |
| Computation | Z6RRA41HYA | definition | open | Wikipedia Schur decomposition#7ED5 |
| Computation | Z75K4H0J82 | definition | open | Wikipedia Dickman function#G6RS |
| Computation | ZME0R2ZJ61 | definition | open | Wikipedia Compound probability distribution#FOKT |
| Computation | ZX87Y348V6 | definition | open | Wikipedia Dot product#73GK |
| Computation in the limit | JGDR0X35R0 | definition | open | Wikipedia Computation in the limit, Wikidata Q5157271 |
| Computation Model for OPI | ATVG2F6E2T | 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.12357#AKEC |
| Computation of | NVJXACKTXW | definition | open | Wikipedia Square-free integer#LC3L |
| Computation of $V_n(m)$ | 64PX565VFK | 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.28265#40WU |
| Computation of actuarial reserves | QCCE0Z0YF4 | definition | open | Wikipedia Actuarial reserves#NMYG |
| Computation of and | J9HV8NG4WH | definition | open | Wikipedia Cubic equation#JIVP |
| Computation of and | WJNPD0ADS6 | definition | open | Wikipedia Jamshid al-Kashi#I0UN |
| Computation of Hilbert series and Hilbert polynomial | EJY9NCSSM0 | definition | open | Wikipedia Hilbert series and Hilbert polynomial#88DV |
| Computation of the Weyr canonical form | J9RWDK9P56 | definition | open | Wikipedia Weyr canonical form#1S2X |
| Computation of π | ZFTPHW2M3A | definition | open | Wikipedia List of algorithms#AG2H |
| Computation result | K7A0MKZ98A | 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 math/0003117#CHR8 |
| computation rule | SQHG88ZQFQ | concept | open | hott_book index/4.2.4/computation-rule |
| computation rule, for $\Sn^1$ | 8GA8BN1VJQ | concept | open | hott_book index/5.2/computation-rule-for-sn-1 |
| computation rule, for $\w$-types | S33BYQYQ0H | concept | open | hott_book index/8.3/computation-rule-for-w-types |
| computation rule, for coproduct type | WKQ1Z6QTQ7 | concept | open | hott_book index/A.7/computation-rule-for-coproduct-type |
| computation rule, for dependent function types | ZG216Z416C | concept | open | hott_book index/A.4/computation-rule-for-dependent-function-types |
| computation rule, for dependent pair type | 6GPTHKQ6CT | concept | open | hott_book index/A.6/computation-rule-for-dependent-pair-type |
| computation rule, for function types | 7DW5GZABFA | concept | open | hott_book index/4.4/computation-rule-for-function-types |
| computation rule, for function types | HZE0ZZG1Y5 | concept | open | hott_book index/4.1/computation-rule-for-function-types |
| computation rule, for higher inductive types | 198KNV079K | concept | open | hott_book index/5.2/computation-rule-for-higher-inductive-types |
| computation rule, for identity types | MNGG9DZNC6 | concept | open | hott_book index/A.12.1/computation-rule-for-identity-types |
| computation rule, for inductive types | PVZ9TK08Z1 | concept | open | hott_book index/8.6/computation-rule-for-inductive-types |
| computation rule, for natural numbers | SFYMWH7TV4 | concept | open | hott_book index/A.9/computation-rule-for-natural-numbers |
| computation rule, for natural numbers | V1EKQW7CQ5 | concept | open | hott_book index/8.1/computation-rule-for-natural-numbers |
| computation rule, for product types | DN7P70FG1F | concept | open | hott_book index/A.5/computation-rule-for-product-types |
| computation rule, for type of booleans | QT54XSHCQQ | concept | open | hott_book index/8.1/computation-rule-for-type-of-booleans |
| computation rule, propositional | 4XZ6JP3W3K | concept | open | hott_book index/5.2/computation-rule-propositional |
| computation rule, propositional | 9A9VRT6K45 | concept | open | hott_book index/8.5/computation-rule-propositional |
| computation rule, propositional | SBJTFPE2JC | concept | open | hott_book index/5.7/computation-rule-propositional |
| computation rule, propositional, for identities between functions | NKHQBRJP2V | concept | open | hott_book index/1.9/computation-rule-propositional-for-identities-between-functions |
| computation rule, propositional, for identities between pairs | X46PG9YEJ5 | concept | open | hott_book index/1.6/computation-rule-propositional-for-identities-between-pairs |
| computation rule, propositional, for univalence | 88DSWRVEF1 | concept | open | hott_book index/1.10/computation-rule-propositional-for-univalence |
| computation time | 2EN3D2X1BJ | unknown | open | Wikidata Q20830136, MathWorld ComputationTime |
| Computation tree logic | 2N1W9E2GBZ | topic | open | Wikipedia Computation tree logic, Wikidata Q1040040 |
| Computational adequacy | VBQ03973N4 | 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 1904.09810#IMXG |
| Computational algebraic geometry | AK9WRE87VY | unknown | open | Wikipedia Algebraic geometry#PPL8 |
| Computational algebraic geometry | W3W73FFPNG | definition | open | Wikipedia Glossary of areas of mathematics#9ZCY |
| Computational anatomy | QT2VAP6H81 | definition | open | Wikipedia Computational anatomy, Wikidata Q25324256 |
| Computational chemistry | 31ZR8KVYFC | unknown | open | Wikipedia List of numerical analysis topics#75J6 |
| Computational chemistry | FWAR4B4XW9 | unknown | open | Wikipedia List of genetic algorithm applications#SJH5 |
| Computational collapse under full synchrony | YBF631V8N3 | 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.17677#WSUS |
| Computational complexity | W3K583WHMJ | definition | open | Wikipedia Computational complexity, Wikidata Q5157286 |
| Computational complexity of Boolean circuits | RQZ387HGSS | unknown | open | Wikipedia Boolean circuit#7TAM |
| Computational complexity of empirical risk minimization | 600VBBHD5Y | unknown | open | Wikipedia Empirical risk minimization#B76O |
| Computational complexity of graph coloring | 6KRH2341SW | unknown | open | Wikipedia Graph coloring#U7GL |
| Computational complexity of mathematical operations | J1RQRA0RY2 | conjecture | open | Wikipedia Computational complexity of mathematical operations, Wikidata Q5157305 |
| Computational complexity of matrix multiplication | TJWAKJDWSM | conjecture | open | Wikipedia Computational complexity of matrix multiplication, Wikidata Q106996431 |
| Computational complexity of N-body simulations | B95Y80EP6B | unknown | open | Wikipedia N-body simulation#K9O9 |
| Computational complexity of polygon triangulation | 4785XF4YK5 | unknown | open | Wikipedia Polygon triangulation#MSMG |
| Computational complexity of randomized algorithms | 1ANJJQNK5K | unknown | open | Wikipedia Randomized algorithm#XIMQ |
| Computational complexity of the knapsack problem | 24KRAZCNC1 | unknown | open | Wikipedia Knapsack problem#PJVP |
| Computational complexity of the travelling salesman problem | 2DS7EHV9DE | unknown | open | Wikipedia Travelling salesman problem#QKR2 |
| Computational complexity theory | 7Y7Y4HEDAJ | definition | open | Wikipedia Glossary of areas of mathematics#RGUD |
| Computational complexity theory | BZJXHRW1P7 | definition | open | Wikipedia List of algorithm general topics#GU2T |
| computational complexity theory | G4DZ65A9YQ | definition | open | Wikidata Q205084, MathWorld ComplexityTheory, Wikipedia Computational complexity theory |
| Computational Diffie–Hellman assumption | TZGR0A8GWG | definition | open | Wikipedia Computational Diffie–Hellman assumption, Wikidata Q5157285 |
| computational effect | 6XER49Z59W | concept | open | hott_book index/6.7/computational-effect |
| Computational effort | YXNAKCC51Z | 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 2410.06788#JCEJ |
| Computational electromagnetics | KNVH2Z6SGK | topic | open | Wikipedia Computational electromagnetics, Wikidata Q5157313 |
| Computational finance | ZRFDEVBWT0 | topic | open | Wikipedia Computational finance, Wikidata Q61715222 |
| Computational fluid dynamics | M8WVXBGFZ6 | definition | open | Wikipedia List of partial differential equation topics#9MJ9 |