default search action
Journal of Symbolic Computation, Volume 42, 2007
Volume 42, Numbers 1-2, January-February 2007
- Alicia Dickenstein
, Patrizia Gianni, Tomás Recio
Foreword from the Editors. 1-3 - Carlos Beltrán
On the probability distribution of singular varieties of given corank. 4-29 - Ivo W. M. Bleylevens
Efficiency improvement in an nD systems approach to polynomial optimization. 30-53 - Tristram Bogart, Anders Nedergaard Jensen, David E Speyer, Bernd Sturmfels, Rekha R. Thomas:
Computing tropical varieties. 54-73 - Massimo Caboara, Sara Faridi
Simplicial cycles and the computation of simplicial trees. 74-88 - Antonio Campillo
Equisingular calculations for plane curve singularities. 89-114 - Raymond Curran, Eduardo Cattani:
Restriction of A-discriminants and dual defect toric varieties. 115-135 - André Galligo, Michael Eugene Stillman:
On the geometry of parametrized bicubic surfaces. 136-158 - Giulio Genovese:
Improving the algorithms of Berlekamp and Niederreiter for factoring polynomials over finite fields. 159-177 - Abramo Hefez, Marcelo Escudeiro Hernandes:
Standard bases for local rings of branches and their modules of differentials. 178-191 - Xavier Hernández, Josep M. Miret
Computing the characteristic numbers of the variety of nodal plane cubics in P3. 192-202 - Evelyne Hubert, Irina A. Kogan
Rational invariants of a group action. Construction and rewriting. 203-217 - Gabriela Jeronimo, Juan Sabia:
Computing multihomogeneous resultants using straight-line programs. 218-235 - Joris van der Hoeven
Around the numeric-symbolic computation of differential Galois groups. 236-264
Volume 42, Number 3, March 2007
- Michael P. Barnett:
Mathscape and molecular integrals. 265-289 - Carlos D'Andrea
An elementary proof of Sylvester's double sums for subresultants. 290-297 - Komei Fukuda, Anders Nedergaard Jensen, Niels Lauritzen, Robert Thomas:
The generic Gröbner walk. 298-312 - Eivind Eriksen, Trond Stølen Gustavsen:
Computing obstructions for existence of connections on modules. 313-323 - Andreas Dolzmann, Volker Weispfenning:
Multiple object semilinear motion planning. 324-337 - Juan Gerardo Alcázar
Local shape of offsets to algebraic curves. 338-351 - Temur Kutsia
Solving equations with sequence variables and sequence functions. 352-388
Volume 42, Number 4, April 2007
- Joris van der Hoeven
Efficient accelero-summation of holonomic functions. 389-428 - Hitoshi Koshita:
An example of relations on the Ext-quiver for the Suzuki group Sz(8) in characteristic 2. 429-442 - Enric Rodríguez-Carbonell
Generating all polynomial invariants in simple loops. 443-476 - Grégoire Lecerf:
Improved dense multivariate polynomial factorization algorithms. 477-494
Volume 42, Number 5, May 2007
- Quoc-Nam Tran:
Special issue on Applications of Computer Algebra. 495-496 - Jennifer R. Daniel, Aloysius G. Helminck
Computing the fine structure of real reductive symmetric spaces. 497-510 - Helena A. Verrill, David Joyner:
Computing with toric varieties. 511-532 - Quoc-Nam Tran:
A new class of term orders for elimination. 533-548 - Alain Bretto
G-graphs: A new representation of groups. 549-560 - Alexander B. Levin:
Gröbner bases with respect to several orderings and multivariable dimension polynomials. 561-578
Volume 42, Number 6, June 2007
- Jana Pílniková:
Trivializing a central simple algebra of degree 4 over the rational numbers. 579-586 - Ioana Dumitriu, Alan Edelman, Gene Shuman:
MOPS: Multivariate orthogonal polynomials (symbolically). 587-620 - Marcin Dumnicki, Witold Jarnicki:
New effective bounds on the dimension of a linear system in P2. 621-635 - Daniel Lazard, Fabrice Rouillier:
Solving parametric polynomial systems. 636-667 - Michael C. Slattery:
Generation of groups of square-free order. 668-677 - Juan Gerardo Alcázar
A delineability-based method for computing critical sets of algebraic surfaces. 678-691
Volume 42, Number 7, July 2007
- Marc Moreno Maza, Gregory J. Reid, Robin Scott, Wenyuan Wu:
On approximate triangular decompositions in dimension zero. 693-716 - Hoon Hong, John Perry:
Are Buchberger's criteria necessary for the chain condition? 717-732 - Howard Cheng, George Labahn:
Output-sensitive modular algorithms for polynomial matrix normal forms. 733-750 - Chi-Ming Lam, Vladimir Shpilrain, Jie-Tai Yu:
Recognizing and parametrizing curves isomorphic to a line. 751-756 - Manuel Bronstein:
Structure theorems for parallel integration. 757-769
Volume 42, Number 8, August 2007
- Joris van der Hoeven:
Generalized power series solutions to linear partial differential equations. 771-791 - Joris van der Hoeven:
New algorithms for relaxed multiplication. 792-802 - Michael Wibmer:
Gröbner bases for families of affine or projective schemes. 803-834 - Sonia Pérez-Díaz
Computation of the singularities of parametric plane curves. 835-857
Volume 42, Number 9, September 2007
- Peter Schauenburg
A Gröbner-based treatment of elimination theory for affine varieties. 859-870 - Gábor Péter Nagy
The Moufang loops of order 64 and 81. 871-883 - Philippe Saux Picart, Cyril Brunie:
Symmetric subresultants and applications. 884-919 - Christopher J. Sangwin
Linear syntax for communicating elementary mathematics. 920-934
Volume 42, Number 10, October 2007
- Leonid Bedratyuk
On complete system of invariants for the binary form of degree 7. 935-947 - Manuel Kauers:
Summation algorithms for Stirling number identities. 948-970 - Isabel Bermejo, Ignacio García-Marco
An algorithm for checking whether the toric ideal of an affine monomial curve is a complete intersection. 971-991 - Conrad Creel, Sam Nelson:
Symbolic computation with finite biquandles. 992-1000
Volume 42, Numbers 11-12, November - December 2007
- Viktor Levandovskyy:
Foreword from the Editor. 1001-1002 - Franz Pauer:
Gröbner bases with coefficients in rings. 1003-1011 - Edward L. Green, Øyvind Solberg:
An algorithmic approach to resolutions. 1012-1033 - Gareth Alun Evans, Christopher D. Wensley:
Complete involutive rewriting systems. 1034-1051 - José Manuel Casas, Manuel A. Insua, Manuel Ladra:
Poincaré-Birkhoff-Witt theorem for Leibniz n. 1052-1065 - Peter J. Cameron
Graphs of relations and Hilbert series. 1066-1078 - Tatiana Gateva-Ivanova, Shahn Majid:
Set-theoretic solutions of the Yang-Baxter equation, graphs and computations. 1079-1112 - Alban Quadrat, Daniel Robertz:
Computation of bases of free modules over the Weyl algebras. 1113-1141 - Rafael Falcón, Jorge Martín-Morales:
Gröbner bases and the number of Latin squares related to autotopisms of order <= 7. 1142-1154
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.
last updated on 2024-11-18 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: