Algorithm for computing differential char sets efficiently

DOI10.1080/09720529.2020.1809114zbMath1484.12008OpenAlexW3096704570MaRDI QIDQ5034617

Deeba Afzal, Ayesha Maqbool, Murat Cancan, Farkhanda Afzal

Publication date: 18 February 2022

Published in: Journal of Discrete Mathematical Sciences and Cryptography (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/09720529.2020.1809114

zbMATH Keywords

reductionbasic setsdifferential char setdifferential pseudo divisiontrinangularize

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Differential algebra (12H05)

Related Items (1)

Characteristic sets verses generalized characteristic sets

Uses Software

• Epsilon

Cites Work

• Computing differential characteristic sets by change of ordering
• Elimination methods
• Mechanical theorem proving of differential geometries and some of its applications in mechanics
• A new algorithmic scheme for computing characteristic sets
• Associative differential operations
• Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algorithm for computing differential char sets efficiently