11 papers · ranked by Valyu relevance
L. Fekésházy, Bakar Chargeishvili, G. Somogyi, S. Van Thurenhout
We present LinApart, a routine designed for efficiently performing the univariate partial fraction decomposition of large symbolic expressions. Our method is based on an explicit closed formula for the decomposition of rational functions with fully factorized denominators. We provide implementations in both the Wolfram…
M. M. Hammad, M. M. Yahia
Optimization, linear algebra, probability, and statistics are cornerstones of machine learning. The majority of current machine learning textbooks concentrate on machine learning techniques and algorithms and presuppose that readers are proficient in mathematics and statistics. The gap between high school mathematics…
Martin Wiebusch
This article introduces the Mathematica package HEPMath which provides a number of utilities and algorithms for High Energy Physics computations in Mathematica. Its functionality is similar to packages like FormCalc or FeynCalc, but it takes a more complete and extensible approach to implementing common High Energy…
Ian Briggs, Yash Lad, Pavel Panchekha
Achieving speed and accuracy for math library functions like exp, sin, and log is difficult. This is because low-level implementation languages like C do not help math library developers catch mathematical errors, build implementations incrementally, or separate high-level and low-level decision making. This ultimately…
Manuel Hohmann
We present a package for the computer algebra system Mathematica, which implements the parametrized post-Newtonian (PPN) formalism. This package, named xPPN, is built upon the widely used tensor algebra package suite xAct, and in particular the package xTensor therein. The main feature of xPPN is to provide functions…
Robert Y. Lewis, Minchao Wu
We implement a user-extensible ad hoc connection between the Lean proof assistant and the computer algebra system Mathematica. By reflecting the syntax of each system in the other and providing a flexible interface for extending translation, our connection allows for the exchange of arbitrary information between the…
Alexander V. Smirnov
In this paper the C++ version of FIRE is presented — a powerful program performing Feynman integral reduction to master integrals. All previous versions used only Wolfram Mathematica, the current version mostly uses Wolfram Mathematica as a front-end. However, the most complicated part, the reduction itself can now be…
Fredrik Johansson
We present an efficient implementation of hypergeometric functions in arbitraryprecision interval arithmetic. The functions 0F1, 1F1, 2F1 and 2F0 (or the Kummer U-function) are supported for unrestricted complex parameters and argument, and by extension, we cover exponential and trigonometric integrals, error…
Emmanuel Roque, José A. Vallejo
After discussing the limitations of current commercial software, we provide the details of an implementation of Fourier techniques for solving second-order linear partial differential equations (with constant coefficients) using a computer algebra system. The general Sturm-Liouville problem for the heat, wave and…
Thomas Hahn
The FeynArts [1], FormCalc & LoopTools [2] triad of packages are used for the generation and calculation of Feynman diagrams up to one loop. With QCD and Standard Model calculations moving to higher orders their main focus has shifted somewhat to BSM models and package building, where the availability of analytical…
Daniel McKinley
Elementary cellular automata (ECA) are a set of simple binary programs in the form of truth tables called Wolfram codes that produce complex output when done repeatedly in parallel, and quaternions are an extension of complex numbers frequently used to represent 3D space and its rotations in computer graphics due to…