Posted on "2022Y10M"

  • SuBonan

All / 2022 Y / 10 MArchive

10-25 - 数学杂记
Homotopy Type Theory
SuBonan

SuBonan

やがて、平凡な人になる
图形学作业请点这里
127 posts
10 categories
  • Home
  • About
  • Posts
    • Archives
    • Categories

Random Posts

  • - 文献阅读
    A Quantum Interpretation of Bunched Logic And Quantum Separation Logic
  • - 数学杂记
    一点关于Set Cover的近似算法
  • - 计算机基础
    Introduction to Database
  • - 数学杂记
    代数拓扑
  • - 计算机基础
    关于Haskell对Kmeans算法parallel并行实现的注释
  • - 数学杂记
    Homotopy Type Theory
  • - 数学杂记
    Sketching Algorithms for Big Data
  • - 数学杂记
    The relation between DFA and Functors
  • - 数学杂记
    TSP问题中消除子圈的MTZ约束
  • - 文献阅读
    Algorithms for Dynamic Geometric Problems over Data Streams

Recent Comments

    © 2019 – 2025 SuBonan @ SuBonan
    Powered by Hexo & Theme.Shoka