Pith. sign in

REVIEW 5 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

arxiv cs/0608005 v2 pith:EW7WAVNK submitted 2006-08-01 cs.SC gr-qchep-th

A field-theory motivated approach to symbolic computer algebra

classification cs.SC gr-qchep-th
keywords computeralgebrafield-theoryapproachdatainputproblemsstructures
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
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.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 5 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Poly-vector deformations of heterotic supergravity solutions

    hep-th 2025-11 unverdicted novelty 7.0

    Bi- and uni-vector deformations of heterotic supergravity solutions are constructed using gauged double field theory together with a generalized open/closed map.

  2. Spectrum of pure $R^2$ gravity: full Hamiltonian analysis

    gr-qc 2025-10 conditional novelty 7.0

    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.

  3. Primary Constraints of Newer General Relativity

    gr-qc 2026-05 unverdicted novelty 6.0

    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 ...

  4. On cosmological properties of black-hole hair in linearly coupled scalar-Gauss-Bonnet theory

    gr-qc 2026-05 unverdicted novelty 5.0

    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...

  5. On cosmological properties of black-hole hair in linearly coupled scalar-Gauss-Bonnet theory

    gr-qc 2026-05 unverdicted novelty 5.0

    Scalar hair sourced by black holes in de Sitter spacetime grows temporally and spatially on superhorizon scales because a minimally coupled massless scalar field does the same, with the black hole acting as a localize...