Pages that link to "Item:Q557066"
From MaRDI portal
The following pages link to Differential algebra for derivations with nontrivial commutation rules (Q557066):
Displaying 50 items.
- Discrete moving frames and discrete integrable systems (Q372876) (← links)
- Parameterized Picard-Vessiot extensions and Atiyah extensions (Q387893) (← links)
- Differential invariant algebras of Lie pseudo-groups (Q734830) (← links)
- Algorithmic symmetry classification with invariance (Q976792) (← links)
- Differential invariants of a Lie group action: syzygies on a generating set (Q1008571) (← links)
- Discrete moving frames on lattice varieties and lattice-based multispaces (Q1704818) (← links)
- Lagrangian curves in a 4-dimensional affine symplectic space (Q2255618) (← links)
- Some elements of Lie-differential algebra and a uniform companion for large Lie-differential fields (Q2463482) (← links)
- Evolution of curvature invariants and lifting integrability (Q2496839) (← links)
- On Moving Frames and Noether’s Conservation Laws (Q2893192) (← links)
- A new incremental algorithm for computing Groebner bases (Q2946515) (← links)
- Degree bounds for Gröbner bases of low-dimensional polynomial ideals (Q2946516) (← links)
- A new algorithm for computing comprehensive Gröbner systems (Q2946517) (← links)
- Finding all bessel type solutions for linear differential equations with rational function coefficients (Q2946518) (← links)
- Simultaneously row- and column-reduced higher-order linear differential systems (Q2946519) (← links)
- Consistency of finite difference approximations for linear PDE systems and its algorithmic verification (Q2946520) (← links)
- Computation with semialgebraic sets represented by cylindrical algebraic formulas (Q2946521) (← links)
- Black-box/white-box simplification and applications to quantifier elimination (Q2946522) (← links)
- Parametric quantified SAT solving (Q2946524) (← links)
- A method for semi-rectifying algebraic and differential systems using scaling type lie point symmetries with linear algebra (Q2946525) (← links)
- Absolute factoring of non-holonomic ideals in the plane (Q2946526) (← links)
- Algorithms for Bernstein--Sato polynomials and multiplier ideals (Q2946527) (← links)
- Global optimization of polynomials using generalized critical values and sums of squares (Q2946528) (← links)
- A Slice algorithm for corners and Hilbert-Poincaré series of monomial ideals (Q2946529) (← links)
- Composition collisions and projective polynomials (Q2946530) (← links)
- Decomposition of generic multivariate polynomials (Q2946531) (← links)
- NumGfun (Q2946532) (← links)
- Chebyshev interpolation polynomial-based tools for rigorous computing (Q2946533) (← links)
- Blind image deconvolution via fast approximate GCD (Q2946534) (← links)
- Polynomial integration on regions defined by a triangle and a conic (Q2946535) (← links)
- Computing the singularities of rational space curves (Q2946536) (← links)
- Solving schubert problems with Littlewood-Richardson homotopies (Q2946537) (← links)
- When can we detect that a P-finite sequence is positive? (Q2946538) (← links)
- Complexity of creative telescoping for bivariate rational functions (Q2946539) (← links)
- Partial denominator bounds for partial linear difference equations (Q2946540) (← links)
- Real and complex polynomial root-finding with eigen-solving and preprocessing (Q2946541) (← links)
- Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method (Q2946543) (← links)
- Random polynomials and expected complexity of bisection methods for real solving (Q2946544) (← links)
- The DMM bound (Q2946545) (← links)
- Solving Bezout-like polynomial equations for the design of interpolatory subdivision schemes (Q2946546) (← links)
- Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology (Q2946547) (← links)
- Output-sensitive decoding for redundant residue systems (Q2946549) (← links)
- A Strassen-like matrix multiplication suited for squaring and higher power computation (Q2946550) (← links)
- Computing specified generators of structured matrix inverses (Q2946552) (← links)
- Yet another block Lanczos algorithm (Q2946553) (← links)
- Liouvillian solutions of irreducible second order linear difference equations (Q2946555) (← links)
- Solving recurrence relations using local invariants (Q2946556) (← links)
- On some decidable and undecidable problems related to q-difference equations with parameters (Q2946557) (← links)
- Iterative Toom-Cook methods for very unbalanced long integer multiplication (Q2946558) (← links)
- An in-place truncated fourier transform and applications to polynomial multiplication (Q2946559) (← links)
