Related papers: Libra: a package for transformation of differentia…

Elaborating on the novel formulation of the loop-tree duality, we introduce the Mathematica package Lotty that automates the latter at multi-loop level. By studying the features of Lotty and recalling former studies, we discuss that the…

Pragmas for loop transformations, such as unrolling, are implemented in most mainstream compilers. They are used by application programmers because of their ease of use compared to directly modifying the source code of the relevant loops.…

We present an open-source Julia-based software toolkit for solving the phase problem using dual-space iterative algorithms. The toolkit is specifically designed for aperiodic crystals and quasicrystals, supporting general space group…

We present the Matlab toolbox MacaulayLab, which implements numerical linear algebra algorithms for solving multivariate polynomial systems and rectangular multiparameter eigenvalue problems. Its structure and functionality are the result…

We present the Feynman integral reduction program Kira 1.2 and describe its new features and other changes w.r.t. the previous versions. The main new features include a much faster equation generator, more flexible seed specification…

Modules for Experiments in Stellar Astrophysics (MESA; (Paxton2011, 2013, 2015, 2018, 2019, Jermyn 2023) is a widely used open-source software for modelling stellar evolution. In many studies, the computational grids covers thousands of…

An approach for an effective computer evaluation of one-loop multi-leg diagrams is proposed. It's main feature is the combined use of several systems - DIANA, FORM and MAPLE. As an application we consider the one-loop correction to Higgs…

A generalization of the already studied transformations of the linear differential equation into a system of the first order equations is given. The proposed transformation gives possibility to get new forms of the N-dimensional system of…

Resampling algorithms are a useful approach to deal with imbalanced learning in multilabel scenarios. These methods have to deal with singularities in the multilabel data, such as the occurrence of frequent and infrequent labels in the same…

We introduce MathOptInterface, an abstract data structure for representing mathematical optimization problems based on combining pre-defined functions and sets. MathOptInterface is significantly more general than existing data structures in…

In problems of mathematical physics, to study the structures of spaces using the Cayley-Klein models in theoretical calculations, the use of generalized complex numbers is required. In the case of computational experiments, such tasks…

Symbolic Mathematical tasks such as integration often require multiple well-defined steps and understanding of sub-tasks to reach a solution. To understand Transformers' abilities in such tasks in a fine-grained manner, we deviate from…

We present Qibolab, an open-source software library for quantum hardware control integrated with the Qibo quantum computing middleware framework. Qibolab provides the software layer required to automatically execute circuit-based algorithms…

For several years, students visit us on different occasions at the university. But how to bridge from the school curriculum to the contents of the university mathematics? And how to find a focal point at which an active contribute, despite…

In this work, we present an algorithm for the diagonalization of the Integration-by-Parts (IBP) equations. Diagonalized IBP equations are indispensable for reducing loop integrals with high numerator powers to master integrals and for…

L1Packv2 is a Mathematica package that contains a number of algorithms that can be used for the minimization of an $\ell_1$-penalized least squares functional. The algorithms can handle a mix of penalized and unpenalized variables. Several…

We present a new, fast, and easy to use tool for modelling light and radial velocity curves of close eclipsing binaries with built-in methods for solving an inverse problem. The main goal of ELISa (Eclipsing binary Learning and Interactive…

Linear differential equations and recurrences reveal many properties about their solutions. Therefore, these equations are well-suited for representing solutions and computing with special functions. We identify a large class of existing…

Combinatorial experiments involve synthesis of sample libraries with lateral composition gradients requiring spatially-resolved characterization of structure and properties. Due to maturation of combinatorial methods and their successful…

The aim of the Alma project is the design of a strongly typed constraint programming language that combines the advantages of logic and imperative programming. The first stage of the project was the design and implementation of Alma-0, a…