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

333篇 您的检索式：期刊名="Symbolic Comput"

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

	题名	作者	年代	出处	被引量
1	Compiler opti-mization camectness by temlxral logic 显示文摘	Lacey D' Jones ND Wyk EV Frederiksen CC	2004	Higher-Order and Symbolic Computation2004，17，3：	1
2	Specialization scenarios: A pragmatic approach to declaring program specialization 显示文摘	Anne-Francoise Le Meur Julia L Lawall Charles Consel	2004	Higher-order and Symbolic Computation2004，17，12：	1
3	Solution Formulas for Cubic Equations With- out or With Constraints 显示文摘	Zhao T Wang D Hong H	2011	Journal of Symbolic Computation2011，46，8：	1
4	Finding a minimal set of linear recurring relations capable of generating a given finite two-dimensional array 显示文摘	SAKATA S	1988	Journal of Symbolic Computation1988，5，3：	1
5	Eigenvalues of a real supersymrnetric tensor显示文摘	Qi L	2005	Symbolic Comput2005，40，：	1
6	Partial cylindrical algebraic deeom- position for quantifier dimination显示文摘	Collins G E Hong H	1991	Journal of Symbolic Computation1991，12，：	1
7	Visibility problems for polyhedral terrains显示文摘	Cole R Sharir M	1989	Journal of Symbolic Computation1989，7，2：	1
8	Coding with skew polynomial rings 显示文摘	Boueher D Ulmer F	2009	Journal of Symbolic Computation2009，44，12：	1
9	Some Examples of the Use of Distances as Coordinates for Euclidean Geometry显示文摘	Havel T	1991	Journal of Symbolic Computation1991，11，56：	1
10	The Magma algebra system I: the user language 显示文摘	Bosma W Cannon J Playoust C	1997	Journal of Symbolic Computation1997，24，：	1
11	Slicing Software for Model Construction显示文摘	John Hatcliff Matthew B. Dwyer Hongjun Zheng	2000	Higher - Order and Symbolic Computation2000，，4：	1
12	Framework for solving geometric constraint analytically显示文摘	Durand C Hoffmann C M Systematic A	2000	J Symbolic Compute2000，30，5：	1
13	Ananalysis of inhomogeneous signature-based Grobner basis computations 显示文摘	Eder C	2013	Journal of Symbolic Computation2013，59，：	1
14	Effective use of boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors 显示文摘	Velev M N Bryant R E	2003	Journal of Symbolic Computation2003，35，2：	1
15	The Octagon Abstract Domain显示文摘	MinéA	2006	Higher Order Symbolically Computing2006，19，1：	1
16	Symbolic constraints in constructive geometric constraint solving 显示文摘	Hoffmann CM Joan- Afinyo R	1997	Journal of Symbolic Computation1997，23，：	1
17	Constructing Specification morphisms显示文摘	Smith D R	1993	Journal of Symbolic Computation Special Issue on Automatic Programming1993，，：	1
18	The mu-basis Of a rational parametric surface显示文摘	Falai Chen David Cox Yang Liu	2005	Journal of Symbolic Computation2005，39，：	1
19	Coding with skew polynomial rings显示文摘	BOUCHER D ULMER F	2009	Journal of Symbolic Computation2009，44，：	1
20	Finding identities with the WZ method显示文摘	GESSEL I	1995	J of Symbolic Computation1995，70，：	1

返回顶部每页显示：

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

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

用户提示