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

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

• Perfect Sequence Constructions2018-08-14
(2018.09.03 15:00pm N205)
• 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)
• Mathematical explanation of the phyllotaxis2018-07-25
(2018.07.26 15:00pm N205)
• 测地线的快速计算及应用2018-07-20
(2018.07.23 10:00am N218)
• On triangulation of 3d polyhedra and sequences of monotone flips2018-07-17
(2018.07.18 10:00am N208)
• 化学驱提高原油采收率的最优控制方法2018-07-10
(2018.07.12 15:30pm N109)
• An Entropy Theory of Value2018-07-10
(2018.07.12 14:30pm N109)
• Efficient Interpolant generation algorithms based on quantifier elimination: EUF, Octagons, ...2018-07-09
(2018.07.10 15:00pm N222)
• Desingularization in the q-Weyl algebra2018-07-02
(2018.07.11 16:00pm N205)

<共18页>