AIDA Maple Package: Algebraic Invariants and their Differential Algebras. The AIDA package will be a collection of routines to explore algebra of differential invariants: computation of generating sets of invariants, rewritings, syzygies, and their differential analogues. The package builds on the Maple libraries Groebner, Vessiot and diffalg. Initial code used IVB by I. Kogan.

References in zbMATH (referenced in 58 articles )

Showing results 1 to 20 of 58.
Sorted by year (citations)

1 2 3 next

  1. Musso, Emilio; Hubert, Evelyne: Lagrangian curves in a 4-dimensional affine symplectic space (2014)
  2. Gonçalves, T. M. N.; Mansfield, E. L.: Moving frames and conservation laws for Euclidean invariant Lagrangians (2013)
  3. Gonçalves, T. M. N.; Mansfield, E. L.: On moving frames and Noether’s conservation laws (2012)
  4. Lemaire, François; Ürgüplü, Asli: MABSys: Modeling and analysis of biological systems (2012)
  5. Abramov, S. A.: On some decidable and undecidable problems related to (q)-difference equations with parameters (2010)
  6. Avendaño, Martín; Ibrahim, Ashraf; Rojas, J. Maurice; Rusek, Korben: Randomized NP-completeness for (p)-adic rational roots of sparse polynomials in one variable (2010)
  7. Barkatou, Moulay A.: Symbolic methods for solving systems of linear ordinary differential equations (2010) ioport
  8. Barkatou, Moulay A.; El Bacha, Carole; Pflügel, Eckhard: Simultaneously row- and column-reduced higher-order linear differential systems (2010)
  9. Berkesch, Christine; Leykin, Anton: Algorithms for Bernstein-Sato polynomials and multiplier ideals (2010)
  10. Bodrato, Marco: A Strassen-like matrix multiplication suited for squaring and higher power computation (2010)
  11. Bostan, Alin; Chen, Shaoshi; Chyzak, Frédéric; Li, Ziming: Complexity of creative telescoping for bivariate rational functions (2010)
  12. Brisebarre, Nicolas; Joldeş, Mioara: Chebyshev interpolation polynomial-based tools for rigorous computing (2010)
  13. Brown, Christopher W.; Strzeboński, Adam: Black-box/white-box simplification and applications to quantifier elimination (2010)
  14. Cha, Yongjae; van Hoeij, Mark; Levy, Giles: Solving recurrence relations using local invariants (2010)
  15. Chen, Changbo; Davenport, James H.; May, John P.; Maza, Marc Moreno; Xia, Bican; Xiao, Rong: Triangular decomposition of semi-algebraic systems (2010)
  16. Conti, C.; Gemignani, L.; Romani, L.: Solving Bezout-like polynomial equations for the design of interpolatory subdivision schemes (2010)
  17. Eberly, Wayne: Yet another block Lanczos algorithm: how to simplify the computation and reduce reliance on preconditioners in the small field case (2010)
  18. Emiris, Ioannis Z.; Galligo, André; Tsigaridas, Elias P.: Random polynomials and expected complexity of bisection methods for real solving (2010)
  19. Emiris, Ioannis Z.; Mourrain, Bernard; Tsigaridas, Elias P.: The DMM bound: multivariate (aggregate) separation bounds (2010)
  20. Faugère, Jean-Charles; El Din, Mohab Safey; Spaenlehauer, Pierre-Jean: Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology (2010)

1 2 3 next