时间
|
报告人
|
内容
|
地点
|
2014-09-25
|
Qinghu Hou
Nankai University
|
Minimal Universal Denominators for Linear Difference Equations
|
南楼
205
|
2014-09-02
|
Deok-Soo Kim
Hanyang University
|
BULL! library and MGOS engine for molecular geometry
|
南楼
224
|
2014-09-01
|
Juyong Zhang
中国科学技术大学
|
Iso-level tool path planning for free-form surfaces
|
南楼
208
|
2014-08-28
|
Xuefeng Liu
Waseda University, Japan
|
Solution Verification for Non-linear Elliptic Partial Differential Equations
|
南楼
210
|
2014-08-27
|
Xuefeng Liu
Waseda University, Japan
|
Verified Eigenvalue Bounds for Self-adjoint Differential Operators
|
南楼
210
|
2014-08-27
|
Jing-Ping Wang
University of Kent, UK
|
Representations of sl(2, C) in the BGG category O and master symmetries
|
南楼
420
|
2014-08-26
|
Xuefeng Liu
Waseda University, Japan
|
Verified Computation Based on Finite Element Method: From Qualitative Error Analysis to Quantitative One
|
南楼
210
|
2014-07-31
|
Chee K Yap
Courant Institute,NYU
|
Analytic Root Isolation:an Unconditional Clustering Algorithm
|
南楼
420
|
2014-08-05
|
Richard Peter Stanley
MIT,USA
|
A Survey of Alternating Permutations
|
南楼
420
|
2014-07-29
|
Dr. Christoph Koutschan
RICAM, Austrian Academy of Sciences, Austria
|
AJ conjecture and factorization of q-shift operators
|
南楼
420
|
2014-07-28
|
Dr. Manuel Kauers
RISC-Linz, Austria
|
Desingularization of Ore Operators
|
南楼
420
|
2014-07-28
|
Dr. Manuel Kauers
RISC-Linz, Austria
|
Classification of Restricted Lattice Walks in 3D
|
南楼
420
|
2014-07-21
|
Prof. Thomas W. Sederberg
Brigham Young University.
|
The theory and applications of T-Splines
|
南楼
226
|
2014-06-30
|
Baofeng Feng
University of Texas-Pan American, U.S.A.
|
General soliton solution to the vector nonlinear Schrodinger equation
|
南楼
514
|
2014-05-27
|
Prof.Bernd Sturmfels
University of California, Berkeley
|
Quartic Spectrahedra
|
南楼
202
|
2014-05-26
|
Prof.Bernd Sturmfels
University of California, Berkeley
|
Beyond Linear Algebra
|
南楼
204
|
2014-02-21
|
Prof.Stephen M. Watt
The University of Western Ontario
|
Challenges for the Next Decade of Symbolic Mathematical Computing Systems
|
思源楼
309
|
2013-12-19
|
朱锟鹏研究员
中国科学院先进制造研究所
|
先进制造系统中的数学方法---制造信息学
|
思源楼
309
|
2013-12-16
|
Hoon Hong
|
Root Separation Bound
|
思源楼
703
|
2013-11-4
|
Yimin WEI
Fudan University
|
Effective condition numbers and small sample statistical condition estimation for the generalized Sylvester equation
|
思源楼
708
|
2013-10-28
|
Sylvain LAVERNHE
ENS Cachan - LURPA, France
|
Tool path definitions and their interpolation for optimized 5 axis high speed machining
|
思源楼
712
|
2013-10-28
|
Allan D.Spence
McMaster University, Canada
|
Comprehensive Non-Contact Digitizer Data Use for Sheet Metal Forming Measurement and Analysis
|
思源楼
712
|
2013-10-25
|
于东
中国科学院沈阳计算技术研究所
|
A Mechanism of Information Interaction of CNC System under the Network Environment
|
思源楼
报告厅
|
2013-10-25
|
Chen-Han Lee
华中科技大学
|
A Method of Computing Optimal Tool Path Using Field-based Covariant Functionals
|
思源楼
报告厅
|
2013-10-24
|
赵吉宾
中国科学院沈阳自动化研究所
|
Tool path Planning Based on Conformal Geometry
|
思源楼
报告厅
|
2013-10-24
|
Hsi-Yung Feng
University of British Columbia, Canada
|
Preferred Feed Direction Field: A New Tool Path Generation Method for Efficient Sculptured Surface Machining
|
思源楼
报告厅
|
2013-10-23
|
Corrado Guarino Lo Bianco
University of Parma, Italy
|
A Third-Order Filter for the On-Line Generation of Constrained Trajectories
|
思源楼
712
|
2013-10-23
|
Ismail Lazoglu
Koc University,Turky
|
State of Research in the Koc University Manufacturing and Automation Research Center (MARC)
|
思源楼
309
|
2013-10-22
|
Stephen Watt
University of Western Ontario,Canada
|
Identifying Features via Optimization and Homotopy on Handwritten Mathematical Symbols
|
思源楼
709
|
2013-8-28
|
David Xianfeng Gu
State University of New York at Stony Brook
|
Computational Conformal Geometry: Theory, Algorithm and Applications
|
思源楼
309
|
2013-7-9
|
Qi Cheng
University of Oklahoma
|
Sub-Linear Root Detection, and New Hardness Results, for Sparse Polynomials Over Finite Fields
|
思源楼
708
|
2013-6-24
|
Tien-Yien LI (李天岩)
University of Maryland
|
About solving polynomial systems
|
思源楼
703
|
2013-6-20
|
Nianjun Liu
Alabama University
|
Haplotype-based methods for detecting uncommon causal variants with common SNPs in genetic association studies
|
思源楼
712
|
2013-6-11
|
楼森岳
宁波大学
|
孤立子的动力学产生
|
思源楼
309
|
2013-6-11
|
陈勇
华东师范大学
|
A systemic method to construct the nonlocal symmetries
|
思源楼
309
|
2013-6-11
|
李彪
宁波大学
|
Recursion operators and conservation laws for discrete lax equations
|
思源楼
309
|
2013-6-8
|
A. V. Mikhailov
University of Leeds
|
Formal diagonalisation of Darboux transformation and conservation laws of integrable partial differential, differential-difference and partial difference equations
|
思源楼
309
|
2013-6-7
|
郑国磊
北京航空航天大学
|
飞机结构件数控加工自动编程中的几何分割问题
|
思源楼
309
|
2013-5-8
|
孙家昶
中国科学院软件所
|
On Some Geometry and Analytic Properties of Simplex and Honeycomb Partitions in Rn
|
思源楼
712
|
2013-3-11
|
陈绍示
North Carolina State University, USA
|
On the Summability of Bivariate Rational Functions
|
思源楼
712
|
2013-3-7
|
申立勇
中国科学院大学
|
样条拟合的油气爆炸界估算
|
思源楼
309
|
2013-1-7
|
陈大卫
Boston College
|
Counting branched covers of Riemann surfaces
|
思源楼
703
|
2012-12-20
|
张明波
中国科学技术大学
|
Factorization of Differential Operators with Ordinary Differential Polynomial Coefficients
|
思源楼
309
|
2012-12-11
|
曹策问
郑州大学
|
ZS-AKNS谱问题的可积率映射研究
|
思源楼
309
|
2012-11-23
|
Bernard Mourrain
INRIA Méditerranée, France
|
Subdivision Methods in Geometric Modeling
|
思源楼
703
|
2012-11-12
|
Maximilian Jaroschek
Research Institute for Symbolic Computation, Austria
|
Improved Polynomial Remainder Sequences for Ore Polynomials
|
思源楼
703
|
2012-11-6
|
Hiroshi Sekigawa
Tokai University, Japan
|
Computing the Nearest Real Univariate Polynomial with a Real Multiple Zero and Its Application
|
思源楼
309
|
2012-10-30
|
Stephen Watt
加拿大西安大略大学
|
A Cluster of Languages for Mathematical Computing
|
思源楼
703
|
2012-10-28
|
Josef Schicho
RICAM, Austrian Academy of Sciences, Austria
|
Factorization of Motions in 3D Space into Rotations/Translations
|
思源楼
703
|
2012-10-27
|
Markus Püschel
ETH Zürich,Switzerland
|
Automatic Discovery of Transform Algorithms
|
思源楼
703
|
2012-10-26
|
Erich Kaltofen
North Carolina State University, USA
|
Symbolic Computation and Complexity Theory
|
思源楼
712
|
2012-10-24
|
Alberto Trevisani
University of Padova, Italy
|
Trajectory planning for underconstrained, planar and translational cable-robots
|
思源楼
712
|
2012-10-24
|
Placid M. Ferreira
University of Illinois at Urbana-Champaign
|
Emerging Manufacturing Trends and Some Interesting Problems They Pose
|
思源楼
712
|
2012-10-23
|
Moshe Shpitalni
Israel Institute of technology
|
Quality, Productivity and Responsiveness
|
思源楼
712
|
2012-09-03
|
JEROME WILLIAM HOFFMAN
Louisiana State University
|
QUADRATICALLY PARAMETRIZED SURFACES
|
思源楼
307
|
2012-6-21
|
Alexander Mikhaylov
|
Darboux maps, symmetries and conservation lows of integrable difference systems
|
思源楼
309
|
2012-6-6
|
Weiming Dong
中国科学院自动化所
|
Multi-Operator Content-Aware Image Resizing
|
思源楼
309
|
2012-5-28
|
Huaxiong Wang
新加坡Nanyang Technological University
|
Private Information Retrieval and Locally Decodable Codes
|
思源楼
309
|
2012-5-25
|
杨周旺
中国科学技术大学
|
Asymptotically Optimal Surface Denoising via Weighted $\ell_1$-analysis Optimization
|
思源楼
405
|
2012-5-22
|
Deepak Kapur
University of New Mexico Albuquerque, NM USA
|
Automatic Derivation of Polynomial Loop Invariants of Imperative Programs
|
思源楼
709
|
2012-5-11
|
Zhijun Qiao
University of Texas Pan American
|
Negative order KdV Equation
|
思源楼
309
|
2012-5-10
|
Graziano Chesi
University of Hong Kong
|
Non-Conservative LMIs for Worst-Case Stability and Performance Analysis in Systems with Uncertainty
|
思源楼
703
|
2012-4-25
|
Claude Carlet
法国巴黎8大
|
On known and new differentially uniform functions
|
思源楼
309
|
2012-4-19
|
Jing Ping Wang
University of Kent, UK
|
Integrable differential-difference equations
|
思源楼
309
|
2012-4-13
|
Michèle Loday
Université d'Angers, France
|
An introduction to the summation of divergent series
|
思源楼
309
|
2012-4-13
|
David Blázquez-Sanz
Universidad Sergio Arboleda, Colombia
|
DIFFERENCE GALOIS THEORY, FINITE FOURIER TRANFORMS AND LINEAR CELLULAR AUTOMATA
|
思源楼
309
|
2012-3-28
|
陈绍示
North Carolina State University, USA
|
Telescopers for Rational and Algebraic Functions via Residues
|
思源楼
712
|
2012-3-26
|
Phong Nguyen
法国INRIA
|
Learning a Zonotope and More: Cryptanalysis of NTRU Sign Countermeasures
|
思源楼
712
|
2012-3-19
|
Jean-Pierre Jouanolou
Université de Strasbourg
|
Inertia Forms and Elimination
|
思源楼
712
|
2012-1-9
|
Hong Qin
Stony Brook University
|
A Physics-based Approach to Shape Modeling, Synthesis, Simulation, and Analysis in Visual Computing
|
思源楼
309
|
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
|