Computer-assisted Proofs in Incompressible Fluids

来源 :第八届工业与应用数学国际大会 | 被引量 : 0次 | 上传用户：mengnan16

【摘要】

：

　　In this talk I will discuss how,guided by numerical simulations,one can accomplish to produce completely rigorous,computer-assisted theorems in problems rel

【作者】

：

Gomez-Serrano Javier

【机构】

：

Princeton Univ.

【出处】

：

第八届工业与应用数学国际大会

【发表日期】

：

2015年期

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

　　In this talk I will discuss how,guided by numerical simulations,one can accomplish to produce completely rigorous,computer-assisted theorems in problems related to fluid mechanics using interval arithmetics.

其他文献

Mining Temporal Patterns in Time-varying Social Networks

　　Social networks are essentially temporal; the web of social interactions varies its form over time at all time scales from seconds to years.

会议

Game-theoretic Models of Marketing Decisions in Supply Chains

　　The coordination of decisions in supply chains is a popular topic in operations research,whose complexity arises from the individual objectives of the diffe

会议

Phase Behavior of Bond Percolation on Hierarchical Small-world Networks

　　Cooperative systems on some small-world networks exhibit phase behavior that is essentially different from that of finite-dimensional systems.

会议

Scaling of Hodge-Kodaira Decomposition Distinguishes Learning Rules of Neural Networks

　　We applied the Hodge-Kodaira decomposition,a topological method to count global loops,to neural networks with different learning rules and edge densities.

会议

Network Organization as A Dynamical System

　　Real-world networks continuously change to meet the evolving needs of society.To manage such dynamic networks,we studied an adaptive network model,combining

会议

Recent Problems of Network Science

　　Networks in real world have complex connectivities.The structure and dynamics in complex networks has been extensively studied,by extending/applying concept

会议

Characterizing complex networks through dynamics

　　The goal of this session is to provide panoramic viewpoints on analyses of complex networks in the real world.Here we focus on the dynamics on the complex n

会议

Deterministic Nuclear Modeling of Well Logging

　　Nuclear measurement techniques have played a relevant role in dealing with problems as hydrocarbon exploration.The key to understanding the responses of the

会议

Two-level Parallel Preconditioners for Reservoir Simulation Problems

　　With the ultimate goal of designing a scalable parallel preconditioner for reservoir simulation problems,we combine domain decomposition ideas(prove suitabl

会议

Approximate Inverses Preconditioners for Petroleum Reservoir Simulation

　　A parallel implementation of the preconditioner AINV for the solution of general sparse linear systems of equations is presented.This preconditioner compute

会议

Computer-assisted Proofs in Incompressible Fluids

其他学术论文