维普期刊资源整合服务平台（V6.5）

68篇 您的检索式：期刊名="J Symbolic Compute"

选中清除导出查看参考文献查看引证文献引用追踪共4页首页上一页第1页下一页末页 /4 跳转

	题名	作者	年代	出处	被引量
1	Framework for solving geometric constraint analytically显示文摘	Durand C Hoffmann C M Systematic A	2000	J Symbolic Compute2000，30，5：	1
2	Finding identities with the WZ method显示文摘	GESSEL I	1995	J of Symbolic Computation1995，70，：	1
3	Algebraic geometry of Bayesian networks 显示文摘	Garcia L D Stillman M Sturmfels B	2005	J of Symbolic Computation2005，39，34：	1
4	Matrix multiplication via arithmetic progressions显示文摘	Don C Siimuei W	1990	J of Symbolic Computation1990，9，3：	1
5	A mathematica version of Zeil- berger algorithm for proving binomial coefficient identities显示文摘	PAULE P SCHORN M	1995	J of Symbolic Computation1995，20，：	1
6	Eigenvalues of a real supersymmetric tensor显示文摘	QI L	2005	J of Symbolic Computation2005，40，：	1
7	Rank and eigenvalues of a supersymmetric tensor,the multivariate homogeneous polynomial and the algebraic hypersurface it defines显示文摘	QI L	2006	J of Symbolic Computation2006，41，：	1
8	A Mathematica version of Zeilberger's algorithm for proving binomial coefficient identities 显示文摘	PAULE Peter SCHORN M	1995	J of Symbolic Computation1995，20，：	1
9	Eigenvalues of a real supersymmetric tensor显示文摘	QI Liqun	2005	J Symbolic Computation2005，40，：	1
10	Transforming problems fromanalysis to algebra: a case study in linear boundary prob-lems显示文摘	Buchberger B Rosenkranz M	2012	J Symbolic Comput2012，47，6：	1
11	Solving and factoring bounda-ry problems for linear ordinary differential equations in dif-ferential algebra显示文摘	Rosenkranz M Regensburger G	2008	J Symbolic Comput2008，43，：	1
12	Localization and Primary Decomposition of Polynomial Ideals显示文摘	KAZUHIRO YOKOYAMA	1996	J Symbolic Comput1996，22，3：	1
13	A unified approach to linear and nonlinear normal forms for Hamiltonian systems 显示文摘	Churchill R C Kummer M	1999	J Symbolic Computation1999，27，1：	1
14	Estimations for the separation number of a polynomial system显示文摘	Dedieu J P	1997	J Symbolic Comput1997，24，：	1
15	Groebner Bases and Primary Decomposition of Modules显示文摘		1992	J Symbolic Comput1992，14，5：	1
16	PSATO:a distributed propositional prover and its application to quasigroup problem显示文摘	Zhang H Bonacina M P Hasang J	1996	J of Symbolic Computation1996，21，：	1
17	Symbolic Derivation of Runge-Kutta Methods显示文摘	Sefroniou M	1994	J Symbolic Computation1994，18，3：	1
18	The MAGMA algebra system I: The user language显示文摘	Bosma W Cannon C Playoust C	1997	J Symbolic Comput1997，24，：	1
19	Al- gorithms for exponentiation in finite fields 显示文摘	Gao S H Gathen J von zur Panario D	2000	J Symbol Comput2000，29，：	1
20	The Computation and Application of the Generalized Inverse via Maple显示文摘	JONES J KARAMPETAKIS N P PUGH A C	1998	J Symbolic Computation1998，25，：	1

返回顶部每页显示：

共4页首页上一页第1页下一页末页 /4 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示