学术报告--中国科学院数学机械化重点实验室 (KLMM)

当前位置：首页>学术活动>学术报告

• Quantum Secure Direct Communication2017-06-22
(2017.06.23 09:00am N204)
• 曲面隐式化的新进展2017-06-16
(2017.06.20 10:00am N205)
• Automation in interactive theorem proving2017-06-16
(2017.06.19 14:00pm N202)
• Algebraic dynamics, difference fields and model theory2017-06-12
(2017.06.13 10:00am N420)
• Placement Delivery Array Design for Coded Caching Scheme2017-06-07
(2017.06.12 15:30pm 思源楼421)
• Algebraic and computational aspects of tensors2017-06-01
(2017.06.05 15:30pm N202)
• On the summability of formal solutions of singular PDEs2017-06-01
(2017.06.05 14:00pm N202)
• 量子算法与复杂性2017-05-22
(2017.05.26 9:00am N204)
• On function field Mordell-Lang in positive characteristic, revisited (joint with F. Benoist and E...2017-05-22
(2017.05.23 10:00am N202)
• 密码学中几类非线性序列综述2017-04-28
(2017.05.04 14:00pm N205)
• The Riemann Hypothesis in terms of eigenvalues of certain almost triangular Hankel matrices2017-04-10
(2017.04.18 10:00am N202)

<共11页>