Pith. sign in

REVIEW 1 cited by

ReLie: a Reduce program for Lie group analysis of differential equations

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 2105.11534 v1 pith:BV2N3ULK submitted 2021-05-07 cs.MS cs.NAmath-phmath.MPmath.NA

classification cs.MScs.NAmath-phmath.MPmath.NA
keywords programanalysiscomputationsdifferentialequationsreliealgebraavailable
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Lie symmetry analysis provides a general theoretical framework for investigating ordinary and partial differential equations. The theory is completely algorithmic even if it usually involves lengthy computations. For this reason, many computer algebra packages have been developed along the years to automate the computation. In this paper, we describe the program ReLie, written in the Computer Algebra System Reduce, which since 2008 is an open source program (http://www.reduce-algebra.com) and is available for all platforms. \relie is able to perform almost automatically the needed computations for Lie symmetry analysis of differential equations. Its source code is freely available at the url http://mat521.unime.it/oliveri. The use of the program is illustrated by means of some simple examples; nevertheless, it is to be underlined that it provides effective also for more complex computations where one has to deal with very large expressions.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

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

  1. LieSolver: PDE-Constrained Learning for IBVPs via Lie Symmetries

    cs.LG 2025-10 conditional novelty 6.0 of 10

    LieSolver fits initial/boundary data with linear combinations of Lie-symmetry-generated base solutions, enforcing linear homogeneous PDEs exactly by construction.

Pith tools