English
Related papers

Related papers: Firedrake: automating the finite element method by…

200 papers

We propose a novel framework to facilitate the on-demand design of data-centric systems by exploiting domain knowledge from an existing ontology. Its key ingredient is a process that we call focusing, which allows to obtain a schema for a…

Logic in Computer Science · Computer Science 2019-04-02 Tomasz Gogacz , Víctor Gutiérrez-Basulto , Yazmín A. Ibáñez-García , Filip Murlak , Magdalena Ortiz , Mantas Šimkus

Fireworks algorithm is a new type of intelligent optimization algorithm. Because of its fast convergence speed, easy implementation, explosiveness, diversity, simplicity and randomness, it has attracted more and more attention in many…

Neural and Evolutionary Computing · Computer Science 2022-08-16 Zhao Zhigang , Li Zhimei , Mo Haimiao , Zeng Min

The article proposes formulating and codifying a set of applied numerical methods, coined as Deep Learning Discrete Calculus (DLDC), that uses the knowledge from discrete numerical methods to interpret the deep learning algorithms through…

Numerical Analysis · Mathematics 2022-12-01 Sourav Saha , Chanwook Park , Stefan Knapik , Jiachen Guo , Owen Huang , Wing Kam Liu

Abstract argumentation frameworks (AFs) provide a formal setting to analyze many forms of reasoning with conflicting information. While the expressiveness of general infinite AFs make them a tempting tool for modeling many kinds of…

Artificial Intelligence · Computer Science 2025-08-26 Uri Andrews , Luca San Mauro

This work presents a framework to classify and evaluate distinct research abstract texts which are focused on the description of processes and their applications. In this context, this paper proposes natural language processing algorithms…

Computation and Language · Computer Science 2021-12-06 Lucas G. O. Lopes , Thales M. A. Vieira , William W. M. Lira

We present a new parallel spectral element solver, FNPF-SEM, for simulating linear and fully nonlinear potential flow-based water waves and their interaction with offshore structures. The tool is designed as a general-purpose wave model for…

Numerical Analysis · Mathematics 2025-06-12 Jens Visbech , Anders Melander , Allan Peter Engsig-Karup

T-IFISS is a finite element software package for studying finite element solution algorithms for deterministic and parametric elliptic partial differential equations. The emphasis is on self-adaptive algorithms with rigorous error control…

Numerical Analysis · Mathematics 2020-03-11 Alex Bespalov , Leonardo Rocchi , David Silvester

FIRE7 is a major update to the FIRE program for integration-by-parts (IBP) reduction of Feynman integrals. A large part of improvements is related to the automatic reduction and reconstruction with the modular arithmetic approach, while the…

High Energy Physics - Phenomenology · Physics 2025-12-02 Alexander V. Smirnov , Mao Zeng

In this paper we introduce a new mathematical tool to solve fractional equations representing models of fractional systems : The Ultradistributions. Ultradistributions permit us to unify the notion of integral and derivative in one only…

Mathematical Physics · Physics 2009-03-26 C. M. Grunfeld , M. C. Rocca

The cost of combustion simulations is often dominated by the evaluation of net production rates of chemical species and mixture thermodynamics (thermochemistry). Execution on computing accelerators (XPUs) like graphic processing units…

Despite its numerical challenges, finite element method is used to compute viscous fluid flow. A consensus on the cause of numerical problems has been reached; however, general algorithms---allowing a robust and accurate simulation for any…

Computational Engineering, Finance, and Science · Computer Science 2019-02-05 Bilen Emek Abali

Conventional finite-difference schemes for solving partial differential equations are based on approximating derivatives by finite-differences. In this work, an alternative theory is proposed which view finite-difference schemes as…

Numerical Analysis · Mathematics 2013-09-23 Siu A. Chin

Several real-world optimization problems involve mixed-variable search spaces, where continuous, ordinal, and categorical decision variables coexist. However, most population-based metaheuristic algorithms are designed for either continuous…

Neural and Evolutionary Computing · Computer Science 2026-04-07 Ousmane Tom Bechir , Adán José-García , Zaineb Chelly Garcia , Vincent Sobanski , Clarisse Dhaenens

Mathematical models allow us to gain a deeper understanding of real-world dynamical systems. One of the most powerful mathematical frameworks for modeling real-world phenomena are systems of differential equations. In the majority of fields…

Disordered Systems and Neural Networks · Physics 2023-05-02 Richard Gast , Thomas R. Knösche , Ann Kennedy

The implementation of discontinuous Galerkin finite element methods (DGFEMs) represents a very challenging computational task, particularly for systems of coupled nonlinear PDEs, including multiphysics problems, whose parameters may consist…

Numerical Analysis · Computer Science 2018-04-09 Paul Houston , Nathan Sime

Multivariate partial fractioning is a powerful tool for simplifying rational function coefficients in scattering amplitude computations. Since current research problems lead to large sets of complicated rational functions, performance of…

High Energy Physics - Phenomenology · Physics 2022-12-19 Dominik Bendle , Janko Boehm , Murray Heymann , Rourou Ma , Mirko Rahn , Lukas Ristau , Marcel Wittmann , Zihao Wu , Yang Zhang

The task of inferring logical formulas from examples has garnered significant attention as a means to assist engineers in creating formal specifications used in the design, synthesis, and verification of computing systems. Among various…

Logic in Computer Science · Computer Science 2025-06-04 Benjamin Bordais , Daniel Neider

ADF95 is a tool to automatically calculate numerical first derivatives for any mathematical expression as a function of user defined independent variables. Accuracy of derivatives is achieved within machine precision. ADF95 may be applied…

Mathematical Software · Computer Science 2007-05-23 Christian W. Straka

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…

Artificial Intelligence · Computer Science 2026-02-20 Jianda Du , Youran Sun , Haizhao Yang

In this paper, we give a detailed account of the algorithm outlined in [1] for Feynman integral reduction and $\varepsilon$-factorised differential equations. The algorithm consists of two steps. In the first step, we use a new geometric…