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:  
Matrices in Elimination Theory
Journal of Symbolic Computation - Tập 28 Số 1-2 - Trang 3-44 - 1999
An extended polynomial GCD algorithm using Hankel matrices
Journal of Symbolic Computation - Tập 13 - Trang 25-39 - 1992
J.Rafael Sendra, Juan Llovet
Decidability of bounded higher-order unification
Journal of Symbolic Computation - Tập 40 - Trang 905-954 - 2005
Manfred Schmidt-Schauß, Klaus U. Schulz
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
Pierrick Gaudry
Sparse FGLM algorithms
Journal of Symbolic Computation - Tập 80 - Trang 538-569 - 2017
Jean-Charles Faugère, Chenqi Mou
New effective bounds on the dimension of a linear system in P2
Journal of Symbolic Computation - Tập 42 - Trang 621-635 - 2007
Marcin Dumnicki, Witold Jarnicki
MultiPolynomial Resultant Algorithms
Journal of Symbolic Computation - Tập 15 - Trang 99-122 - 1993
Dinesh Manocha, John F. Canny
A Localization Algorithm forD-modules
Journal of Symbolic Computation - Tập 29 - Trang 721-728 - 2000
Toshinori Oaku, Nobuki Takayama, Uli Walther
On constructive desingularization
Journal of Symbolic Computation - Tập 39 - Trang 465-491 - 2005
Orlando Villamayor U.
Exact linear modeling using Ore algebras
Journal of Symbolic Computation - Tập 46 - Trang 1189-1204 - 2011
Viktor Levandovskyy, Eva Zerz, Kristina Schindelar
Tổng số: 1,316   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10