Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

共收录本刊相关文章索引2143条

Exact linear modeling using Ore algebras [0.03%]

Viktor Levandovskyy; Eva Zerz; Kristina Schindelar Viktor Levandovskyy; Eva Zerz; Kristina Schindelar

Journal of symbolic computation. 2011;46(11):1189-1204. DOI:10.1016/j.jsc.2011.08.001 2011

Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients [0.03%]

Erich L. Kaltofen; Bin Li; Zhengfeng Yang; Lihong Zhi Erich L. Kaltofen; Bin Li; Zhengfeng Yang; Lihong Zhi

Journal of symbolic computation. 2012;47(1):1-15. DOI:10.1016/j.jsc.2011.08.002 2012

Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences [0.03%]

S.A. Abramov; M.A. Barkatou; M. van Hoeij; M. Petkovšek S.A. Abramov; M.A. Barkatou; M. van Hoeij; M. Petkovšek

Journal of symbolic computation. 2011;46(11):1205-1228. DOI:10.1016/j.jsc.2011.08.003 2011

Deciding polynomial-transcendental problems [0.03%]

Scott McCallum; Volker Weispfenning Scott McCallum; Volker Weispfenning

Journal of symbolic computation. 2012;47(1):16-31. DOI:10.1016/j.jsc.2011.08.004 2012

Embedded desingularization of toric varieties [0.03%]

Rocío Blanco; Santiago Encinas Rocío Blanco; Santiago Encinas

Journal of symbolic computation. 2011;46(11):1229-1241. DOI:10.1016/j.jsc.2011.08.005 2011

Detecting lacunary perfect powers and computing their roots [0.03%]

Mark Giesbrecht; Daniel S. Roche Mark Giesbrecht; Daniel S. Roche

Journal of symbolic computation. 2011;46(11):1242-1259. DOI:10.1016/j.jsc.2011.08.006 2011

Computing infeasibility certificates for combinatorial problems through Hilbert’s Nullstellensatz [0.03%]

Jesús A. De Loera; Jon Lee; Peter N. Malkin; Susan Margulies Jesús A. De Loera; Jon Lee; Peter N. Malkin; Susan Margulies

Journal of symbolic computation. 2011;46(11):1260-1283. DOI:10.1016/j.jsc.2011.08.007 2011

Good reduction of Puiseux series and applications [0.03%]

Adrien Poteaux; Marc Rybowicz Adrien Poteaux; Marc Rybowicz

Journal of symbolic computation. 2012;47(1):32-63. DOI:10.1016/j.jsc.2011.08.008 2012

Cylindrical decomposition for systems transcendental in the first variable [0.03%]

Adam Strzeboński Adam Strzeboński

Journal of symbolic computation. 2011;46(11):1284-1290. DOI:10.1016/j.jsc.2011.08.009 2011

When does equal ? [0.03%]

François Lemaire; Marc Moreno Maza; Wei Pan; Yuzhen Xie François Lemaire; Marc Moreno Maza; Wei Pan; Yuzhen Xie

Journal of symbolic computation. 2011;46(12):1291-1305. DOI:10.1016/j.jsc.2011.08.010 2011