|
时间
|
报告人
|
内容
|
地点
|
|
2010-11-5
|
Bruno Salvy
INRIA Rocquencourt, 法国
|
Special Function Identities
|
思源楼
703
|
|
2010-11-4
|
Professor Gabriela Jeronimo
Universidad de Buenos Aires
|
Solving Sparse Polynomial Equation Systems
|
思源楼
712
|
|
2010-11-3
|
Prof. Alexander V. Mikhailov
University of Leeds
|
Lie algebras, Lax pairs, integrable PDEs, soliton solutions and corresponding difference equations
|
思源楼
309
|
|
2010-11-2
|
Prof. William Sit
（CUNY, USA ）
|
Algebraic Approach to Initial Problems of Oridnary Differnertial Equations
|
思源楼
712
|
|
2010-6-11
|
Wenping Wang
Hong Kong University
|
Optimization-Based Mesh Generation
|
思源楼
309
|
|
2010-6-10
|
刘洋
微软亚洲研究院
|
最小二乘意义下基于垂直距离的参数模型拟合方法
|
思源楼
712
|
|
2010-5-26
|
邢朝平
新加坡南洋理工大学
|
码与有限域的乘法
|
思源楼
309
|
|
2010-5-13
|
Yan-Bin Jia
Department of Computer Science Iowa State University
|
Modeling Deformations of General Parametric Shells Grasped by a Robot Hand
|
思源楼
309
|
|
2010-4-22
|
Mohab Safey El Din
INRIA/LIP6?SALSA?Project， France
|
Fast algorithms for computing roadmaps in smooth?bounded real algebraic sets
|
思源楼
712
|
|
2010-3-11
|
Graziano Chesi
University of Hong Kong
|
SOS Polynomials and their Application in Robustness Analysis of Uncertain Systems
|
思源楼
703
|
|
2010-3-3
|
HIDETSUNE KOBAYASHI
日本大学
|
An automated reasoning system H-prover
|
思源楼703
|
|
2010-2-3
|
Scott McCallum
Macquarie University, Australia
|
Improvements and Extensions to CAD-Based Quantifier Elimination: Informal Survey
|
思源楼309
|
|
2009-7-24
|
Zhong-gang ZENG
Northeastern Illinois
University Chicago
|
Geometry
of Ill-posed Algebraic Problems
|
思源楼309
|
|
2009-7-23
|
Zhong-gang ZENG
Northeastern Illinois University Chicago
|
Matrix
Computation in Numerical Polynomial Algebra and Algebraic Geometry
|
思源楼309
|
|
2009-7-20
|
Yang Zhang
University of Manitoba，Canada
|
Factorization?and?irreduciblity?of?Ore?polynomial
|
思源楼309
|
|
2009-7-17
|
RidaT.Farouki
University of California, Davis
|
Real-time Cnc
Interpolator Algorithms for Motion Control
|
思源楼309
|
|
2009-7-9
|
CHU Wenchang
University of Salento Lecce
|
Leibniz Inverse Series Relations and Pfaff-cauchy
Derivative Identitie
|
思源楼712
|
|
2009-6-19
|
Dr. Guangwu Xu
University of Wisconsin-Milwaukee, USA
|
On Recovery of
High-Dimensional Sparse Signals via $\ell_1$ Minimization
|
思源楼712
|
|
2009-5-13
|
Daniel Lazard
LIP6 and INRIA Rocquencourt
France
|
Theorem Proving
in Geometry and Tools for Polynomial System Solving
|
数学院报告厅
|
|
2009-5-13
|
Marc Moreno Maza
University of Western Ontario
|
Triangular
Decomposition of Polynomial Systems: Algorithmic Advances and
Remaining Challenges
|
数学院报告厅
|
|
2009-5-13
|
Stephen Watt
University of Western Ontario
Canada
|
The Mathematics
of Calligraphy
|
数学院报告厅
|
|
2009-5-13
|
George Labahn
University of Waterloo
Canada
|
Solving
Structured Linear Problems in Exact and Approximate Arithmetic
|
数学院报告厅
|
|
2009-5-13
|
Deepak Kapur
University of New Mexico Albuquerque, NM
USA
|
On Wu's
Perspective on Theorem Proving with a Recent Application to Program
Analysis
|
数学院报告厅
|
|
2009-5-13
|
张景中
中科院成都计算机应用研究所
|
Mathematics
Mechanization and Education Technology
|
数学院报告厅
|
|
2009-5-12
|
Bruno Buchberger
Johannes Kepler University
Austria
|
A New Symbolic
Method for Linear Boundary Value Problems Using Groebner Bases
|
数学院报告厅
|
|
2009-5-12
|
Kazuhiro
Yokoyama
|
Computation of
the Splitting Field of a Polynomial Using its Galois Group
|
数学院报告厅
|
|
2009-5-12
|
Francois Boulier
Université des Sciences et Technologies de Lille
France
|
On Applications
of Differential Elimination to Modeling Problems in Biology
|
数学院报告厅
|
|
2009-5-12
|
Evelyne Hubert
INRIA Sophia Antipolis
France
|
Algebra of
Differential Invariants
|
数学院报告厅
|
|
2009-5-12
|
Vladimir P.
Gerdt
Joint Institute for Nuclear Research
Russia
|
Involutive
Groebner Bases in Boolean Rings
|
数学院报告厅
|
|
2009-5-12
|
Shang-Ching Chou
Wichita State University
USA
|
JGEX - the
System Java Geometry Expert
|
数学院报告厅
|
|
2009-5-12
|
陈永川
南开大学
|
The Extended
Zeilberger's Algorithm with Parameters
|
数学院报告厅
|
|
2009-5-11
|
陈发来
中国科学技术大学
|
Recent Developments
onμ-Basis of Rational Curves and Surfaces
|
数学院报告厅
|
|
2009-5-11
|
杨路
中科院成都计算机应用研究所
|
A Dynamical
Decision about the Nonnegativity of Multivariate Polynomials
|
数学院报告厅
|
|
2009-5-11
|
王东明
北京航天航空大学/CNRS
|
On the
Mechanization of Geometry: From Theorem Proving to Knowledge Management
|
数学院报告厅
|
|
2009-5-11
|
Komatsu
Hikosaburo
Tokyo University of Science
Japan
|
Geometry of Seki
Takakazu (1642 ? –1708 ) and Takebe Brothers with
the Use of Resultants
|
数学院报告厅
|
|
2009-5-11
|
Erich Kaltofen
North Carolina State University,
USA
|
Supersparse
Interpolation: Mathematics + Algorithmic and Computational
Thinking=Mathematics Mechanization
|
数学院报告厅
|
|
2009-5-11
|
Hoon Hong
North Carolina State University
USA
|
Deciding
Feasibility of Polynomial Inequalities by Numerical Filtering
|
数学院报告厅
|
|
2008-11-12
|
Mohab Safey El
Din
INRIA,UPMC,Univ Paris 06 LIP6，France
|
Real Solving
Polynomial Systems with the Critical Point Method: From Theory to Practice
|
思源楼712
|
|
2008-11-12
|
Erich Kaltofen
North Carolina State University,
USA
|
A Fraction Free
Matrix Berlekamp/Massey Algorithm
|
思源楼703
|
|
2008-7-9
|
Deepak Kapur
University of New Mexico Albuquerque, NM, USA
|
Multivariate Resultants
based on Cayley-Dixon's Method
|
思源楼712
|
|
2008-6-14
|
Prof. Ling San
Nanyang Technological University, Singapore
|
Perfect
Nonlinear Functions, Codes and Secret Sharing Schemes
|
思源楼703
|
|
2008-6-14
|
Huaxiong Wang
Nanyang Technological University, Singapore
|
Some
Combinatorial Approaches in Secret Sharing Schemes
|
思源楼712
|
|
2008-11-12
|
Mohab Safey El
Din
INRIA,UPMC,Univ Paris 06 LIP6，France
|
Real Solving
Polynomial Systems with the Critical Point Method: From Theory to Practice
|
思源楼712
|
|
2008-11-12
|
Erich Kaltofen
North Carolina State University,
USA
|
A Fraction Free
Matrix Berlekamp/Massey Algorithm
|
思源楼703
|
|
2008-7-9
|
Deepak Kapur
University of New Mexico Albuquerque, NM, USA
|
Multivariate
Resultants based on Cayley-Dixon's Method
|
思源楼712
|
|
2008-6-14
|
Prof. Ling San
Nanyang Technological University, Singapore
|
Perfect
Nonlinear Functions, Codes and Secret Sharing Schemes
|
思源楼703
|
|
2008-6-14
|
Huaxiong Wang
Nanyang Technological University, Singapore
|
Some
Combinatorial Approaches in Secret Sharing Schemes
|
思源楼712
|
|
2008-6-4
|
HaoHao Wang
Southeast Missouri State University,
USA
|
Using Syzygies
to find implicit equations of parametric surfaces with base points
|
思源楼703
|
|
2008-5-14
|
Prof. Moulay
Barkartou
University of Limoge, France
|
Super
irreducible decompostion of linear differentia equations
|
思源楼703
|
|
2008-4-20
|
Jintai Ding
University of Cincinnati, USA
|
Multivariate
Cryptography
|
思源楼309
|
|
2008-4-16
|
Ding-Zhu Du
University of Texas at Dallas, USA
|
Computational
Complexity
|
思源楼712
|
|
2008-4-16
|
Song Y. Yan
Bedford University, UK
|
Computational
Number Theory
|
思源楼309
|
|
2008-4-10
|
贾祥雪
中科院数学与系统科学研究院
|
SAT问题主流研究纵览
|
思源楼309
|
|
2008-4-10
|
高小山
中科院数学与系统科学研究院
|
A Characteristic
Set Method for Solving Boolean Equations and Applications in Cryptanalysis
|
思源楼712
|
|
2008-4-10
|
黄震宇
中科院数学与系统科学研究院
|
求解布尔方程的Groebner方法与XL方法
|
思源楼712
|
|
2007-09-20 3:00 PM
|
Dr. Eckhard Hitzer
Department of Applied Physics, University of Fukui, Japan
|
Directional Uncertainty in Clifford Algebra
|
思源楼712
|
|
2007-09-05 3:00 PM
|
Prof. Jing Ping Wang
University of Kent, U. K
|
Structure of (2+1)-dimensional commutative and
noncommutative integrable hierarchies
|
思源楼712
|
|
2007-08-21 10:00 AM
|
Min Wu
|
Groebner bases for differential and difference
modules
|
思源楼703
|
|
2007-08-21 3:00 PM
|
H. Kobayashi
Nihon University, Japan
|
Towards Automatic Reasoning
|
思源楼309
|
|
2007-06-28 10:00 AM
|
Jean-Charles Faugere
SALSA Research Team
INRIA, University Paris 6
|
The F5 algorithm and applications in Cryptology
|
思源楼712
|
|
2007-06-27 10:30 AM
|
Frederic Chyzak, INRIA Rocquencourt, France
|
Differential Equations for Algebraic Functions
|
思源楼712
|
|
2007-06-06 9:00 AM
|
Karl Sigmund
维也纳大学教授
|
Public Goods, Reciprocity and Enforcement
|
思源楼712
|
|
2007-06-04 4:00 PM
|
Ruoming Jin
Kent State University, USA
|
Scalable Data Mining: System and Algorithms
|
思源楼309
|
|
2007-06-04 3:00 PM
|
Paul S. Wang
Kent State University, USA
|
Features and Advantages of WME: a Web-based
Mathematics Education System
|
思源楼309
|
|
2007-06-01 10:00 AM
|
Prof. Zhijun Qiao
University of Texas-Pan American
|
Integrable peaked soliton equations
|
思源楼712
|
|
2007-05-28 10:00 AM
|
Eric Schost
The University of Western Ontario
|
Solving Toeplitz- and Vandermonde -like linear
systems with large displacement rank
|
思源楼712
|
|
2007-05-25 1:30 PM
|
Prof. Eacuteric Schost,
Computer Science Department,
University of Western Ontario
|
An overview of some complexity aspects for
computations with triangular sets
|
中关村教学楼N406
|
|
2007-05-24 3:00 PM
|
Chandrajit Bajaj
University of Texas at Austin,US
|
Algebraic Splines for Molecular Modeling
|
思源楼703
|
|
2007-05-22 10:00 AM
|
Marc Moreno Maza
The University of Western Ontario, Canada
|
Component-level Parallelization of Triangular
Decompositions
|
思源楼703
|
|
2007-05-17 3:00 PM
|
Marc Moreno Maza
The University of Western Ontario, Canada
|
Comprehensive Triangular Decomposition
|
思源楼712
|
|
2007-04-16 4:00 PM
|
Guilin Wang, I2R, Singapore
|
On the Generic and Efficient Constructions of
Secure Designated Confirmer Signatures
|
思源楼712
|
|
2007-04-10 2:00 PM
|
Prof. Miles Reid
University of Warwick, UK
|
Lecture on McKay correspondence and derived
categories (3)
|
北大资源楼1218
|
|
2007-04-06 10:00 AM
|
Prof. Miles Reid
University of Warwick, UK
|
Lecture on McKay correspondence and derived
categories (2)
|
晨 兴 410
|
|
2007-04-04 4:00 PM
|
Prof. Miles Reid
University of Warwick, UK
|
Lecture on McKay correspondence and derived
categories (1)
|
思源楼712
|
|
2007-03-27 3:30 PM
|
Prof. George Bluman
University of British Columbia, Canada
|
Introduction to Similarity Methods
|
思源楼 712
|
|
2007-01-11 3:00 PM
|
Jinzhi Lei, Tsinghua University
|
Nonlinear differential Galois theory
|
思源楼 712
|
|
2006-12-28 3:00 PM
|
冯如勇
|
Symbolic solutions of nonlinear algebraic ODEs
|
思源楼 712
|
|
2006-11-23 3:00 PM
|
邓映蒲
|
密码学中的数学问题
|
思源楼 703
|
|
2006-11-15 3:00 PM
|
Prof. Jintai Ding （丁津泰）
University of Cincinnati, USA
|
Multivariate public key cryptosystems and algebraic
cryptanalysis
|
思源楼 309
|
|
2006-11-09 3:00 PM
|
马玉杰
|
Symbolic Computation for Algebraic Surfaces
|
思源楼 712
|
|
2006-11-03 3:00 PM
|
Prof. Eckhard Hitzer
Fukui University, Japan
|
Applications of Clifford Algebra to Fourier
Transformation, Wavelets and Crystal Symmetry
|
思源楼 309
|
|
2006-10-26 3:00 PM
|
支丽红
|
Structured Total Least Norm Method for
Symbolic-Numeric Computation
|
思源楼 712
|
|
2006-09-28 3:00 PM
|
吴尽昭
|
符号计算/自动推理/复杂系统设计与分析及其交叉融合应用研究
|
思源楼 703
|
|
2006-09-04 3:00 PM
|
Wenchang Chu
Universita degli Studi di Lecce, Italy
|
Asymptotic Method for Dougall's Bilateral
Hypergeometric Sums
|
思源楼 309
|
|
2006-08-31 3:00 PM
|
Wenchang Chu
Universita degli Studi di Lecce, Italy
|
Abel's Method on Summation by Parts and
Hypergeometric
|
思源楼 309
|
|
2006-08-29 3:00 PM
|
Wang Jing-Ping
University of Kent, U.K.
|
Symmetry and Integrability
|
思源楼 712
|
|
2006-08-24 3:00 PM
|
A. Suzuki
Kobe University, Japan
|
Simple Algorithms to Compute Comprehensive Groebner
Bases and Their Implementations
|
思源楼 309
|
|
2006-08-24 2:00 PM
|
H. Kobayashi
Nihon University, Japan
|
Formalization of Hensel's lemma
|
思源楼 309
|
|
2006-08-23 3:00 PM
|
Prof. Kuo-Chang Chen
Tsinghua University of Taiwan
|
Polynomials in the N-body problem.
|
思源楼 703
|
|
2006-07-27 3:00 PM
|
Prof. Markus Schmies
Technical University Berlin, Germany
|
Numerical Methods for Riemann Surfaces via Schottky
Uniformizations
|
思源楼 309
|
|
2006-07-26 10:00 AM
|
Hoon Hong
North Carolina State University
|
Approximate Solving of Real Quantified Constraints
|
思源楼 309
|
|
2006-07-20 3:00 PM
|
Qing Hong
State University of New York at Stony Brook
|
Manifold Splines: Theory and Applications for
Visual Computing
|
思源楼 712
|
|
2006-07-18 10:00 AM
|
Eng-Wee Chionh
Singapore National Univesrity
|
Maximality and Extraneous Factors of Dixon
Determinants
|
思源楼 309
|
|
2006-06-22 4:00 PM
|
韩 阳
|
Representation theory of algebras
|
思源楼 712
|
|
2006-06-17, 18, 19
9：00－10：30 AM
|
苏育才
中国科学技术大学
|
Proof of Two Dimensional Jacobian Conjecture1
|
思源楼 708
|
|
2006-06-15 3:00 PM
|
Yang Zhang
|
Non-commutative Existence and Uniqueness Theory for
analytic systems of nonlinear PDEs
|
思源楼 712
|
|
2006-06-08 3:00 PM
|
李洪波
|
基于高级不变量的符号几何计算问题
|
思源楼 712
|
|
2006-05-18 3:00 PM
|
李子明
|
Factoring Finite-dimensional Differential Modules
|
思源楼 712
|
|
2006-05-18 3:00 PM
|
张明波
|
微分与差分多项式分解的理论与算法
|
思源楼 712
|
|
2006-03-23 3:00 PM
|
Claude and Helene Kirchner
INRIA, France
|
Rewrite Based Computation and Deduction
|
思源楼 712
|
|
2006-03-16 3:00 PM
|
石 赫
|
规范场理论的数学机械化研究
|
思源楼 712
|
|
2006-02-23 3:00 PM
|
吕卓生
|
研究非线性波动方程精确类孤波解的符号计算方法
|
思源楼 703
|
|
2006-02-16 3:00 PM
|
Miles Reid
University of Warwick
England
|
How many K3 surfaces, Fano 3-folds and Calabi-Yau
3-folds are there?
|
思源楼 712
|
|
2006-02-10 2:00 PM
|
Miles Reid
|
Weighted Projective Homogeneous Spaces
|
晨兴 410
|
|
2006-02-10 3:10 PM
|
Xiaoping Xu
|
Classical Simple Lie Algebras over Weyl Algebras
|
晨兴 410
|
|
2006-02-10 4:20 PM
|
Ruibin Zhang
|
A unified treatment of Schur-Weyl dualities for Lie
algebras and for quantum groups
|
晨兴 410
|
|
2006-01-16 10:00 AM
|
Dr.Soin Kim
Institute of Mathematics
D.P.R. Korea
|
Computation of the modular polynomials using
mirror-duality of premodularity
|
思源楼 705
|
|
2005-12-22 3:00 PM
|
Daqing Wan (UC Irvine)
|
Counting Rational Points over Finite
Fields
|
思源楼 712
|
|
2005-12-20 10:00 AM
|
Professor Meera Sitharam
CISE Dept.
University of Florida
|
Symmetric Macromolecular Assembly
modeling by Geometric constraints
|
思源楼 712
|
|
2005-12-19 10:00 AM
|
Ciprian Borcea
Rider University
|
Hinge structures and Grassmannians
|
思源楼 712
|
|
2005-12-16 2:30 PM
|
徐明曜 教授
北京大学数学科学学院
|
Some Problems on Finite p-groups
|
思源楼 309
|
|
2005-11-24 3:00 PM
|
Mark
Giesbrecht
School of Computer Science
University of Waterloo
Canada
|
Applications
of the Riemannian SVD to Approximate Polynomial Computation
|
思源楼 712
|
|
2005-11-17 3:00 PM
|
雷 娜
|
On Rational Interpolation
|
思源楼 712
|
|
2005-11-12
|
Chionh Eng Wee
|
Inherently Improper Surface Parametric Supports
|
|
|
2005-10-21 10:00 AM
|
Guillem Huguet
Universidad Publica de Navarra
|
Linear Hamiltonian Flows: A Combinatorial
Perspective
|
思源楼 712
|
|
2005-10-13 3:00 PM
|
杨重骏 教授
香港科技大学
|
Value Distributation Theory Related to Differential
Equations and Number Theory
|
思源楼 703
|
|
2005-09-16 2:30 PM
|
Jia Li
|
The Luroth's Theorem
|
思源楼 705
|
|
2005-09-09 3:00 PM
|
Chionh Eng Wee
|
Corner Cutting and the Dixon Method
|
思源楼 705
|
|
2005-09-07 3:00 PM
|
申立勇
|
曲面/曲线mu基的计算及其应用
|
思源楼 705
|
|
2005-09-02 3:00 PM
|
Chionh Eng Wee
|
Reparametrization of Improper Rational Parametric
Equations for Curves and Surfaces
|
思源楼 705
|
|
2005-08-23 10:00 AM
|
Jaime Gutierrez
Univ. of Cantabria
Spain
|
Multivariate Polynomial Decomposition
|
思源楼 705
|
|
2005-07-26
|
丁存生
|
密钥共享和线性码
|
|
|
2005-07-19 10:00 AM
|
Sergey Tsarev
Krasnoyarsk State Pedagogical Univ.
Russia
|
Overview of the factorization theory of systems of
differential equations
|
思源楼 309
|
|
2005-07-14 3:00 PM
|
Chee Yap
Courant Institute and Korea Institute of Advanced Study
|
Which Real Number Problems Can be Computed Exactly
|
思源楼 712
|
|
2005-07-13
|
Liu Xiaobo
Notre Dame University, USA
|
Tautological ring of moduli spaces o
f stable curves
|
|
|
2005-06-15 3:00 PM
|
Shang-Ching Chou
Wichita State University
USA
|
Java Geometry Expert and its Applications to
Geometry Education
|
思源楼 309
|
|
2005-05-25
|
王明生，中国科学院软件技术研究所
|
代数攻击
|
|
|
2005-05-24 3:00 PM
|
吴玉椿
中科院量子信息重点实验室
安徽 合肥
|
纠缠态的判定
|
思源楼 309
|
|
2005-05-19 3:00 PM
|
Prof.Roland Hildebrand (CNRS,FRANCE)
Prof.Arnaud Tonnelier (INRIA,FRANCE)
|
Identification for control: optimal input design
Limit cycles of piecewise linear systems
|
思源楼 309
|
|
2005-05-18
|
陈小明
|
可证安全性证明
|
|
|
2005-05-16 3:00 PM
|
Prof. Yan-Bin Jia
Department of Computer Science
Iowa State University
|
Curvature and Shape from Touch
|
思源楼 712
|
|
2005-04-20
|
吴玲云，中国科学院软件技术研究所
|
差分和线性密码分析
|
|
|
2005-04-06
|
林东岱，中国科学院软件技术研究所
|
分布式计算和并行计算
|
|
|
2005-03-24 3:00 PM
|
胡磊教授（研究生院）
|
密码学研究的一些问题
|
思源楼 309
|
|
2005-03-17 3:00 PM
|
段海豹研究员（数学所）
|
相交理论简介
|
思源楼 309
|
|
2005-02-22 3:00 PM
|
姚新教授，英国伯明翰大学
|
演化计算及其优化
|
思源楼 309
|
|
2004-12-17
|
Zhou Wenqin（Univerisity of Western Ontario Dept. Applied Mathematics）
|
Implicit Reduced Involutive Forms and Their
Application to Engineering Multibody
Systems
|
|
|
2004-11-02 3:00 PM
|
武永卫（清华大学）
|
高性能符号计算中的若干问题探讨
|
思源楼 703
|
|
2004-10-28 3:00 PM
|
王明生 研究员（中科院软件所）
|
Algebraic attack methods in Information
Security
|
思源楼 705
|
|
2004-10-18
|
Ruyong, Feng
|
Algebraic Solutions of Algebraic ODEs
|
|
|
2004-09-06 3:00 PM
|
Prof.Chu
Wenchang
Dipartimento di Matematica
Universita degli Studi Lecce
ITALY
|
基本超几何级数导论III
|
思源楼 712
|
|
2004-09-04 3:00 PM
|
Prof.Chu
Wenchang
Dipartimento di Matematica
Universita degli Studi Lecce
ITALY
|
基本超几何级数导论II
|
思源楼 712
|
|
2004-09-02 3：00 PM
|
Prof.Chu
Wenchang
Dipartimento di Matematica
Universita degli Studi Lecce
ITALY
|
基本超几何级数导论I
|
思源楼 712
|
|
2004-08-27 3：00 PM
|
Hong Qin
SUNY at Stony Brook
|
Digital Geometric Processing: Interactive Editing
and Manipulation of Point-set Geometry with Physical and Haptic Interaction
|
思源楼 309
|
|
2004-08-10 10：30 AM
|
Prof. Peter PAULE
RISC-Linz, Kepler University
Linz, Austria
|
Constructive Mathematics in the Digital Age
|
思源楼 712
|
|
2004-08-04 3：00 PM
|
Prof.Chu Wenchang
Dipartimento di Matematica
Universita degli Studi Lecce
ITALY
|
Harmonic number identities and Hermite-Pade Approximations
to the logarithm function
|
思源楼 309
|
|
2004-06-10 3：00 PM
|
陈润生 研究院（生物物理所）
|
生物信息中的数学与物理问题
|
思源楼 712
|
|
2004-06-04 10：40 AM
|
Prof. Andrea Brini
Dept. of Mathematics
Univ. de Bologna, Italy
|
Superalgebra, Representation Theory and Cayley-Grassmann
Calculus III
|
思源楼 712
|
|
2004-06-04 9：00 AM
|
Prof. Garret Sobczyk
Departamento de Fisica y Matematicas
Universidad de Las Americas – Puebla
Cholula, Puebla, MEXICO
|
The Shape Operator in Riemannian Geometry
|
思源楼 712
|
|
2004-06-03 3：00 PM
|
Prof. Peter Olver
Dept. of Mathematics
University of Minnesota
USA
|
Lectures on Moving Frames III
|
思源楼 712
|
|
2004-06-03 10：20 AM
|
Prof. Greg Reid
Ontario Research Centre for Computer Algebra
University of Western Ontario
http://www.orcca.on.ca//~reid
|
Algorithmic Formal Solvability of Partial
Differential Equations
|
思源楼 712
|
|
2004-06-03 9：00 AM
|
Prof. Garret Sobczyk
Dept. de Fisica y Matematicas
Univ. de Las Americas – Puebla, MEXICO
|
The Geometric Algebra Program: Directed
Integration and Riemanian Geometry
|
思源楼 712
|
|
2004-06-01 3：00 PM
|
Prof. Peter Olver
|
Lectures on Moving Frames II
|
思源楼 712
|
|
2004-06-01 10：40 AM
|
Prof. Andrea Brini
Dept. of Mathematics
Univ. de Bologna, Italy
|
Superalgebra, Representation Theory and
Cayley-Grassmann Calculus II
|
思源楼 712
|
|
2004-06-01 9：00 AM
|
Prof. Neil White
Department of Mathematics
University of Florida
USA
|
The Basics of Coxeter Matroids
|
思源楼 712
|
|
2004-05-31 3：00 PM
|
Prof. Peter Olver
Dept. of Mathematics
University of Minnesota
USA
|
Lectures on Moving Frames
|
思源楼 712
|
|
2004-05-31 10：40 AM
|
Prof.
Andrea Brini
Dept. of Mathematics
Univ. de Bologna, Italy
|
Superalgebra, Representation Theory and
Cayley-Grassmann Calculus I
|
思源楼 712
|
|
2004-05-31 9：00 AM
|
Prof.Timothy
Havel
Dept. of Nuclear Engineering
MIT, USA
|
The Real Density Matrix
|
思源楼 712
|
|
2004-04-12 3：00 PM
|
Deok-Soo
Kim
Hanyang University, Korea
|
Voronoi diagram for
spheres and its applications
|
思源楼 712
|
|
2004-04-08 3：00 PM
|
Prof. M. Singer, N.
Carolina State Univ., USA
|
Linear Operators for Polynomial Equations
|
思源楼 712
|
|
2004-04-06 3：00 PM
|
Xin Yao Birmingham
University
|
Evolutionary Optimisation
and Constraint Handling
|
思源楼 712
|
|
2004-04-01
|
冯克勤 ( 清华大学数学系 )
|
量子纠错码
|
思源楼 712
|
|
2004-03-25
|
Prof. Li Dafa （
Tsinghua University, Department of Mathematical Sciences ）
|
An introduction to quantum computing
|
思源楼 712
|
|
2004-03-08
|
陈旻（宁波大学）
|
关于实符号系数单变元多项式（不等式）组的判别系统
|
思源楼 309
|
|
2004-03-04
|
Prof. Wu Yihong
Institute of Automation
|
CAS 括号代数在计算机视觉中的一些应用
|
思源楼 309
|
|
2004-02-26
|
石 赫
|
规范场和示性变换
|
思源楼 712
|
|
2004-01-08
|
李铁民（清华大学）
|
并联机器人：数学、控制及应用
|
思源楼 712
|
|
2004-01-06
|
闫振亚
|
非线性偏微分方程解的研究
|
思源楼 712
|
