学术会议

数学机械化讨论班每周四定期举行,寒暑假暂停,以下列出2004-2013年的主要活动内容。

时间

报告人

内容

地点

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
001030 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 WenqinUniverisity 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 300 PM

Prof.Chu Wenchang
Dipartimento di Matematica
Universita degli Studi Lecce
ITALY

基本超几何级数导论I

思源楼 712

2004-08-27 300 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 1030 AM

Prof. Peter PAULE
RISC-Linz, Kepler University
Linz, Austria

Constructive Mathematics in the Digital Age

思源楼 712

2004-08-04 300 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 300 PM

陈润生 研究院(生物物理所)

生物信息中的数学与物理问题

思源楼 712

2004-06-04 1040 AM

Prof. Andrea Brini
Dept. of Mathematics
Univ. de Bologna, Italy

Superalgebra, Representation Theory and Cayley-Grassmann Calculus III

思源楼 712

2004-06-04 900 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 300 PM

Prof. Peter Olver
Dept. of Mathematics
University of Minnesota
USA

Lectures on Moving Frames III

思源楼 712

2004-06-03 1020 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 900 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 300 PM

Prof. Peter Olver

Lectures on Moving Frames II

思源楼 712

2004-06-01 1040 AM

Prof. Andrea Brini
Dept. of Mathematics
Univ. de Bologna, Italy

Superalgebra, Representation Theory and Cayley-Grassmann Calculus II

思源楼 712

2004-06-01 900 AM

Prof. Neil White
Department of Mathematics
University of Florida
USA

The Basics of Coxeter Matroids

思源楼 712

2004-05-31 300 PM

Prof. Peter Olver
Dept. of Mathematics
University of Minnesota
USA

Lectures on Moving Frames

思源楼 712

2004-05-31 1040 AM

Prof. Andrea Brini
Dept. of Mathematics
Univ. de Bologna, Italy

Superalgebra, Representation Theory and Cayley-Grassmann Calculus I

思源楼 712

2004-05-31 900 AM

Prof.Timothy Havel
Dept. of Nuclear Engineering
MIT, USA

The Real Density Matrix

思源楼 712

2004-04-12 300 PM

Deok-Soo Kim
Hanyang University, Korea

Voronoi diagram for spheres and its applications

思源楼 712

2004-04-08 300 PM

Prof. M. Singer, N. Carolina State Univ., USA

Linear Operators for Polynomial Equations

思源楼 712

2004-04-06 300 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

 

 

 

 

 

 

 

数学机械化专题讨论班

  • 算代数几何引论  时间:每周五下午2:00-4:00 主持人:王定康
  • 符号与数值混合计算  时间:每周五下午3:00-5:00 主持人:支丽红
  • 自动推理  时间:每周二下午3:00-5:00 主持人 高小山
  • 构造性微分代数几何  时间:每周三下午3:00-5:00 主持人:高小山
  • 几何计算  每周一下午3:00-5:00 主持人:李洪波
  • 符号计算及其在信息安全中的应用 每周一下午7:00-8:30 主持人:刘卓军

 

 

电话:+68 10 62541834;  传真:+86 10 62630706
地址:北京中关村中科院数学与系统科学研究院  邮编:100080