English
Related papers

Related papers: ALHEP symbolic algebra program for high-energy phy…

200 papers

Partial differential equations can be solved on general polygonal and polyhedral meshes, through Polytopal Element Methods (PEMs). Unfortunately, the relation between geometry and analysis is still unknown and subject to ongoing research in…

Computational Geometry · Computer Science 2022-11-23 Daniela Cabiddu , Giuseppe Patanè , Michela Spagnuolo

Polyhedral projection is a main operation of the polyhedron abstract domain.It can be computed via parametric linear programming (PLP), which is more efficient than the classic Fourier-Motzkin elimination method.In prior work, PLP was done…

Optimization and Control · Mathematics 2019-11-25 Hang Yu , David Monniaux

We develop a sparse hierarchical $hp$-finite element method ($hp$-FEM) for the Helmholtz equation with variable coefficients posed on a two-dimensional disk or annulus. The mesh is an inner disk cell (omitted if on an annulus domain) and…

Numerical Analysis · Mathematics 2025-07-10 Ioannis P. A. Papadopoulos , Sheehan Olver

The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, each flow or influence affecting a variable is modelled separately and the overall…

Logic in Computer Science · Computer Science 2011-07-08 Luca Bortolussi , Vashti Galpin , Jane Hillston

The Laplace transform is an algebraic method that is widely used for analyzing physical systems by either solving the differential equations modeling their dynamics or by evaluating their transfer function. The dynamics of the given system…

Logic in Computer Science · Computer Science 2018-06-11 Adnan Rashid , Osman Hasan

The lower and upper bound of any given algorithm is one of the most crucial pieces of information needed when evaluating the computational effectiveness for said algorithm. Here a novel method of Boolean Algebraic Programming for symbolic…

Data Structures and Algorithms · Computer Science 2014-07-14 Daniel McCormack

After a brief introduction to Heavy Quark Effective Theory, we discuss $\alpha$ representation in HQET and methods of calculation of some kinds of HQET diagrams up to three loops.

High Energy Physics - Phenomenology · Physics 2008-12-12 A. G. Grozin

FeynRules is a Mathematica-based package which addresses the implementation of particle physics models, which are given in the form of a list of fields, parameters and a Lagrangian, into high-energy physics tools. It calculates the…

High Energy Physics - Phenomenology · Physics 2014-05-30 Adam Alloul , Neil D. Christensen , Celine Degrande , Claude Duhr , Benjamin Fuks

This article explains how to apply the computer algebra package GAP (www.gap-system.org) in the computation of the problems in quantum physics, in which the application of Lie algebra is necessary. The article contains several exemplary…

Computational Physics · Physics 2017-09-12 Ichio Kikuchi , Akihito Kikuchi

The road map to the FCC Feasibility Study Report, for submission to the next Update of the European Strategy for Particle Physics, will require detailed simulation and advanced reconstruction algorithms to explore and maximise the physics…

High Energy Physics - Experiment · Physics 2021-11-19 Gerardo Ganis , Clément Helsens , Valentin Völkl

The open source ALPS (Algorithms and Libraries for Physics Simulations) project provides a collection of physics libraries and applications, with a focus on simulations of lattice models and strongly correlated systems. The libraries…

I present a brief overview of a variety of computational tools for supersymmetry calculations, including: spectrum generators, cross section and branching fraction calculators, low energy constraints, general purpose event generators,…

High Energy Physics - Phenomenology · Physics 2016-12-21 Howard Baer

Algebraic effects and handlers support composable and structured control-flow abstraction. However, existing designs of algebraic effects often require effects to be executed sequentially. This paper studies parallel algebraic effect…

Programming Languages · Computer Science 2021-10-15 Ningning Xie , Daniel D. Johnson , Dougal Maclaurin , Adam Paszke

Eff is a programming language based on the algebraic approach to computational effects, in which effects are viewed as algebraic operations and effect handlers as homomorphisms from free algebras. Eff supports first-class effects and…

Programming Languages · Computer Science 2015-07-17 Andrej Bauer , Matija Pretnar

The LHeC is a proposed upgrade of the LHC to study $ep/eA$ collisions in the TeV regime, by adding a 60 GeV electron beam through an energy recovery linac. In $ep$, high precision top and electroweak physics can be performed, such as…

High Energy Physics - Experiment · Physics 2015-11-18 Zhiqing Zhang

This paper describes a package for calculations of expressions with Dirac matrixes. Advantages to existing similar packages are described. MatrixExp package is intended for simplification of complex expressions involving $\gamma$-matrixes,…

High Energy Physics - Phenomenology · Physics 2009-11-11 V. A. Poghosyan

We present the Wavelet-based Edge Multiscale Parareal (WEMP) Algorithm, recently proposed in [Li and Hu, {\it J. Comput. Phys.}, 2021], for efficiently solving subdiffusion equations with heterogeneous coefficients in long time. This…

Numerical Analysis · Mathematics 2024-06-14 Guanglian Li

Simulating the cardiac function requires the numerical solution of multi-physics and multi-scale mathematical models. This underscores the need for streamlined, accurate, and high-performance computational tools. Despite the dedicated…

This paper presents a hybridized formulation for the weak Galerkin mixed finite element method (WG-MFEM) which was introduced and analyzed for second order elliptic equations. The WG-MFEM method was designed by using discontinuous piecewise…

Numerical Analysis · Mathematics 2015-08-25 Lin Mu , Junping Wang , Xiu Ye

We describe our package PALP of C programs for calculations with lattice polytopes and applications to toric geometry, which is freely available on the internet. It contains routines for vertex and facet enumeration, computation of…

Numerical Analysis · Mathematics 2025-10-20 Maximilian Kreuzer , Harald Skarke