Searching for "Generating Polynomial Orderings." – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Towards the Generation of Polynomial Orderings
- …Towards the Generation of Polynomial Orderings 1) Joachim STEINBACH Universitat Kaiserslautern…
- Add To MetaCart
-
Generating Polynomial Orderings for Termination Proofs
- …Generating Polynomial Orderings for Termination Proofs ? Jurgen Giesl FB Informatik, Technische…
- Cited by 46 (22 self) – Add To MetaCart
-
POLO - A System for Termination Proofs using Polynomial Orderings
- … method for generating polynomial orderings [Q] Quit [H] Help To quit the program you must hit Q…
- Cited by 1 (0 self) – Add To MetaCart
-
Termination analysis by inductive evaluation
- … are well founded, termination of le is proved. Techniques to generate suitable polynomial orderings…
- Cited by 6 (4 self) – Add To MetaCart
-
Genetic Algorithms for Finding Polynomial Orderings
- … of polynomial or-derings [12]. Several methods for generating polynomial orderings automatically have been…
- Add To MetaCart
-
Associative-Commutative Reduction Orderings via Head-Preserving Interpretations
- … interpretations and path orderings. 3.1 Orderings generated by polynomial interpretations Polynomial…
- Cited by 2 (0 self) – Add To MetaCart
-
A Mixed Symbolic-Numeric Method to Study Prime Ordinary Differential Ideals
- … by polynomials of order at most e may be done (for ordinary systems) by performing a sequence of reductions…
- Cited by 3 (2 self) – Add To MetaCart
-
On using a Support Vector Machine in Learning Feed-Forward Control
- … feature space the inproduct is calculated. Some useful kernels are: • kernels which generate polynomials…
- Cited by 1 (0 self) – Add To MetaCart
-
Remarks on Applications of Arithmetic Expressions for Efficient Implementation of Elementary Functions
- …]. In these tables poly − c1 and poly − c2 are examples of two randomly generated polynomials of order four…
- Add To MetaCart
-
Automatically Proving Termination Where Simplification Orderings Fail
- … well-founded ordering satisfying the generated constraints. In this way, termination of numerous (also…
- Cited by 29 (9 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
