【讲座】辛形式在量子计算中的应用 讲的是我自己论文中的一个数学工具——symplectic form over F2. 主要涉及在量子计算中的应用。把复杂的工具转化成trivial的讲解方式，数学系的学生应该能够全部听懂并理解。#量子计算 #数学系 #教授 #讲座 #抽象
11:17
【讲座】辛形式在量子计算中的应用 讲的是我自己论文中的一个数学工具——symplectic form over F2. 主要涉及在量子计算中的应用。把复杂的工具转化成trivial的讲解方式，数学系的学生应该能够全部听懂并理解。#量子计算 #数学系 #教授 #讲座 #抽象
2 个月之前
douyin.comCHN_骞翮思远翥
2025-2026-2 高等代数与解析几何下 18 特征多项式 初等因子 不变因子 最小多项式 约当标准型 smith型
52:12
2025-2026-2 高等代数与解析几何下 18 特征多项式 初等因子 不变因子 最小多项式 约当标准型 smith型
已浏览 494 次1 个月前
bilibiliLianbs
可控核聚变路上的一小步：国内首个全动理学全耦合FRC场反位形等离子体模拟【概念验证实验】
0:36
可控核聚变路上的一小步：国内首个全动理学全耦合FRC场反位形等离子体模拟【概念验证实验】
已浏览 5026 次1 个月前
bilibilidrawingsword
数学中的“形式”主义---日常刷题系列002
数学中的“形式”主义---日常刷题系列002
已浏览 2088 次2023年2月27日
bilibili老林解数
【佩珀代因大学 - 中英】形式化方法 Formal Methods
50:15
【佩珀代因大学 - 中英】形式化方法 Formal Methods
已浏览 700 次1 年前
bilibiliMindofuture
【词汇辨析】form/formula/format
1:43
【词汇辨析】form/formula/format
已浏览 3026 次2023年5月19日
bilibili考研英语于杉于衫老师
【杂谈】大学数学公式化，以积分因子法和施密特正交化为例，不背公式
7:06
【杂谈】大学数学公式化，以积分因子法和施密特正交化为例，不背公式
已浏览 782 次7 个月之前
bilibiliWangqing19910913
35:33
形式逻辑导论
已浏览 1790 次2025年4月17日
bilibiliMindofuture
49:34
陶哲轩【中英⚡高级复分析|Math 246C Complex analysis】
已浏览 3.9万 次2025年3月22日
bilibili常青藤中英字幕课程
10:21
陌生结构推断总丢分？倒推大法带你秒出答案！丨李政-高考化学
已浏览 3.3万 次8 个月之前
bilibili化学老师李政
1:36:40
10 强形式弱形式-2 有限元
已浏览 400 次8 个月之前
bilibili时光静寂流逝
30:15
逻辑与形式化方法-龙星计划
已浏览 8928 次2020年3月17日
bilibili名字不能用特殊字符嘛
2:26
高中化学公式计算不是常态，构型反推杂化才是常考｜李政-高考化学
已浏览 5.7万 次2024年9月26日
bilibili化学老师李政
14:44
24语言学带背6形式主义和功能主义（知识补充了解就行不用全背）
已浏览 356 次2023年11月18日
bilibili快点起床学习啦
44:21
数学形式主义基础【思维定向系列之三】
已浏览 3145 次2020年7月26日
bilibili钱金铎
1:30:29
【自用】Fractional Stochastic Volatility Model刘晓彬
已浏览 394 次2022年6月17日
bilibili鸣九闻天
5:34
【学术干货】以福策方程为例的曲线方程参数拟合
已浏览 1217 次2022年9月9日
bilibili社热迷科
16:11
Follow最好的形式化证明的入门工具
已浏览 1004 次2024年8月16日
bilibili小逻逻逻辑
30:37
用分块方式计算form在流形上的积分（更正补充流形上的零测集与用分块方式计算函数在流形上的积分）
已浏览 1180 次4 个月之前
bilibili樊晚香
14:39
学习方法的升级，解题新方法，怎么用f(x)函数周期性，对称性，单调性，抽象函数赋值法，迭代函数的解法
已浏览 8519 次2025年1月17日
bilibili知识罐头
0:51
1分钟巧记formulate（构想 系统地阐述 用公式表达 制定）
已浏览 997 次2022年10月22日
bilibili考得上在线
43:00
动态系统的形式化分析与控制-上海交通大学殷翔
已浏览 8947 次2020年11月8日
bilibili灰灰酱吃饱饱
49:52
形式语义学的邀请｜第五章 类型论下的lambda运算
已浏览 2909 次9 个月之前
bilibiliItzae
30:08
有限元方法的弱形式（I Finally Understood The Weak Formulation For Finite Element Analysis）
已浏览 434 次6 个月之前
bilibili小鹿也要坚强
2:00:32
2小时讲完形式逻辑全部考点（动画思维导图版）
已浏览 9.1万 次2024年3月19日
bilibili管综经综杨涵
22:37
你想知道的那么多🤔……为什么不学点形式推理？| 命题形式推理导论01 | 逻辑学入门企划
已浏览 7.4万 次2024年7月12日
bilibili昇昇讲堂
13:56
FRM必考点！不止一题！组合久期与凸性的理解与计算
已浏览 627 次2021年5月28日
bilibiliFRM30大几CFA
3:22:06
4(下)_命题逻辑的形式语言
已浏览 1511 次2023年10月11日
bilibiliPKULOGIC
17:20
【线性代数教程】47-二次型-1(Quadratic Forms 1)
已浏览 3163 次2022年6月19日
bilibili芸学习
1:41:18
形式化方法 - 华保健 - 第04节下
已浏览 65 次2025年1月18日
bilibili这次去哪玩
展开