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

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

• Efficient Fully Homomorphic Encryption Schemes2018-10-16
(2018.10.18 15:00pm N205)
• Sparse Deep Neural Networks Through L(1,∞)-Weight Normalization2018-10-10
(2018.10.24 15:30pm N205)
• QUATERNION RATIONAL SURFACES2018-10-10
(2018.10.18 9:30am N205)
• Bumpless pipedreams and Stanley symmetric functions2018-09-06
(2018.09.11 15:00pm N109)
• Perfect Sequence Constructions2018-08-14
(2018.09.03 15:00pm N205)
• Deterministically Certifying an Isolated Simple Zero of an Over-determined Polynomial System with...2018-08-24
(2018.08.27 16:00pm N402)
• Soft Resolution-Exact Path Planning in Robotics: Theory and Practice2018-08-15
(2018.08.17 16:00pm N202)
• Algorithm for computing mu-bases of univariate polynomials2018-08-15
(2018.08.17 15:00pm N202)
• Bayesian optimisation and Intrinsic Gaussian process on manifold2018-08-10
(2018.08.13 10:30am N208)
• Semi-automated proof of supercongruences on partial sums of hypergeometric series2018-07-30
(2018.08.08 16:00pm N205)
• Arithmetic properties for Ramanujan's ？ function2018-07-30
(2018.08.08 15:00pm N205)

<共18页>