English
Related papers

Related papers: Groebner.jl: A package for Gr\"obner bases computa…

200 papers

We present f4ncgb, a new open-source C++ library for Gr\"obner basis computations in free algebras, which transfers recent advancements in commutative Gr\"obner basis software to the noncommutative setting. As our experiments show, f4ncgb…

Mathematical Software · Computer Science 2026-01-05 Maximilian Heisinger , Clemens Hofstadler

Nonconvex mixed-integer nonlinear programs (MINLPs) represent a challenging class of optimization problems that often arise in engineering and scientific applications. Because of nonconvexities, these programs are typically solved with…

Optimization and Control · Mathematics 2018-06-27 Ole Kröger , Carleton Coffrin , Hassan Hijazi , Harsha Nagarajan

NetworkDynamics.jl is an easy-to-use and computationally efficient package for working with heterogeneous dynamical systems on complex networks, written in Julia, a high-level, high-performance, dynamic programming language. By combining…

Mathematical Software · Computer Science 2021-07-02 Michael Lindner , Lucas Lincoln , Fenja Drauschke , Julia Monika Koulen , Hans Würfel , Anton Plietzsch , Frank Hellmann

In this paper we discuss the mathematical background and the computational aspects which underly the implementation of a collection of Julia functions in the MatrixPencils package for the determination of structural properties of polynomial…

Numerical Analysis · Mathematics 2020-09-08 Andreas Varga

Computations over the rational numbers often suffer from intermediate coefficient swell. One solution to this problem is to apply the given algorithm modulo a number of primes and then lift the modular results to the rationals. This method…

Algebraic Geometry · Mathematics 2019-08-15 Janko Boehm , Wolfram Decker , Claus Fieker , Santiago Laplagne , Gerhard Pfister

We present FrankWolfe.jl, an open-source implementation of several popular Frank-Wolfe and Conditional Gradients variants for first-order constrained optimization. The package is designed with flexibility and high-performance in mind,…

Optimization and Control · Mathematics 2021-10-06 Mathieu Besançon , Alejandro Carderera , Sebastian Pokutta

In this paper we consider systems of partial (multidimensional) linear difference equations. Specifically, such systems arise in scientific computing under discretization of linear partial differential equations and in computational high…

Symbolic Computation · Computer Science 2007-05-23 V. P. Gerdt

Ciminion and Hydra are two recently introduced symmetric key Pseudo-Random Functions for Multi-Party Computation applications. For efficiency, both primitives utilize quadratic permutations at round level. Therefore, polynomial system…

Cryptography and Security · Computer Science 2025-03-13 Matthias Johann Steiner

Ai4EComponentLib.jl(Ai4EComponentLib) is a component-base model library based on Julia language, which relies on the differential equation solver DifferentialEquations.jl and the symbolic modeling tool Modelingtoolkit.jl. To handle problems…

Software Engineering · Computer Science 2022-08-25 Yuebao Yang , Jingyi Yang , Mingtao Li

In this paper, a polynomial-time algorithm is given to compute the generalized Hermite normal form for a matrix F over Z[x], or equivalently, the reduced Groebner basis of the Z[x]-module generated by the column vectors of F. The algorithm…

Symbolic Computation · Computer Science 2016-07-22 Rui-Juan Jing , Chun-Ming Yuan , Xiao-Shan Gao

An introduction to the density matrix renormalization group is contained here, including coding examples. The focus of this code is on basic operations involved in tensor network computations, and this forms the foundation of the DMRjulia…

Quantum Physics · Physics 2021-09-08 Thomas E. Baker , Martin P. Thompson

FeAmGen.jl is a Julia package designed to generate Feynman diagrams and their corresponding amplitudes for various processes in particle physics. Utilizing the models in the Universal Feynman Output (UFO) format and Qgraf for diagram…

High Energy Physics - Phenomenology · Physics 2024-05-10 Quan-feng Wu , Zhao Li

We propose a novel encoding scheme for algebraic codes such as codes on algebraic curves, multidimensional cyclic codes, and hyperbolic cascaded Reed-Solomon codes and present numerical examples. We employ the recurrence from the Gr\"obner…

Information Theory · Computer Science 2007-07-13 Hajime Matsui , Seiichi Mita

The ancestral recombination graph (ARG) is the model of choice in statistical genetics to model population ancestries. Software capable of simulating ARGs on a genome scale within a reasonable amount of time are now widely available for…

Genomics · Quantitative Biology 2026-04-15 Patrick Fournier , Fabrice Larribe

In this paper we present the development of an open-source simulation toolbox, PowerSimulationsDynamics.jl, to study the dynamic response of power systems, focusing on the requirements to model systems with high penetrations of…

Systems and Control · Electrical Eng. & Systems 2024-03-26 Jose Daniel Lara , Rodrigo Henriquez-Auba , Matthew Bossart , Duncan S. Callaway , Clayton Barrows

OutlierDetection.jl is an open-source ecosystem for outlier detection in Julia. It provides a range of high-performance outlier detection algorithms implemented directly in Julia. In contrast to previous packages, our ecosystem enables the…

Machine Learning · Computer Science 2022-11-10 David Muhr , Michael Affenzeller , Anthony D. Blaom

We present a short description on how to fine-tune the modular algorithm implemented in the Giac computer algebra system to reconstruct huge Groebner basis over $\Q$.The classical cyclic10 benchmark will serve as example.

Symbolic Computation · Computer Science 2019-04-01 Bernard Parisse

The importance of computers is continually increasing in radiotherapy. Efficient algorithms, implementations and the ability to leverage advancements in computer science are crucial to improve cancer care even further and deliver the best…

Medical Physics · Physics 2024-07-08 Renato Bellotti , Antony J. Lomax , Andreas Adelmann , Jan Hrbacek

Julia is a mature general-purpose programming language, with a large ecosystem of libraries and more than 12000 third-party packages, which specifically targets scientific computing. As a language, Julia is as dynamic, interactive, and…

We introduce the Macaulay2 package BooleanGB, which computes a Gr\"obner basis for Boolean polynomials using a binary representation rather than symbolic. We compare the runtime of several Boolean models from systems in biology and give an…

Algebraic Geometry · Mathematics 2010-10-14 Franziska Hinkelmann , Elizabeth Arnold