類似資料

• Certification of the QR factor R, and of lattice basis reducedness
  著者:: Villard, Gilles
  出版事項: (2007)
• Submodule approach to creative telescoping
  著者:: van Hoeij, Mark
  出版事項: (2024)
• Hypergeometric Solutions of Linear Difference Systems
  著者:: Barkatou, Moulay, 等
  出版事項: (2024)
• Faster Algorithms for Structured Matrix Multiplication via Flip Graph Search
  著者:: Khoruzhii, Kirill, 等
  出版事項: (2025)
• Arboretum.hs: Symbolic manipulation for algebras of graphs
  著者:: Bronasco, Eugen, 等
  出版事項: (2026)