English
Related papers

Related papers: Computing with B-series

200 papers

We present Gridap, a new scientific software library for the numerical approximation of partial differential equations (PDEs) using grid-based approximations. Gridap is an open-source software project exclusively written in the Julia…

Mathematical Software · Computer Science 2020-04-23 Francesc Verdugo , Santiago Badia

We propose a novel way to study numerical methods for ordinary differential equations in one dimension via the notion of multi-indice. The main idea is to replace rooted trees in Butcher's B-series by multi-indices. The latter were…

Numerical Analysis · Mathematics 2025-03-27 Yvain Bruned , Kurusch Ebrahimi-Fard , Yingtong Hou

OptControl.jl(OptControl) implements that modeling optimal control problems with symbolic algebra system based on Julia language, and generates the corresponding numerical optimization codes to solve them with packages from Julia.…

Optimization and Control · Mathematics 2022-08-02 Jingyi Yang , Yuebao Yang , Mingtao Li

We introduce ACEpotentials.jl, a Julia-language software package that constructs interatomic potentials from quantum mechanical reference data using the Atomic Cluster Expansion (Drautz, 2019). As the latter provides a complete description…

Score-driven models, also known as generalized autoregressive score models, represent a class of observation-driven time series models. They possess powerful properties, such as the ability to model different conditional distributions and…

Computation · Statistics 2020-08-27 Guilherme Bodin , Raphael Saavedra , Cristiano Fernandes , Alexandre Street

Graphical models provide powerful tools to uncover complicated patterns in multivariate data and are commonly used in Bayesian statistics and machine learning. In this paper, we introduce the R package BDgraph which performs Bayesian…

Machine Learning · Statistics 2019-05-14 Reza Mohammadi , Ernst C. Wit

Tensor completion aims at imputing missing entries from a partially observed tensor. Existing tensor completion methods often assume either multi-linear or nonlinear relationships between latent components. However, real-world tensors have…

Machine Learning · Computer Science 2022-02-02 Cheng Qian , Kejun Huang , Lucas Glass , Rakshith S. Srinivasa , Jimeng Sun

The evergrowing computational complexity of High Performance Computing applications is often met with an horizontal scalling of computing systems. Colaterally, each added node risks being a single point of failure to parallel programs,…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-02-04 Marcos Irigoyen , Carla Santana , Ramon C. F Araújo , Samuel Xavier-de-Souza

We introduce Dionysos.jl, a modular package for solving optimal control problems for complex dynamical systems using state-of-the-art and experimental techniques from symbolic control, optimization, and learning. More often than not with…

Systems and Control · Electrical Eng. & Systems 2025-02-14 Julien Calbert , Adrien Banse , Benoît Legat , Raphaël M. Jungers

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

The Julia programming language has gained acceptance within the High-Performance Computing (HPC) community due to its ability to tackle two-language problem: Julia code feels as high-level as Python but allows developers to tune it to…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-04-17 Sergio Sanchez-Ramirez , Mosè Giordano

We present a new package ZpL for the mathematical software system SM. It implements a sharp tracking of precision on p-adic numbers, following the theory of ultrametric precision introduced in [4]. The underlying algorithms are mostly based…

Number Theory · Mathematics 2018-02-26 Xavier Caruso , David Roe , Tristan Vaccon

In this paper we present a specialised algebraic manipulation package devoted to Celestial Mechanics. The system, called Piranha, is built on top of a generic and extensible framework, which allows to treat efficiently and in a unified way…

Symbolic Computation · Computer Science 2009-07-14 Francesco Biscani

Scientific computing is increasingly incorporating the advancements in machine learning and the ability to work with large amounts of data. At the same time, machine learning models are becoming increasingly sophisticated and exhibit many…

Programming Languages · Computer Science 2019-07-19 Mike Innes , Alan Edelman , Keno Fischer , Chris Rackauckas , Elliot Saba , Viral B Shah , Will Tebbutt

JuMP is an open-source modeling language that allows users to express a wide range of optimization problems (linear, mixed-integer, quadratic, conic-quadratic, semidefinite, and nonlinear) in a high-level, algebraic syntax. JuMP takes…

Optimization and Control · Mathematics 2017-05-08 Iain Dunning , Joey Huchette , Miles Lubin

In this article, we propose an interval constraint programming method for globally solving catalog-based categorical optimization problems. It supports catalogs of arbitrary size and properties of arbitrary dimension, and does not require…

Optimization and Control · Mathematics 2024-01-23 Charlie Vanaret

We discuss what is special about the reproducibility of workflows in computer algebra. It is emphasized how the programming language Julia and the new computer algebra system OSCAR support such a reproducibility, and how users can benefit…

Mathematical Software · Computer Science 2024-04-10 Michael Joswig , Lars Kastner , Benjamin Lorenz

No single Automatic Differentiation (AD) system is the optimal choice for all problems. This means informed selection of an AD system and combinations can be a problem-specific variable that can greatly impact performance. In the Julia…

Mathematical Software · Computer Science 2022-02-08 Frank Schäfer , Mohamed Tarek , Lyndon White , Chris Rackauckas

This paper introduces the TulipaProfileFitting.jl package, a tool developed in Julia for generating renewable energy profiles that fit a specified capacity factor. It addresses the limitations of naive methods in adjusting existing profiles…

Optimization and Control · Mathematics 2024-08-28 Diego A. Tejada-Arango , Germán Morales-España , Abel S. Siqueira , Özge Özdemir

Simulation of non-adiabatic dynamics of a quantum system coupled to dissipative environments poses significant challenges. New sophisticated methods are regularly being developed with an eye towards moving to larger systems and more…

Quantum Physics · Physics 2023-06-07 Amartya Bose