开元棋牌

学术报告

所在位置网站首页 > 技术研发 > 学术报告

【学术报告】Type Theory and the Formalization of Mathematics: When Does Equality Compute?

2026年09月01日 15:00

【学术报告】Introduction to Lean

2026年09月01日 14:00

【学术报告】AI 辅助数学科研和教学的一点实践分享

2026年08月31日 10:00

【学术报告】Using AI for Research: From Prompts to Research Infrastructure

2026年08月25日 16:30

【学术报告】Seminar on Discrete Mathematics: A cubic refinement of Jackson's Chvátal--Erdős condition for Hamilton cycles in digraphs

2026年08月21日 10:00

【学术报告】Seminar on Discrete Mathematics: Partial-duals for plane hypermaps

2026年08月21日 11:00

【学术报告】Seminars on Numerical Algorithms, Analyses, and Applications: Multiscale model reduction based on locally optimal spectral approximations for heterogeneous wave equations

2026年08月21日 15:30

【学术报告】Stability of viscous shock waves for Burgers equation with double singularities in viscosity and flux

2026年08月07日 15:00

【学术报告】Stabilization Mechanisms in Magnetohydrodynamics with Partial Dissipation

2026年08月06日 15:30

【学术报告】On the Interactions of Flocking Particles with the Navier-Stokes Flow in an Infinite Channel

2026年07月24日 10:30

共2250条首页上页12345...225下页尾页

网站地图