English
Related papers

Related papers: Using a template engine as a computer algebra tool

200 papers

Dynamical systems are ubiquitous in science and engineering as models of phenomena that evolve over time. Although complex dynamical systems tend to have important modular structure, conventional modeling approaches suppress this structure.…

Category Theory · Mathematics 2022-11-04 Sophie Libkind , Andrew Baas , Evan Patterson , James Fairbanks

We study the application of the generalized convolution quadrature (gCQ) based on Runge--Kutta methods to approximate the solution of an important class of sectorial problems. The gCQ generalizes Lubich's original convolution quadrature…

Numerical Analysis · Mathematics 2025-06-27 Jing Guo , Maria Lopez-Fernandez

Automatic programming attempts to minimize human intervention in the generation of executable code, and has been a long-standing challenge in the software engineering community. To advance automatic programming, researchers are focusing on…

Software Engineering · Computer Science 2024-09-06 Quanjun Zhang , Chunrong Fang , Ye Shang , Tongke Zhang , Shengcheng Yu , Zhenyu Chen

Automatic generation of software code from system design models remains an actively explored research area for the past several years. A number of tools are currently available to facilitate and automate the task of generating code from…

Software Engineering · Computer Science 2023-12-05 Hina Mahmood , Atif Aftab Jilani , Abdul Rauf

This work focuses on the development of a new class of high-order accurate methods for multirate time integration of systems of ordinary differential equations. The proposed methods are based on a specific subset of explicit one-step…

Numerical Analysis · Mathematics 2019-04-16 Vu Thai Luan , Rujeko Chinomona , Daniel R. Reynolds

Explicit Runge-Kutta methods are classical and widespread techniques in the numerical solution of ordinary differential equations (ODEs). Considering partial differential equations, spatial semidiscretisations can be used to obtain systems…

Numerical Analysis · Mathematics 2020-04-08 Hendrik Ranocha

Since time immemorial an old adage has always seemed to ring true: you cannot use a high-level productive programming language like Python or R for real-time control and embedded-systems programming, you must rewrite your program in C. We…

Systems and Control · Electrical Eng. & Systems 2025-02-10 Fredrik Bagge Carlson , Cody Tapscott , Gabriel Baraldi , Chris Rackauckas

Benchmark datasets have a significant impact on accelerating research in programming language tasks. In this paper, we introduce CodeXGLUE, a benchmark dataset to foster machine learning research for program understanding and generation.…

We introduce {\tt JuliBootS}, a package for numerical conformal bootstrap computations coded in {\tt Julia}. The centre-piece of {\tt JuliBootS} is an implementation of Dantzig's simplex method capable of handling arbitrary precision linear…

High Energy Physics - Theory · Physics 2014-12-16 Miguel F. Paulos

We demonstrate the effectiveness of a novel scheme for numerically solving linear differential equations whose solutions exhibit extreme oscillation. We take a standard Runge-Kutta approach, but replace the Taylor expansion formula with a…

Computational Physics · Physics 2016-12-12 W. J. Handley , A. N. Lasenby , M. P. Hobson

The task of integrating a large number of independent ODE systems arises in various scientific and engineering areas. For nonstiff systems, common explicit integration algorithms can be used on GPUs, where individual GPU threads…

Mathematical Software · Computer Science 2016-11-09 Kyle E Niemeyer , Chih-Jen Sung

A critical step in developing circuits for quantum simulation is to synthesize a desired unitary operator using the circuit building blocks. Studying unitaries and their generators from the Lie algebraic perspective has given rise to…

Quantum Physics · Physics 2025-12-09 Omar Alsheikh , Efekan Kökcü , Bojko N. Bakalov , A. F. Kemper

Semi-Lagrangian methods are numerical methods designed to find approximate solutions to particular time-dependent partial differential equations (PDEs) that describe the advection process. We propose semi-Lagrangian one-step methods for…

Numerical Analysis · Mathematics 2017-03-07 Nikolai D. Lipscomb , Daniel X. Guo

This paper presents a novel approach to automatically solving arithmetic word problems. This is the first algorithmic approach that can handle arithmetic problems with multiple steps and operations, without depending on additional…

Computation and Language · Computer Science 2016-08-23 Subhro Roy , Dan Roth

The cubic spline interpolation method, the Runge--Kutta method, and the Newton-Raphson method are extended to dual versions (developed in the context of dual numbers). This extension allows the calculation of the derivatives of complicated…

Computational Engineering, Finance, and Science · Computer Science 2017-01-12 F. Penunuri , O. Carvente , M. A. Zambrano-Arjona , Carlos A. Cruz-Villar

Generating high-performance code for diverse hardware and application domains is challenging. Functional array programming languages with patterns like map and reduce have been successfully combined with term rewriting to define and explore…

Programming Languages · Computer Science 2022-06-06 Thomas Koehler , Phil Trinder , Michel Steuwer

It is becoming increasingly clear that, if a useful device for quantum computation will ever be built, it will be embodied by a classical computing machine with control over a truly quantum subsystem, this apparatus performing a mixture of…

Programming Languages · Computer Science 2009-11-07 S. Bettelli , L. Serafini , T. Calarco

Stable computational algorithms for the approximate solution of the Cauchy problem for nonstationary problems are based on implicit time approximations. Computational costs for boundary value problems for systems of coupled multidimensional…

Numerical Analysis · Mathematics 2024-03-28 P. N. Vabishchevich

We propose an implementation of symplectic implicit Runge-Kutta schemes for highly accurate numerical integration of non-stiff Hamiltonian systems based on fixed point iteration. Provided that the computations are done in a given floating…

Numerical Analysis · Mathematics 2017-02-14 Mikel Antoñana , Joseba Makazaga , Ander Murua

With the recent proliferation of open-source packages for computing, power system differential-algebraic equation (DAE) modeling and simulation are being revisited to reduce the programming efforts. Existing open-source tools require manual…

Systems and Control · Electrical Eng. & Systems 2020-08-13 Hantao Cui , Fangxing Li , Kevin Tomsovic
‹ Prev 1 8 9 10 Next ›