Journal of Symbolic Computation
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
An extended polynomial GCD algorithm using Hankel matrices
Journal of Symbolic Computation - Tập 13 - Trang 25-39 - 1992
Decidability of bounded higher-order unification
Journal of Symbolic Computation - Tập 40 - Trang 905-954 - 2005
Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem
Journal of Symbolic Computation - Tập 44 - Trang 1690-1702 - 2009
New effective bounds on the dimension of a linear system in P 2
Journal of Symbolic Computation - Tập 42 - Trang 621-635 - 2007
A Localization Algorithm forD-modules
Journal of Symbolic Computation - Tập 29 - Trang 721-728 - 2000
Exact linear modeling using Ore algebras
Journal of Symbolic Computation - Tập 46 - Trang 1189-1204 - 2011
Tổng số: 1,316
- 1
- 2
- 3
- 4
- 5
- 6
- 10