- 摘要
著名的数学家、教育家和社会活动家，中国民主同盟的杰出领导人，第九届、十届全国人民代表大会常务委员会副委员长，中国民主同盟第七届、八届、九届中央委员会主席、第九届中央委员会名誉主席，欧美同学会原会长，北京大学原校长，北京大学数学系原主任，中国共产党的优秀党员，丁石孙同志，因病于2019年10月12日14时35分在北京逝世，享年93岁。
- 摘要
据央视网13日消息：今天的《共和国不会忘记》系列报道，让我们来认识“人民科学家”国家荣誉称号获得者：吴文俊。
吴文俊是中国近代数学研究的集大成者，他的研究融合了中国与西方、古代与现代、理性主义与经验主义的诸多元素。年轻时代，他的研究成果成为近代数学拓扑学里程碑；晚年，他潜心研究中国古代数学，古为今用开创了数学机械化,这一全新研究领域，也为中国人工智能发展提供了观念和方法上的启示。他也是新中国迄今为止唯一一位获得过自然科学奖一等奖和国家最高科学技术奖两个奖项的科学家。2017年5月，吴文俊因病去世，享年98岁。他用毕生精力拓展数学的深度和广度，写就了自己的传奇人生。
创“中国方法” 寻数学之“道”
每当回忆起国庆70周年国家功勋奖章和国家荣誉称号颁授的场景，无论是代表父亲吴文俊亲历全过程的吴天骄，还是吴文俊的学生依然难以平静。吴文俊1919年出生于上海一个普通家庭，上海交大数学系毕业后留学法国，从事拓扑学研究。当时，两位国际数学大师对拓扑学的一个疑难问题争论不休，年轻的吴文俊却不惧权威独辟蹊径，得出两位大师的结果都是正确的结果并从此崭露头角。中科院数学与系统科学研究院研究员 高小山：这个关系就被后来人们称为“吴公式”，这个就使得整个示性类的研究变得柳暗花明，在很多领域得到了应用，所以被认为是50年代拓扑学的“地震”。
1951年，吴文俊选择回国工作，由于他在拓扑学上的出色工作，1956年，他与华罗庚、钱学森一起获得第一届自然科学奖一等奖。那一年，吴文俊37岁。到上世纪七十年代，早已在国际数学界享有盛誉的吴文俊转变研究方向，开始专注于中国古代数学。他的研究从根本上证明，中国古代数学也是现代数学发展的源头之一，除了希腊欧几里得公理化的演绎推理体系，还有另一条与之平行的中国古代数学。就像我们熟悉的勾股定理，西方数学将其抽象化表述为“直角三角形两直角边平方和等于斜边平方”；而我们的祖先则将它具体化为更容易记忆和应用的“勾三股四弦五”。在吴文俊看来，中国古代数学的关键字是“术”，都是以机械化的解答方式，来解决数学中的实际问题。这个“术”用今天的话来说就是算法，中国古代数学，就是一部算法大全。吴文俊由此提出用计算机证明几何定理的“吴方法”，开创了一个中国人原创的研究领域：数学机械化。更重要的是，那时候吴文俊已经意识到，中国人必须抓住现代计算机迅猛发展的机遇。
“人民科学家”国家荣誉称号获得者 吴文俊（生前采访）：不抓机遇，我们就可能被开除地球球籍，不再有立足之地。吴文俊依据他的数学机械化思想，把几何问题变成代数，然后编成程序，再输入电脑，代替了大量复杂的人工演算，把数学家从繁重的脑力工作中解放出来，这一研究成果再次震惊中外。2001年，82岁高龄吴文俊与袁隆平一道，获得首届国家最高科学技术奖，他拿出部分奖金设立了一个丝绸之路基金，专门用于研究中国古代数学在当时的世界地位和传播途径。
“人民科学家”国家荣誉称号获得者 吴文俊（生前采访）：中国数学的道路，跟西方以欧几里得传统的所谓公理化的数学道路是不一样的，中国主要是解决问题，自然而然用到了解方程，用现在的语言来讲就是程序。我最自豪的就是中国的古代数学我把它认识清楚了，这是我最自豪的。
吴文俊几何定理自动证明的“吴方法”被称为自动推理领域的先驱性工作，这一方法至今还被用于解决曲面拼接、计算机视觉等多个高技术领域核心问题。中国人工智能学会将智能科学技术领域最高奖项定名为“吴文俊奖”，不仅仅是因为吴文俊在定理证明这个人工智能的早期方向达到了新的高度，更是因为其背后的哲学思想对人工智能研究者的启发。吴文俊生前接受采访时曾说过：“我们是踩在许多老师、朋友和整个社会的肩膀上才上升了一段。应当怎么样回报老师、朋友和整个社会呢？我想，只有让人踩在我的肩膀上。”
- 摘要
由宁夏大学数学统计学院葛永斌教授及其团队历时六年多开发的偏微分方程数值计算软件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等均可，也可兼容各种数值方法，如有限差分法、有限元法、有限体积法、无网格方法等。
- 摘要
南方科技大学国际交叉学科论坛是我校延揽青年人才的重要会议，旨在为海内外青年学者提供一个思想碰撞和学术交流，推进学科交叉与学术创新，共商世界一流大学和学科建设大局的平台。通过大力引进世界一流人才，力争将南科大建成中国和世界独具特色的高水平研究型大学。
申请条件:
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
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.
Svetozar Margenov
- 摘要
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
Yanping Ma
- 摘要
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/
Guanglian Li
- 摘要
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.
- 摘要
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
- 摘要
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
本期到此结束
Authorization Required
This server could not verify that you are authorized to access the document requested. Either you supplied the wrong credentials (e.g., bad password), or your browser doesn't understand how to supply the credentials required.