English
Related papers

Related papers: FiniteFieldSolve: Exactly Solving Large Linear Sys…

200 papers

In April 2025 GMV announced a competition for finding the best method to solve a particular polynomial system over a finite field. In this paper we provide a method for solving the given equation system significantly faster than what is…

Computational Complexity · Computer Science 2026-03-06 Àngela Barbero , Ragnar Freij-Hollanti , Camilla Hollanti , Håvard Raddum , Øyvind Ytrehus , Morten Øygarden

We introduce DDE-Solver, a Maple package designed for solving Discrete Differential Equations (DDEs). These equations are functional equations relating algebraically a formal power series F(t, u) with polynomial coefficients in a…

Combinatorics · Mathematics 2025-09-11 Hadrien Notarantonio

This paper presents a universal numerical scheme tailored for tackling linear integral, integro-differential, and both initial and boundary value problems of ordinary differential equations. The numerical scheme is readily adapted for…

General Mathematics · Mathematics 2026-01-23 Vladimir Kryzhniy

Discretizations of infinite-dimensional variational inequalities lead to linear and nonlinear complementarity problems with many degrees of freedom. To solve these problems in a parallel computing environment, we propose two active-set…

Optimization and Control · Mathematics 2007-05-23 Steven J. Benson , Todd S. Munson

This document summarizes the main concepts of the finite element (FE) theory and constitutive relations as implemented in the open-source code phase-field multiphysics materials simulator PHIMATS https://github.com/ahcomat/PHIMATS. PHIMATS…

Numerical Analysis · Mathematics 2025-10-15 Abdelrahman Hussein

This survey describes a class of methods known as "fast direct solvers". These algorithms address the problem of solving a system of linear equations $\boldsymbol{Ax}=\boldsymbol{b}$ arising from the discretization of either an elliptic PDE…

Numerical Analysis · Mathematics 2025-11-12 Per-Gunnar Martinsson , Michael O'Neil

Within the finite element community, discontinuous Galerkin (DG) and mixed finite element methods have become increasingly popular in simulating geophysical flows. However, robust and efficient solvers for the resulting saddle-point and…

Mathematical Software · Computer Science 2020-08-26 Thomas H. Gibson , Lawrence Mitchell , David A. Ham , Colin J. Cotter

In this paper, we introduce a new finite expression method (FEX) to solve high-dimensional partial integro-differential equations (PIDEs). This approach builds upon the original FEX and its inherent advantages with new advances: 1) A novel…

Numerical Analysis · Mathematics 2025-06-19 Gareth Hardwick , Senwei Liang , Haizhao Yang

Finite model finders give users the ability to specify properties of a system in mathematical logic and then automatically find concrete examples, called solutions, that satisfy the properties. These solutions are often viewed as a key…

Formal Languages and Automata Theory · Computer Science 2023-05-30 Allison Sullivan

Leveraging Trace Theory, we investigate the efficient parallelization of direct solvers for large linear equation systems. Our focus lies on a multi-frontal algorithm, and we present a methodology for achieving near-optimal scheduling on…

Numerical Analysis · Mathematics 2023-06-16 Jan Trynda , Maciej Woźniak , Sergio Rojas

It is shown that large classes of nonlinear systems of PDEs, with possibly associated initial and/or boundary value problems, can be solved by the method of order completion. The solutions obtained can be assimilated with Hausdorff…

Analysis of PDEs · Mathematics 2007-05-23 Roumen Anguelov , Elemer E Rosinger

We present algorithms to solve coupled systems of linear differential equations, arising in the calculation of massive Feynman diagrams with local operator insertions at 3-loop order, which do {\it not} request special choices of bases.…

Symbolic Computation · Computer Science 2016-01-11 Jakob Ablinger , Johannes Bluemlein , Abilio de Freitas , Carsten Schneider

Until now, Computer Scientists have concerned themselves with identifying efficient algorithms for solving the general case of some problem -- that is finding one which performs well when the size of the input tends to infinity. In this…

Computational Complexity · Computer Science 2026-04-21 Mircea-Adrian Digulescu

The finite element method is a well-established method for the numerical solution of partial differential equations (PDEs), both linear and nonlinear. However, the repeated reassemblage of finite element matrices for nonlinear PDEs is…

Numerical Analysis · Mathematics 2022-09-12 Yannis Voet

To improve the computational efficiencies of the real-space orbital-free density functional theory, this work develops a new single-grid solver by directly providing the closed-form solution to the inner iteration and using an improved…

Computational Physics · Physics 2023-05-16 Ling-Ze Bu , Wei Wang

Scaling hyperparameter optimisation to very large datasets remains an open problem in the Gaussian process community. This paper focuses on iterative methods, which use linear system solvers, like conjugate gradients, alternating…

Machine Learning · Computer Science 2025-01-14 Jihao Andreas Lin , Shreyas Padhy , Bruno Mlodozeniec , Javier Antorán , José Miguel Hernández-Lobato

Designing efficient and accurate numerical solvers for high-dimensional partial differential equations (PDEs) remains a challenging and important topic in computational science and engineering, mainly due to the "curse of dimensionality" in…

Numerical Analysis · Mathematics 2025-08-20 Senwei Liang , Haizhao Yang

A high-order accurate adjoint-based optimization framework is presented for unsteady multiphysics problems. The fully discrete adjoint solver relies on the high-order, linearly stable, partitioned solver introduced in [1], where different…

Numerical Analysis · Mathematics 2019-01-01 Daniel Z. Huang , Per-Olof Persson , Matthew J. Zahr

This work presents a matrix-free finite element solver for finite-strain elasticity adopting an $hp$-multigrid preconditioner. Compared to classical algorithms relying on a global sparse matrix, matrix-free solution strategies significantly…

Computational Engineering, Finance, and Science · Computer Science 2024-12-09 Richard Schussnig , Niklas Fehn , Peter Munch , Martin Kronbichler

This paper presents a large-scale parallel solver, specifically designed to tackle the challenges of solving high-dimensional and high-contrast linear systems in heat transfer topology optimization. The solver incorporates an interpolation…

Numerical Analysis · Mathematics 2025-01-14 Yingjie Zhou , Changqing Ye , Yucheng Liu , Shubin Fu , Eric T. Chung