中文
相关论文

相关论文: An Algebraic Programming Style for Numerical Softw…

200 篇论文

Semidefinite programming (SDP) is a powerful framework from convex optimization that has striking potential for data science applications. This paper develops a provably correct randomized algorithm for solving large, weakly constrained SDP…

最优化与控制 · 数学 2021-03-26 Alp Yurtsever , Joel A. Tropp , Olivier Fercoq , Madeleine Udell , Volkan Cevher

Modeling real-world problems with partial differential equations (PDEs) is a prominent topic in scientific machine learning. Classic solvers for this task continue to play a central role, e.g. to generate training data for deep learning…

机器学习 · 计算机科学 2024-06-10 Tim Weiland , Marvin Pförtner , Philipp Hennig

This article introduces a general purpose framework and software to approximate partial differential equations (PDEs). The sparsity patterns of finite element discretized operators is identified automatically using the tools from…

数值分析 · 数学 2024-10-17 Kiefer Green , Harbir Antil

Whether integrable, partially integrable or nonintegrable, nonlinear partial differential equations (PDEs) can be handled from scratch with essentially the same toolbox, when one looks for analytic solutions in closed form. The basic tool…

可精确求解与可积系统 · 物理学 2017-10-16 Robert Conte

Mixed dimensional partial differential equations (PDEs) are equations coupling unknown fields defined over domains of differing topological dimension. Such equations naturally arise in a wide range of scientific fields including geology,…

数学软件 · 计算机科学 2019-11-05 Cécile Daversin-Catty , Chris N. Richardson , Ada J. Ellingsrud , Marie E. Rognes

The field of partial differential equations (PDEs) is vast in size and diversity. The basic reason for this is that essentially all fundamental laws of physics are formulated in terms of PDEs. In addition, approximations to these…

历史与综述 · 数学 2019-01-11 Per Kristen Jakobsen

We deal with the numerical solution of linear partial differential equations (PDEs) with focus on the goal-oriented error estimates including algebraic errors arising by an inaccurate solution of the corresponding algebraic systems. The…

数值分析 · 数学 2020-01-08 Vít Dolejší , Petr Tichý

As modern software systems expand in scale and complexity, the challenges associated with their modeling and formulation grow increasingly intricate. Traditional approaches often fall short in effectively addressing these complexities,…

软件工程 · 计算机科学 2025-05-20 Tarik Houichime , Younes El Amrani

Over the past years there has been quite a lot of activity in the algebraic community about using algebraic methods for providing support to model-driven software engineering. The aim of this workshop is to gather researchers working on the…

软件工程 · 计算机科学 2011-06-30 Francisco Durán , Vlad Rusu

The evolution of programming languages from low-level assembly to high-level abstractions demonstrates a fundamental principle: by constraining how programmers express computation and enriching semantic information at the language level, we…

编程语言 · 计算机科学 2025-06-10 Jason Mars

Most numerical solvers and libraries nowadays are implemented to use mathematical models created with language-specific built-in data types (e.g. real in Fortran or double in C) and their respective elementary algebra implementations.…

数学软件 · 计算机科学 2026-05-14 Slaven Peles , Stefan Klus

Recent work has introduced a simple numerical method for solving partial differential equations (PDEs) with deep neural networks (DNNs). This paper reviews and extends the method while applying it to analyze one of the most fundamental…

机器学习 · 计算机科学 2019-05-14 Craig Michoski , Milos Milosavljevic , Todd Oliver , David Hatch

PDEs are central to scientific and engineering modeling, yet designing accurate numerical solvers typically requires substantial mathematical expertise and manual tuning. Recent neural network-based approaches improve flexibility but often…

人工智能 · 计算机科学 2026-02-20 Jianda Du , Youran Sun , Haizhao Yang

Neural networks are versatile tools for computation, having the ability to approximate a broad range of functions. An important problem in the theory of deep neural networks is expressivity; that is, we want to understand the functions that…

机器学习 · 计算机科学 2021-08-16 Khashayar Filom , Konrad Paul Kording , Roozbeh Farhoodi

Solving partial differential equations (PDEs) on complex domains can present significant computational challenges. The Diffuse Domain Method (DDM) is an alternative that reformulates the partial differential equations on a larger, simpler…

数值分析 · 数学 2025-07-24 Luke Benfield , Andreas Dedner

Algorithms are presented for the tanh- and sech-methods, which lead to closed-form solutions of nonlinear ordinary and partial differential equations (ODEs and PDEs). New algorithms are given to find exact polynomial solutions of ODEs and…

可精确求解与可积系统 · 物理学 2007-05-23 D. Baldwin , U. Goktas , W. Hereman , L. Hong , R. S. Martino , J. Miller

The aim of these notes is to present an accessible overview of some topics in classical algebraic geometry which have applications to aspects of discrete integrable systems. Precisely, we focus on surface theory on the algebraic geometry…

代数几何 · 数学 2025-10-15 Gessica Alecci , Michele Graffeo , Alexander Stokes

Probabilistic solvers for ordinary differential equations (ODEs) have emerged as an efficient framework for uncertainty quantification and inference on dynamical systems. In this work, we explain the mathematical assumptions and detailed…

机器学习 · 统计学 2021-10-25 Nicholas Krämer , Nathanael Bosch , Jonathan Schmidt , Philipp Hennig

Partial Differential Equations (PDEs) have long been recognized as powerful tools for image processing and analysis, providing a framework to model and exploit structural and geometric properties inherent in visual data. Over the years,…

图像与视频处理 · 电气工程与系统科学 2024-12-17 Alejandro Garnung Menéndez

Semidefinite programs (SDPs) are a framework for exact or approximate optimization that have widespread application in quantum information theory. We introduce a new method for using reductions to construct integrality gaps for SDPs. These…

量子物理 · 物理学 2019-03-18 Aram W. Harrow , Anand Natarajan , Xiaodi Wu