9 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…
Francesca Bertacchini, Carmelo Scuro, Pietro Pantano, Eleonora Bilotta
'Eleonora Bilotta'] An educational robotics lab has been planned for undergraduate students in an Electronic Engineering degree, using the Project Based Learning (PBL) approach and the NAO robot. Students worked in a research context, with the aim of making the functions of the NAO robot as social and autonomous as…
Robert Urbanczik
Background Despite recent algorithmic and conceptual progress, the stoichiometric network analysis of large metabolic models remains a computationally challenging problem. Results SNA is a interactive, high performance toolbox for analysing the possible steady state behaviour of metabolic networks by computing the…
Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
We formalize algebraic numbers in Isabelle/HOL. Our development serves as a verified implementation of algebraic operations on real and complex numbers. We moreover provide algorithms that can identify all the real or complex roots of rational polynomials, and two implementations to display algebraic numbers, an…
Christian Bengs, Malcolm H. Levitt
SpinDynamica is a set of Mathematica packages for performing numerical and symbolic analysis of a wide range of magnetic resonance experiments and phenomena. An overview of the SpinDynamica architecture and functionality is given, with some simple representative examples.
Malcolm A. H. MacCallum
The complicated nature of calculations in general relativity was one of the driving forces in the early development of computer algebra (CA). CA has become widely used in gravity research (GR) and its use can be expected to grow further. Here the general nature of computer algebra is discussed, along with some aspects…
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…
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…
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…