English
Related papers

Related papers: Using a computer algebra system to simplify expres…

200 papers

The Wigner-Weyl isomorphism for quantum mechanics on a compact simple Lie group $G$ is developed in detail. Several New features are shown to arise which have no counterparts in the familiar Cartesian case. Notable among these is the notion…

Quantum Physics · Physics 2009-11-10 N. Mukunda , G. Marmo , Alessandro Zampini , S. Chaturvedi , R. Simon

We show that sampling or interpolation formulas in reproducing kernel Hilbert spaces can be obtained by reproducing kernels whose dual systems form molecules, ensuring that the size profile of a function is fully reflected by the size…

Functional Analysis · Mathematics 2022-05-04 José Luis Romero , Jordy Timo van Velthoven , Felix Voigtlaender

We present a small computer algebra program for use in Maxwell's theory. The Maxwell equations and the energy-momentum current of the electromagnetic field are formulated in the language of exterior differential forms. The corresponding…

General Relativity and Quantum Cosmology · Physics 2016-08-31 R. A. Puntigam , E. Schrüfer , F. W. Hehl

A double-atom partitioning of the molecular one-electron density matrix is used to describe atoms and bonds. All calculations are performed in Hilbert space. The concept of atomic weight functions (familiar from Hirshfeld analysis of the…

We consider a generalization of polynomial programs: algebraic programs, which are optimization or feasibility problems with algebraic objectives or constraints. Algebraic functions are defined as zeros of multivariate polynomials. They are…

Optimization and Control · Mathematics 2025-02-13 Muhammad Maaz , Adam W. Strzeboński

A new and computationally viable full quantum version of line shape theory is obtained in terms of a mixed Weyl symbol calculus. The basic ingredient in the collision--broadened line shape theory is the time dependent dipole autocorrelation…

Atomic Physics · Physics 2009-10-31 T. A. Osborn , M. F. Kondrat'eva , G. C. Tabisz , B. R. McQuarrie

The purpose of this note is to survey a methodology to solve systems of polynomial equations and inequalities. The techniques we discuss use the algebra of multivariate polynomials with coefficients over a field to create large-scale linear…

Optimization and Control · Mathematics 2011-12-08 Jesus A. De Loera , Peter N. Malkin , Pablo A. Parrilo

We present a package to perform partial fraction decompositions of multivariate rational functions. The algorithm allows to systematically avoid spurious denominator factors and is capable of producing unique results also when being applied…

Symbolic Computation · Computer Science 2022-01-05 Matthias Heller , Andreas von Manteuffel

Computer algebra is widely used in various fields of mathematics, physics and other sciences. The simplification of tensor expressions is an important special case of computer algebra. In this paper, we consider the reduction of tensor…

Symbolic Computation · Computer Science 2019-05-01 A. Kryukov , G. Shpiz

We introduce variational methods for finding approximate eigenfunctions and eigenvalues of quantum Hamiltonians by constructing a set of orthogonal wave functions which approximately solve the eigenvalue equation.

Mathematical Physics · Physics 2013-07-16 Farrokh Atai , Jens Hoppe , Mariusz Hynek , Edwin Langmann

In this work we present the computer algebra package HarmonicSums and its theoretical background for the manipulation of harmonic sums and some related quantities as for example Euler-Zagier sums and harmonic polylogarithms. Harmonic sums…

Mathematical Physics · Physics 2010-11-05 Jakob Ablinger

In this article we present a method to implement orthogonal polynomials and many other special functions in Computer Algebra systems enabling the user to work with those functions appropriately, and in particular to verify different types…

Classical Analysis and ODEs · Mathematics 2016-09-06 Wolfram Koepf

We illustrate the main features of a recently proposed method based on ensemble density functional theory to divide rigorously a complex molecular system into its parts [M.H. Cohen and A. Wasserman, J. Phys. Chem. A 111, 2229 (2007)]. The…

Other Condensed Matter · Physics 2016-09-28 Morrel H. Cohen , Adam Wasserman , Kieron Burke

We present a phase-space representation of the hydrogen atom using the Kirkwood-Rikaczek distribution function. This distribution allows us to obtain analytical results, which is quite unique because an exact analytical form of the Wigner…

Quantum Physics · Physics 2009-11-07 L. Praxmeyer , K. Wodkiewicz

Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations of these tools focusing on solutions of the real analogue:…

Symbolic Computation · Computer Science 2010-05-17 Changbo Chen , James H. Davenport , John P. May , Marc Moreno Maza , Bican Xia , Rong Xiao

Quantum Mechanics and Signal Processing in the line R, are strictly related to Fourier Transform and Weyl-Heisenberg algebra. We discuss here the addition of a new discrete variable that measures the degree of the Hermite functions and…

Mathematical Physics · Physics 2015-06-23 Enrico Celeghini , Mariano A. del Olmo

We construct the integral transform passing from the space representation to the momentum representation for the Hydrogen atom using polar spherical coordinates. The resulting radial wave functions are explicitly given in terms of complex…

Quantum Physics · Physics 2023-03-15 M. Kirchbach , J. A. Vallejo

In this paper we present an algorithmic procedure that transforms, if possible, a given system of ordinary or partial differential equations with radical dependencies in the unknown function and its derivatives into a system with polynomial…

Classical Analysis and ODEs · Mathematics 2024-04-23 Sebastian Falkensteiner , Rafael Sendra

With the exception of q-hypergeometric summation, the use of computer algebra packages implementing Zeilberger's "holonomic systems approach" in a broader mathematical sense is less common in the field of q-series and basic hypergeometric…

Symbolic Computation · Computer Science 2016-02-02 Christoph Koutschan , Peter Paule

The main difficulty in utilizing the O(4) symmetry of the Hydrogen atom in practical calculations is the dependence of the Fock stereographic projection on energy. This is due to the fact that the wave functions of the states with different…

Mathematical Physics · Physics 2008-07-28 A. V. Meremianin , J-M. Rost