REVIEW 6 cited by
A field-theory motivated approach to symbolic computer algebra
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built around generic list-based data structures, can be used to represent and manipulate field-theory expressions, this often leads to cumbersome input formats, unexpected side-effects, or the need for a lot of special-purpose code. This makes a direct translation of problems from paper to computer and back needlessly time-consuming and error-prone. A prototype computer algebra system is presented which features TeX-like input, graph data structures, lists with Young-tableaux symmetries and a multiple-inheritance property system. The usefulness of this approach is illustrated with a number of explicit field-theory problems.
Forward citations
Cited by 6 Pith papers
-
Six-dimensional $\mathcal{N}=(2,0)$ Conformal Superspace
A new off-shell 6D N=(2,0) conformal superspace is constructed, and its unique Bach tensor superfield is derived up to overall scaling.
-
Poly-vector deformations of heterotic supergravity solutions
Bi- and uni-vector deformations of heterotic supergravity solutions are constructed using gauged double field theory together with a generalized open/closed map.
-
Spectrum of pure $R^2$ gravity: full Hamiltonian analysis
Pure R^2 gravity propagates three degrees of freedom nonlinearly but zero linearly around Minkowski and other traceless-Ricci R=0 spacetimes due to ten second-class constraints becoming first-class upon linearization.
-
Primary Constraints of Newer General Relativity
Primary constraint analysis of Newer General Relativity recovers five tensor and three vector constraints and identifies a previously unreported scalar-sector degeneracy that produces one or two constraints depending ...
-
Higher-Order Newton-Cartan Gravity
The authors derive non-relativistic Newton-Cartan limits of quadratic gravity theories, obtaining higher-order corrected Poisson equations for Einstein-Gauss-Bonnet and Ricci-squared gravity.
-
On cosmological properties of black-hole hair in linearly coupled scalar-Gauss-Bonnet theory
Scalar hair sourced by black holes in de Sitter spacetime grows temporally and spatially on superhorizon scales due to the dynamics of a minimally coupled massless scalar field in expanding spacetime, carrying a stead...
Discussion (0). Continue with ORCID to comment.