Pages that link to "Item:Q1569835"
From MaRDI portal
The following pages link to Factorization-free decomposition algorithms in differential algebra (Q1569835):
Displayed 46 items.
- Model reduction of chemical reaction systems using elimination (Q359898) (← links)
- Linear sparse differential resultant formulas (Q389711) (← links)
- Rational general solutions of higher order algebraic ODEs (Q394458) (← links)
- Algorithms for computing triangular decomposition of polynomial systems (Q413407) (← links)
- Characteristic set algorithms for equation solving in finite fields (Q413410) (← links)
- A criterion for testing whether a difference ideal is prime (Q473046) (← links)
- A normal form algorithm for regular differential chains (Q541963) (← links)
- Involutive characteristic sets of algebraic partial differential equation systems (Q547816) (← links)
- Differential algebra for derivations with nontrivial commutation rules (Q557066) (← links)
- An algorithmic method in Painlevé analysis of PDE (Q709412) (← links)
- Differential elimination by differential specialization of Sylvester style matrices (Q895967) (← links)
- New effective differential Nullstellensatz (Q908094) (← links)
- A bound for the Rosenfeld-Gröbner algorithm (Q928772) (← links)
- Probabilistic algorithms for computing resolvent representations of regular differential ideals (Q985372) (← links)
- A characteristic set method for ordinary difference polynomial systems (Q1006653) (← links)
- Algebraic transformation of differential characteristic decompositions from one ranking to another (Q1008569) (← links)
- Characteristic set method for differential-difference polynomial systems (Q1030248) (← links)
- Computing differential characteristic sets by change of ordering (Q1034554) (← links)
- Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant (Q1042772) (← links)
- Implicitization of differential rational parametric equations. (Q1426145) (← links)
- Size reduction and partial decoupling of systems of equations. (Q1599555) (← links)
- Rational general solutions of systems of first-order algebraic partial differential equations (Q1678116) (← links)
- Ritt-Wu characteristic set method for Laurent partial differential polynomial systems (Q1730301) (← links)
- Elimination theory in differential and difference algebra (Q1730314) (← links)
- An equivalence theorem for regular differential chains (Q1733300) (← links)
- The differential counting polynomial (Q1750382) (← links)
- Structural identifiability analysis of some highly structured families of statespace models using differential algebra (Q1764626) (← links)
- Fast computation of discrete invariants associated to a differential rational mapping (Q1878484) (← links)
- Rational general solutions of trivariate rational differential systems (Q1949083) (← links)
- On the efficiency of solving Boolean polynomial systems with the characteristic set method (Q2211189) (← links)
- A bound for a typical differential dimension of systems of linear differential equations (Q2246869) (← links)
- Difference Chow form (Q2257270) (← links)
- A bound for orders in differential Nullstellensatz (Q2267443) (← links)
- Sparse differential resultant for Laurent differential polynomials (Q2351806) (← links)
- Bogoyavlenskij symmetries of ideal MHD equilibria as Lie point transformations (Q2383258) (← links)
- A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity (Q2400459) (← links)
- Some open problems related to creative telescoping (Q2402228) (← links)
- On the generalized Ritt problem as a computational problem (Q2452562) (← links)
- Gröbner fan and universal characteristic sets of prime differential ideals (Q2457388) (← links)
- Universal characteristic decomposition of radical differential ideals (Q2481473) (← links)
- Characteristic sets for ordinary differential equations (Q2508525) (← links)
- Parameter identifiability and input-output equations (Q2689911) (← links)
- Extensions of Noether's Second Theorem: from continuous to discrete systems (Q2889169) (← links)
- A new algorithm for computing regular representations for radicals of parametric differential ideals (Q5193281) (← links)
- The uniform companion for large differential fields of characteristic 0 (Q5461369) (← links)
- A probabilistic algorithm to test local algebraic observability in polynomial time (Q5894826) (← links)