CAM Digest, 星期六, 2019年 10月19日

本期编辑:

    乔中华
    香港理工大学应用数学系
    zqiao@polyu.edu.hk

    周知
    香港理工大学应用数学系
    zhizhou@polyu.edu.hk

内容提要:

====================================================================================

北京大学原校长、北京大学数学系原主任丁石孙逝世

来源:北京大学数学科学学院网站

著名的数学家、教育家和社会活动家,中国民主同盟的杰出领导人,第九届、十届全国人民代表大会常务委员会副委
员长,中国民主同盟第七届、八届、九届中央委员会主席、第九届中央委员会名誉主席,欧美同学会原会长,北京大
学原校长,北京大学数学系原主任,中国共产党的优秀党员,丁石孙同志,因病于2019年10月12日14时35分在北京逝
世,享年93岁。

====================================================================================

“人民科学家”国家荣誉称号获得者吴文俊:创“中国方法” 寻数学之“道”

来源:央视网;2019年10月13日

据央视网13日消息:今天的《共和国不会忘记》系列报道,让我们来认识“人民科学家”国家荣誉称号获得者:吴文俊。

吴文俊是中国近代数学研究的集大成者,他的研究融合了中国与西方、古代与现代、理性主义与经验主义的诸多元素。
年轻时代,他的研究成果成为近代数学拓扑学里程碑;晚年,他潜心研究中国古代数学,古为今用开创了数学机械化
这一全新研究领域,也为中国人工智能发展提供了观念和方法上的启示。他也是新中国迄今为止唯一一位获得过自然
科学奖一等奖和国家最高科学技术奖两个奖项的科学家。2017年5月,吴文俊因病去世,享年98岁。他用毕生精力拓
展数学的深度和广度,写就了自己的传奇人生。

创“中国方法”  寻数学之“道”

每当回忆起国庆70周年国家功勋奖章和国家荣誉称号颁授的场景,无论是代表父亲吴文俊亲历全过程的吴天骄,还是
吴文俊的学生依然难以平静。

吴文俊1919年出生于上海一个普通家庭,上海交大数学系毕业后留学法国,从事拓扑学研究。当时,两位国际数学大
师对拓扑学的一个疑难问题争论不休,年轻的吴文俊却不惧权威独辟蹊径,得出两位大师的结果都是正确的结果并从
此崭露头角。

中科院数学与系统科学研究院研究员 高小山:这个关系就被后来人们称为“吴公式”,这个就使得整个示性类的研究变
得柳暗花明,在很多领域得到了应用,所以被认为是50年代拓扑学的“地震”。

1951年,吴文俊选择回国工作,由于他在拓扑学上的出色工作,1956年,他与华罗庚、钱学森一起获得第一届自然科
学奖一等奖。那一年,吴文俊37岁。到上世纪七十年代,早已在国际数学界享有盛誉的吴文俊转变研究方向,开始专
注于中国古代数学。他的研究从根本上证明,中国古代数学也是现代数学发展的源头之一,除了希腊欧几里得公理化
的演绎推理体系,还有另一条与之平行的中国古代数学。就像我们熟悉的勾股定理,西方数学将其抽象化表述为“直
角三角形两直角边平方和等于斜边平方”;而我们的祖先则将它具体化为更容易记忆和应用的“勾三股四弦五”。在吴
文俊看来,中国古代数学的关键字是“术”,都是以机械化的解答方式,来解决数学中的实际问题。这个“术”用今天的
话来说就是算法,中国古代数学,就是一部算法大全。吴文俊由此提出用计算机证明几何定理的“吴方法”,开创了一
个中国人原创的研究领域:数学机械化。更重要的是,那时候吴文俊已经意识到,中国人必须抓住现代计算机迅猛发
展的机遇。

“人民科学家”国家荣誉称号获得者 吴文俊(生前采访):不抓机遇,我们就可能被开除地球球籍,不再有立足之地。

吴文俊依据他的数学机械化思想,把几何问题变成代数,然后编成程序,再输入电脑,代替了大量复杂的人工演算,
把数学家从繁重的脑力工作中解放出来,这一研究成果再次震惊中外。2001年,82岁高龄吴文俊与袁隆平一道,获
得首届国家最高科学技术奖,他拿出部分奖金设立了一个丝绸之路基金,专门用于研究中国古代数学在当时的世界
地位和传播途径。

“人民科学家”国家荣誉称号获得者 吴文俊(生前采访):中国数学的道路,跟西方以欧几里得传统的所谓公理化的数
学道路是不一样的,中国主要是解决问题,自然而然用到了解方程,用现在的语言来讲就是程序。我最自豪的就是中
国的古代数学我把它认识清楚了,这是我最自豪的。

吴文俊几何定理自动证明的“吴方法”被称为自动推理领域的先驱性工作,这一方法至今还被用于解决曲面拼接、计算机
视觉等多个高技术领域核心问题。中国人工智能学会将智能科学技术领域最高奖项定名为“吴文俊奖”,不仅仅是因为吴
文俊在定理证明这个人工智能的早期方向达到了新的高度,更是因为其背后的哲学思想对人工智能研究者的启发。吴文
俊生前接受采访时曾说过:“我们是踩在许多老师、朋友和整个社会的肩膀上才上升了一段。应当怎么样回报老师、朋
友和整个社会呢?我想,只有让人踩在我的肩膀上。”

====================================================================================

偏微分方程数值计算软件PHOEBE Solver V2.0正式在线发布

来源:宁夏大学数学统计学院

由宁夏大学数学统计学院葛永斌教授及其团队历时六年多开发的偏微分方程数值计算软件PHOEBE Solver V2.0已经于
2019年7月30日正式在线发布。

PHOEBE Solver的含义是抛物型(P)、双曲型(H)或者(O)椭圆型(E)基本(B)方程(E)求解器(Solver)。通过使用此软件,
可以选用多种算法来求解软件中所涵盖的全部模型方程的任意适定性问题。软件可以帮助使用者采用已经发表的文
献中的算法方便高效地求解各类偏微分方程,从而有利于使用者将自己构造的算法与文献中的算法进行比较。开发
这款软件的终极目标是使得文献中的所有算法能够方便地被人们所使用,而不仅仅只是存在于文献之中。目前,该
软件的V2.0版本能求解40多个基本方程,包含200多个算法。后期随着软件规模的不断发展壮大,将会有更多的模型
方程和算法被嵌入到该软件中。该软件具有如下特点:

(1)使用方便。该软件V2.0版是WEB版,使用任意浏览器输入网址www.phoebesolver.com打开页面,注册进入后即可使
用,软件不需要下载和安装。使用过程中,只需要输入问题的定解条件和计算参数,不需要进行任何编程。

(2)提供两种计算模式和绘图功能。使用者既可以选择在云服务器上编译完成之后下载可执行文件到本地电脑进行计
算,也可以选择直接在云服务器上进行计算。计算结束后Matlab编写的程序可以自动绘图,其他语言编写的程序可以
手动上传文件进行绘图。

(3)数值算例的广泛性。满足软件中模型方程的任意适定性问题都可以被计算,因此除了能够重复出文献中已有的计
算结果,还可以计算文献中没有的数值算例。

(4)算法的独立性。每个算法都是独立的,既不依赖于任何编程语言,如Fortran、C/C++或Matlab等均可,也可兼容
各种数值方法,如有限差分法、有限元法、有限体积法、无网格方法等。

====================================================================================

【会议信息】2020年国际交叉学科论坛数学分论坛

来源:南方科技大学数学系网站
 
南方科技大学国际交叉学科论坛是我校延揽青年人才的重要会议,旨在为海内外青年学者提供一个思想碰撞和学术交
流,推进学科交叉与学术创新,共商世界一流大学和学科建设大局的平台。通过大力引进世界一流人才,力争将南科
大建成中国和世界独具特色的高水平研究型大学。
 
申请条件:
1. 一般年龄在40周岁以下(特殊人才年龄不限)
2. 具有海外知名大学博士学位,或具有国内博士学位在海外工作3年以上,在相关领域取得一定成绩或具有发展潜力
的海内外优秀青年英才;或在相关领域具有一定学术影响力的国内外优秀青年才俊。欢迎所有学科的青年学者积极申请!

日程安排
报到时间:2020年1月3日(周五)
论坛交流时间:2020年1月4日-5日论坛期间将有南科大介绍、学术交流等内容。
 
申请截止日期:2019年12月15日

请发送CV和一页纸学术规划至数学系招聘邮箱mathhire@sustech.edu.cn提交申请,并在邮件主题中注明“南科大国际
交叉学科论坛-数学系”。我们将在收到您的材料后尽快审核并发出邀请函。由于会议规模有限,有意向者请尽早提交
申请。论坛的受邀者最晚将于2019年12月20日收到主办方的参会邀请邮件。若该日之后没有收到邀请,则默认参会名
额已满。

联系人:刘爱容(数学系)
电  话:+86-755-88018711
邮  箱:mathhire@sustech.edu.cn

====================================================================================

【会议信息】SIAM Conference on Optimization 2020 (SIAM OP20), May 26 - 29, 2020.

发件人:ZHANG, Zaikun [AMA] zaikun.zhang@polyu.edu.hk

SIAM Conference on Optimization 2020 (SIAM OP20) will be organized by our department and take place at the Hong Kong Polytechnic University
on May 26 - 29, 2020.

Here is the conference website:

https://www.polyu.edu.hk/ama/events/conference/op20/en/

The conference is now calling for minisymposium proposals:

https://www6.polyu.edu.hk/ama/op20/ms/submission.php

Organizing Committee Co-Chairs

Tamás Terlaky, Lehigh University, USA
Defeng Sun, The Hong Kong Polytechnic University, Hong Kong

Organizing Committee Members

Xiaodong Hu, Chinese Academy of Sciences, China
Adil Bagirov, Federation University, Australia
Akiko Yoshise, University of Tsukuba, Japan
Peter Richtarik, KAUST, Saudi Arabia
Gabriele Eichfelder, Technische Universität Ilmenau, Germany
Fabio Schoen, University of Florence, Italy
Jean Bernard Lasserre, LAAS/CNRS, France
Henry Wolkowicz, University of Waterloo, Canada
Uday Shanbhag, Penn State University, USA
Genetha Gray, Salesforce, USA
Pietro Belotti, FICO, UK

Local Organizing Committee
Xiaojun Chen (Co-chair), PolyU
Defeng Sun (Co-chair), PolyU
Chuanying Dang, City University of Hong Kong
Ting Kei Pong, PolyU
Anthony Man-cho So, The Chinese University of Hong Kong
Xiaoqi Yang, PolyU
Xiaoming Yuan, Hong Kong University
Man-Chung Yue, PolyU
Zaikun Zhang, PolyU

Plenary Speakers
Amir Ali Ahmadi, Princeton University, USA

Donald Goldfarb, Columbia University, USA

Didier Henrion, University of Toulouse, France

Michael Hinze, University of Koblenz · Landau, Germany

Satoru Iwata, University of Tokyo, Japan

Ivana Ljubic, ESSEC Business School, France

R. Tyrrell Rockafellar, University of Washington, USA

Margaret Wiecek, Clemson University, USA

Minitutorials
I. Quantum Computing and Optimization, Speaker: Giacomo Nannicini, IBM, USA

II. AI, Machine Learning and Optimization, Speaker: Lin Xiao, Microsoft Research, USA

Description
The SIAM Conference on Optimization will feature the latest research on the theory, algorithms, software, and
applications of optimization. A particular emphasis will be put on applications of optimization in AI and data
science, quantum computing, health care, finance, aeronautics, control, operations research, and other areas of
science and engineering. The conference brings together mathematicians, operations researchers, computer and
computational scientists, engineers, software developers and practitioners, thus providing an ideal environment
to share new ideas and important problems among specialists and users of optimization in academia, government,
and industry.

Themes

Applications in Health Care
Applications in Energy Networks and Renewable Resources
Applications in Machine Learning and Artificial Intelligence
Combinatorial and Mixed Integer Nonlinear Optimization
Conic Linear Optimization
Derivative-free Optimization
Discrete and Combinatorial Optimization
Equilibrium Programming
Graphs and Networks
Nonlinear Optimization
Optimization in Engineering
PDE Based Optimization
Polynomial and SoS Optimization
Stochastic and Robust Optimization
Important Deadlines
Submission deadlines

October 27, 2019 Deadline Extended: November 7, 2019: Minisymposium Proposal Submissions.

December 1, 2019: Contributed Lecture, Poster and Minisymposium Presentation Abstracts.

 

Travel fund application deadline

December 12, 2019: SIAM Student Travel Award and Post-doc/Early Career Travel Award Applications.

 

Pre-registration deadline
March 10, 2020.

Hotel reservation deadline
March 10, 2020.

====================================================================================

【会议信息】Solution Methods for Fractional PDEs, Bulgaria, Jun 2020

发件人:Svetozar Margenov <margenov@parallel.bas.bg>

The International Workshop "Numerical Solution of Fractional Differential Equations and Applications"
(NSFDE&A'20) will take place in June 8 - 13, 2020, Sozopol, Bulgaria:

http://parallel.bas.bg/Conferences/NSFDE&A_2020-Sozopol.pdf

Organizer: The workshop is organized by the Institute of Information and Communication Technologies,
Bulgarian Academy of Sciences, in cooperation with the Bulgarian Section of SIAM, and the Center of
Excellence on Informatics and ICT.

Place: The NSFDE&A'20 will be held in Sozopol (ancient Apolonia), a picturesque town on the Black Sea
coast, 33 km to the south from Bourgas. The Bourgas International Airport is less than 50 km to the
north from Sozopol.

Scope: Specific topics of interest (but not limited to) are the following: \

(i)   fractional in space diffusion problems;
(ii)  fractional in time problems;
(iii) problems involving p-Laplacian;
(iv)  coupled problems;
(v)   phase separation and image segmentation;
(vi)  parallel algorithms and HPC tools;
(vii) applications in science and engineering.

Conference chairman: Svetozar Margenov
Conference secretary: Silvia Grozdanova
E-mail: nsfdea20@parallel.bas.bg

====================================================================================

【招聘信息】Tenure-track position at Loyola Marymount University (Los Angeles, CA)

发件人:Yanping Ma <Yanping.Ma@lmu.edu>

The Mathematics Department of Loyola Marymount University invites applications for a tenure-track position
at the Assistant Professor level beginning Fall 2020. Applicants are expected to have completed a Ph.D. or
comparable terminal degree in mathematics, statistics, operations research, or a related field by employment
commencement in Fall 2020. The successful candidate will have expertise in statistics, data science, or a
related field.

More details about the position are available at https://www.mathjobs.org/jobs/jobs/14315 .

More details about the department and university are available at

https://www.usnews.com/best-colleges/loyola-marymount-university-11649
https://www.lmu.edu/about/  
https://cse.lmu.edu/department/math/

====================================================================================

【招生信息】PhD Position, NA and Simulation, Univ of Groningen, Netherlands

发件人:Guanglian Li <guanglian.li@rug.nl>

I am currently recruiting one 4-year PhD student based at Bernoulli Institute, University of Groningen,
Netherlands. The applicant should have an MSc degree (or equivalent) in Applied/Computational Mathematics.
The candidate has to possess excellent communication skills in English, programming skills and basic
knowledge on numerical analysis and PDEs. More details on the job description can be found:

https://sites.google.com/site/lotusli0707/students

Please contact Dr. Guanglian Li at lotusli0707@gmail.com if you are interested.

====================================================================================

【期刊信息】Numerical Algorithms, Volume 82, Issue 2, 2019

URL: https://link.springer.com/journal/11075

Optimal rates of linear convergence of the averaged alternating modified reflections method for two subspaces
Francisco J. Aragon Artacho, Ruben Campoy

Rothe method and numerical analysis for history-dependent hemivariational inequalities with applications to
contact mechanics
Stanislaw Migorski, Shengda Zeng

A fully conservative block-centered finite difference method for simulating Darcy-Forchheimer compressible
wormhole propagation
Xiaoli Li, Hongxing Rui, Shuangshuang Chen

Coupling of boundary integral equation and finite element methods for transmission problems in acoustics
Hongrui Geng, Zhenhua Xu

Robust additive block triangular preconditioners for block two-by-two linear systems
Zhao-Zheng Liang, Guo-Feng Zhang

A meshfree method for solving the Monge-Ampere equation
Klaus Boehmer, Robert Schaback

Numerical solutions to time-fractional stochastic partial differential equations
Guang-an Zou

A modified modulus-based matrix splitting iteration method for solving implicit complementarity problems
Hua Zheng, Seakweng Vong

New explicit stabilized stochastic Runge-Kutta methods with weak second order for stiff Ito stochastic
differential equations
Xiao Tang, Aiguo Xiao

On starting and stopping criteria for nested primal-dual iterations
Jixin Chen, Ignace Loris

The quasi-boundary value method for identifying the initial value of heat equation on a columnar symmetric domain
Fan Yang, Ya-Ru Sun, Xiao-Xiao Li, Can-Yun Huang

A prediction-correction-based primal-dual hybrid gradient method for linearly constrained convex minimization
Feng Ma, Yiming Bi, Bin Gao

Sparse fast DCT for vectors with one-block support
Sina Bittens, Gerlind Plonka

Lanczos method for large-scale quaternion singular value decomposition
Zhigang Jia, Michael K. Ng, Guang-Jing Song

Solving system of inequalities via a smoothing homotopy method
Xiaona Fan, Qinglun Yan

Circulant preconditioners for a kind of spatial fractional diffusion equations
Zhi-Wei Fang, Michael K. Ng, Hai-Wei Sun

====================================================================================

【期刊信息】Computational Methods in Applied Mathematics, Issue 4, 2019

URL: https://www.degruyter.com/view/j/cmam

Hybrid Discontinuous Galerkin Discretisation and Domain Decomposition Preconditioners for the Stokes Problem,
Barrenechea, Gabriel R. / Bosy, Michal / Dolean, Victorita / Nataf, Frederic / Tournier, Pierre-Henri

A Hybrid High-Order Method for Highly Oscillatory Elliptic Problems,
Cicuttin, Matteo / Ern, Alexandre / Lemaire, Simon.

Operator Learning Approach for the Limited View Problem in Photoacoustic Tomography,
Dreier, Florian / Pereverzyev Jr, Sergiy / Haltmeier, Markus

Derivative Free Regularization Method for Nonlinear Ill-Posed Equations in Hilbert Scales,
George, Santhosh / Kanagaraj, K.

Maximal Regularity for Fractional Cauchy Equation in Holder Space and Its Approximation,
Liu, Li / Fan, Zhenbin / Li, Gang / Piskarev, Sergey

Stabilizability of Infinite-Dimensional Systems by Finite-Dimensional Controls,
Raymond, Jean-Pierre

Two Implicit Meshless Finite Point Schemes for the Two-Dimensional Distributed-Order Fractional Equation,
Salehi, Rezvan

Legendre Collocation Method for Volterra Integro-Differential Algebraic Equation,
Wei, Yunxia / Chen, Yanping / Huang, Yunqing

An Optimal Embedded Discontinuous Galerkin Method for Second-Order Elliptic Problems,
Zhang, Xiao / Xie, Xiaoping / Zhang, Shiquan

 

 

------------------------------
End of CAM Digest
本期到此结束