![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Journal of Symbolic Computation, Volume 41, 2006
Volume 41, Number 1, January 2006
- Alin Bostan, Philippe Flajolet, Bruno Salvy
, Éric Schost:
Fast computation of special resultants. 1-29 - Ibolya Szilágyi, Bert Jüttler
, Josef Schicho:
Local parametrization of cubic surfaces. 30-48 - Werner Krandick, Kurt Mehlhorn:
New bounds for the Descartes method. 49-66 - G. Belitskii, Ruvim Lipyanski:
The unification type of the Pythagorean equation in varieties of nilpotent rings. 67-79 - John W. Jones, David P. Roberts:
A database of local fields. 80-97 - Micah J. Leamer:
Gröbner finite path algebras. 98-111 - Giuseppa Carrá Ferro:
Ideals, bifiltered modules and bivariate Hilbert polynomials. 112-121 - Retraction notice to "Characterization of Pythagorean curves and Pythagoreanization using a rational transform". 122
Volume 41, Number 2, February 2006
- Serkan Hosten, Christopher Meek:
Preface. 123-124 - Ingileif B. Hallgrímsdóttir
, Bernd Sturmfels:
Resultants in genetic linkage analysis. 125-137 - Elizabeth S. Allman
, John A. Rhodes
:
Phylogenetic invariants for stationary base composition. 138-150 - Eric H. Kuo:
Viterbi sequences and polytopes. 151-163 - Fabio Rapallo
:
Markov bases and structural zeros. 164-172 - Jesús A. De Loera, Shmuel Onn
:
Markov bases of three-way tables are arbitrarily complicated. 173-181 - Persi Diaconis, Nicholas Eriksson:
Markov bases for noncommutative Fourier analysis of ranked data. 182-195 - Aleksandra B. Slavkovic
, Seth Sullivant
:
The space of compatible full conditionals is a unimodular toric variety. 196-209 - Giovanni Pistone, Henry P. Wynn
:
Cumulant varieties. 210-221 - Nicholas Eriksson, Stephen E. Fienberg, Alessandro Rinaldo, Seth Sullivant
:
Polyhedral conditions for the nonexistence of the MLE for hierarchical log-linear models. 222-233 - Max-Louis G. Buot, Donald St. P. Richards:
Counting and locating the solutions of polynomial systems of maximum likelihood equations, I. 234-244 - Mathias Drton
:
Computing all roots of the likelihood equations of seemingly unrelated regressions. 245-254
Volume 41, Numbers 3-4, March-April 2006
- Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler:
Bruno Buchberger - A life devoted to symbolic computation. 255-258 - Deepak Kapur:
Preface on the contributed papers. 259-260 - Werner Heiß, Ulrich Oberst, Franz Pauer:
On inverse systems and squarefree decomposition of zero-dimensional polynomial ideals. 261-284 - Volker Weispfenning:
Comprehensive Gröbner bases and regular rings. 285-296 - Lothar Gerritzen:
Tree polynomials and non-associative Gröbner bases. 297-316 - F. J. Castro-Jiménez
, José María Ucha-Enríquez
:
Gröbner bases and logarithmic D-modules. 317-335 - Giandomenico Boffi, Fabio Rossi:
Lexicographic Gröbner bases for transportation problems of format r×3×3. 336-356 - Leonid A. Bokut, Andrei Vesnin
:
Gröbner-Shirshov bases for some braid groups. 357-371 - Thomas Beth, Jörn Müller-Quade, Rainer Steinwandt:
Computing restrictions of ideals in finitely generated k-algebras by means of Buchberger's algorithm. 372-380 - Matthias Baaz
, Alexander Leitsch:
Towards a clausal analysis of cut-elimination. 381-410 - Koji Nakagawa:
Logicographic symbols. 411-434 - Wolfgang Windsteiger:
An automated prover for Zermelo-Fraenkel set theory in Theorema. 435-470 - Bruno Buchberger:
Comments on the translation of my PhD thesis. 471-474 - Bruno Buchberger:
Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. 475-511
Volume 41, Number 5, May 2006
- Bernhard Beckermann, Howard Cheng, George Labahn:
Fraction-free row reduction of matrices of Ore polynomials. 513-543 - Martin Bright:
Brauer groups of diagonal quartic surfaces. 544-558 - Vincent Vatter
:
Finitely labeled generating trees and restricted permutations. 559-572 - Ronald Brown, Neil Ghani, Anne Heyworth, Christopher D. Wensley:
String rewriting for double coset systems. 573-590 - Manfred Minimair
:
Resultants of partially composed polynomials. 591-602 - S. C. Coutinho
, Luis Menasché Schechter:
Algebraic solutions of holomorphic foliations: An algorithmic approach. 603-618 - Giuseppa Carrá Ferro:
Erratum to "Ideals, bifiltered modules and bivariate Hilbert polynomials" [J. Symbolic Comput. 41(2006) 112-121]. 619
Volume 41, Number 6, June 2006
- Zhendong Wan:
An algorithm to solve integer linear systems exactly using numerical methods. 621-632 - Martin Bendersky, Richard C. Churchill:
Normal forms in a cyclically graded Lie algebra. 633-662 - Bálint Felszeghy, Balázs Ráth, Lajos Rónyai:
The lex game and some applications. 663-681 - Guillaume Chèze, André Galligo:
From an approximate to an exact absolute polynomial factorization. 682-696 - Masaaki Kanno, Malcolm C. Smith:
Validated numerical computation of the LInfinity-norm for linear dynamical systems. 697-707 - Bernhard Beckermann, George Labahn, Gilles Villard:
Normal forms for general polynomial matrices. 708-737
Volume 41, Number 7, July 2006
- Ruyong Feng, Xiao-Shan Gao:
A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs. 739-762 - Domenico Cantone
, Gianluca Cincotti, Giovanni Gallo
:
Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates. 763-789 - Attila Bérczes, Attila Pethö, Volker Ziegler:
Parameterized norm form equations with arithmetic progressions. 790-810 - Richard Henderson, Todd Macedo, Sam Nelson:
Symbolic computation with finite quandles. 811-817 - Alexey D. Myasnikov, Robert M. Haralick:
A hybrid search algorithm for the Whitehead Minimization problem. 818-834 - Vesselin Drensky, Roberto La Scala
:
Gröbner bases of ideals invariant under endomorphisms. 835-846
Volume 41, Number 8, August 2006
- William R. Unger:
Computing the character table of a finite group. 847-862 - Guangxing Zeng:
Determination of the tangents for a real plane algebraic curve. 863-886 - Saeed Rajaee
:
Non-associative Gröbner bases. 887-904 - Takashi Wada, Hidefumi Ohsugi:
Gröbner bases of Hilbert ideals of alternating groups. 905-908 - Jamil Baddoura:
Integration in finite terms with elementary functions and dilogarithms. 909-942
Volume 41, Number 9, September 2006
- Isaac A. García
, Jaume Giné
, Maite Grau
:
A necessary condition in the monodromy problem for analytic differential equations on the plane. 943-958 - Joris van der Hoeven:
Counterexamples to witness conjectures. 959-963 - Annegret Weng:
Computing generators of the tame kernel of a global function field. 964-979 - Clemens Heuberger:
All solutions to Thomas' family of Thue equations over imaginary quadratic number fields. 980-998 - Freyja Hreinsdóttir:
An improved term ordering for the ideal of commuting matrices. 999-1003 - Joris van der Hoeven, John Shackell:
Complexity bounds for zero-test algorithms. 1004-1020 - Adam W. Strzebonski
:
Cylindrical Algebraic Decomposition using validated numerics. 1021-1038 - Manuel Kauers:
SumCracker: A package for manipulating symbolic sums and related objects. 1039-1057
Volume 41, Number 10, October 2006
- Ana Romero
, Julio Rubio
, Francis Sergeraert
:
Computing spectral sequences. 1059-1079 - Arnold Schönhage:
Polynomial root separation examples. 1080-1090 - Oleg Golubitsky:
Gröbner fan and universal characteristic sets of prime differential ideals. 1091-1104 - Isabel Bermejo, Philippe Gimenez
, Marcel Morales:
Castelnuovo-Mumford regularity of projective monomial varieties of codimension two. 1105-1124 - Saugata Basu:
Computing the first few Betti numbers of semi-algebraic sets in single exponential time. 1125-1154
Volume 41, Number 11, November 2006
- Andreas Dolzmann, Thomas Sturm
:
Editorial. 1155-1156 - Christopher W. Brown, M'hammed El Kahoui
, Dominik Novotni, Andreas Weber
:
Algorithmic methods for investigating equilibria in epidemic modeling. 1157-1173 - Gema M. Diaz-Toca:
Galois theory, splitting fields and computer algebra. 1174-1186 - Mario Fioravanti
, Laureano González-Vega
, Ioana Necula
:
Computing the intersection of two ruled surfaces by using a new algebraic approach. 1187-1205 - Armin Größlinger, Martin Griebl, Christian Lengauer:
Quantifier elimination in automatic loop parallelization. 1206-1221 - Jaime Gutierrez
, David Sevilla
:
Computation of unirational fields. 1222-1244 - Montserrat Manubens, Antonio Montes:
Improving the DISPGB algorithm using the discriminant ideal. 1245-1263 - Birgit Reinert:
Gröbner bases in function rings - A guide for introducing reduction relations to algebraic structures. 1264-1294
Volume 41, Number 12, December 2006
- William N. Traves:
Differential operators on orbifolds. 1295-1308 - Liqun Qi
:
Rank and eigenvalues of a supersymmetric tensor, the multivariate homogeneous polynomial and the algebraic hypersurface it defines. 1309-1327 - Josep Àlvarez Montaner
, Anton Leykin:
Computing the support of local cohomology modules. 1328-1344 - Andrea Previtali:
Irreducible constituents of monomial representations. 1345-1359 - Thorsten Theobald
:
On the frontiers of polynomial computations in tropical geometry. 1360-1375
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.