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:  
A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities
Journal of Symbolic Computation - Tập 20 Số 5-6 - Trang 673-698 - 1995
Peter Paule, Markus Schorn
Computing Representations of a Lie Group via the Universal Enveloping Algebra
Journal of Symbolic Computation - Tập 26 - Trang 329-338 - 1998
Philip Feinsilver, René Schott
A Unified Approach to Linear and Nonlinear Normal Forms for Hamiltonian Systems
Journal of Symbolic Computation - Tập 27 - Trang 49-131 - 1999
R.C. CHURCHILL, M. KUMMER
On Holt's Algorithm
Journal of Symbolic Computation - Tập 15 - Trang 229-233 - 1993
Greg Butler, John J. Cannon
The resultant of an unmixed bivariate system
Journal of Symbolic Computation - Tập 36 - Trang 425-442 - 2003
Amit Khetan
On graphical quintuple systems
Journal of Symbolic Computation - Tập 13 - Trang 677-681 - 1992
Yeow Meng Chee
On the De Boer–Pellikaan method for computing minimum distance
Journal of Symbolic Computation - Tập 45 - Trang 965-974 - 2010
Ştefan O. Tohaˇneanu
Helical polynomial curves and double Pythagorean hodographs I. Quaternion and Hopf map representations
Journal of Symbolic Computation - Tập 44 - Trang 161-179 - 2009
Rida T. Farouki, Carlotta Giannelli, Alessandra Sestini
Constraint contextual rewriting
Journal of Symbolic Computation - Tập 36 - Trang 193-216 - 2003
Alessandro Armando, Silvio Ranise
Computing Subgroups by Exhibition in Finite Solvable Groups
Journal of Symbolic Computation - Tập 33 - Trang 129-143 - 2002
Bettina Eick
Tổng số: 1,315   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10