Algorithm for computing differential char sets efficiently
From MaRDI portal
Recommendations
- A new algorithmic scheme for computing characteristic sets
- A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity
- Characteristic sets verses generalized characteristic sets
- scientific article; zbMATH DE number 1185962
- Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer
Cites work
- A new algorithmic scheme for computing characteristic sets
- Associative differential operations
- Computing differential characteristic sets by change of ordering
- Elimination methods
- scientific article; zbMATH DE number 1185962 (Why is no real title available?)
- scientific article; zbMATH DE number 1795751 (Why is no real title available?)
- scientific article; zbMATH DE number 2110642 (Why is no real title available?)
- Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases
- Mechanical theorem proving of differential geometries and some of its applications in mechanics
Cited in
(3)
This page was built for publication: Algorithm for computing differential char sets efficiently
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5034617)