scientific article; zbMATH DE number 493144
From MaRDI portal
Publication:4276397
Recommendations
- On the classification of term orderings types
- Lexicographic ordering, ranking and unranking of combinations
- Invariants, patterns and weights for ordering terms
- scientific article; zbMATH DE number 4183475
- On the recursive decomposition ordering with lexicographical status and other related orderings
- Term Rewriting and Applications
- On the number of term orders
- scientific article; zbMATH DE number 1329663
- Ranking functions and axioms for linear orders
- Lexicographic orders and preference representation
Cited in
(10)- The Gröbner fan and Gröbner walk for modules
- Fast differential eleminination in C: The CDiffElim environment
- Invariants, patterns and weights for ordering terms
- Construction of rankings on partial derivatives
- An approach to ordering
- scientific article; zbMATH DE number 500498 (Why is no real title available?)
- scientific article; zbMATH DE number 2070417 (Why is no real title available?)
- Nonclassical reductions of a (3+1)-cubic nonlinear Schrödinger system
- Universal characteristic decomposition of radical differential ideals
- Multiplicative orders on terms
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4276397)