14 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…
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…
Jack Heimrath
The area method is a decision procedure for geometry developed by Chou et al. in the 1990's. The method aims to reduce the specified hypothesis to an algebraically verifiable form by applying elimination lemmas. The order in which the lemmas are applied is determined by the stated conjecture and the underlying…
Ursula Laa, Alex Aumann, Dianne Cook, G. Valencia
This paper describes new user controls for examining high-dimensional data using low-dimensional linear projections and slices. A user can interactively change the contribution of a given variable to a low-dimensional projection, which is useful for exploring the sensitivity of structure to particular variables. The…
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…
Hjalte Frellesvig
In this paper, we discuss the Baikov representation of Feynman integrals in its standard and loop-by-loop variants. The Baikov representation is a parametric representation, which has as its defining feature the fact that the integration variables are the propagators of the Feynman integral. For the loop-by-loop Baikov…
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…
S. M. Abrarov, Rehan Siddiqui, Rajinder Kumar Jagpal, Brendan M. Quine
'Brendan M. Quine'] In this work, we develop a new iterative method for computing the digits of π by argument reduction of the tangent function. This method combines a modified version of the iterative formula for π with squared convergence that we proposed in a previous work and a leading arctangent term from the…
Gideon Baur, Claude Duhr
We introduce IterInt, a novel package implemented in both Mathematica and C++ for the numerical evaluation of iterated integrals involving arbitrary integration kernels. After the user has defined the integration kernels, IterInt transforms the iterated integrals into a system of first-order linear differential…
Gennadi Malaschonok, А. В. Селиверстов
We present the possibilities provided by the MathPartner service of calculating definite and indefinite integrals. MathPartner contains software implementation of the Risch algorithm and provides users with the ability to compute antiderivatives for elementary functions. Certain integrals, including improper integrals…
Hongyan Zhang, Yu Zhou, Yutao Li, Fu-Yun Li + 1 more
The complete elliptic integral of the first kind (CEI-1) plays a significant role in mathematics, physics and engineering. There is no simple formula for its computation, thus numerical algorithms are essential for coping with the practical problems involved. The commercial implementations for the numerical solutions…
Richard Herrmann
Mittag-Leffler function with its addition formula for a significant accuracy boost Authors: ['Richard Herrmann'] Abstract The combination of the global Pad´e approximation of the Mittag-Leffler function with its addition formula for the case α < 1 yields significantly higher accuracy results for a given arbitrary order…
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…
Dmitry I. Kabanov, Stephan Rave, Mario Ohlberger
MaRDI Open Interfaces is a software project aimed at improving reuse and interoperability in Scientific Computing by alleviating the difficulties of crossing boundaries between different programming languages, in which numerical packages are usually implemented, and of switching between multiple implementations of the…