default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Symbolic Computation, Volume 39, 2005
Volume 39, Number 1, January 2005
- Alexander Hulpke
:
Constructing transitive permutation groups. 1-30 - John Abbott, Martin Kreuzer, Lorenzo Robbiano:
Computing zero-dimensional schemes. 31-49 - Hans-Christian Graf von Bothmer, Cord Erdenberger, Katharina Ludwig:
A new family of rational surfaces in P4. 51-60 - M'hammed El Kahoui:
Birational properties of the gap subresultant varieties. 61-71 - William A. Adkins, J. William Hoffman, Hao Hao Wang:
Equations of parametric surfaces with base points via syzygies. 73-101 - Mathias Schulze:
Good bases for tame polynomials. 103-126
Volume 39, Number 2, February 2005
- Ruth L. Auerbach:
The Gröbner fan and Gröbner walk for modules. 127-153 - William Y. C. Chen, Qing-Hu Hou, Yan-Ping Mu:
Applicability of the q-analogue of Zeilberger's algorithm. 155-170 - Markus Rosenkranz:
A new symbolic method for solving linear two-point boundary value problems on the level of operators. 171-199 - Mohamud Mohammed, Doron Zeilberger:
Sharp upper bounds for the orders of the recurrences output by the Zeilberger and q-Zeilberger algorithms. 201-207 - Maria Paola Bonacina:
Towards a unified model of search in theorem-proving: subgoal-reduction strategies. 209-255
Volume 39, Number 3-4, March-April 2005
- Arjeh M. Cohen, Gert-Martin Greuel, Marie-Françoise Roy:
Preface. 257-258 - Carlos D'Andrea, Gabriela Jeronimo:
Subresultants and generic monomial bases. 259-277 - Jan Draisma:
Representation theory on the open Bruhat cell. 279-303 - Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager:
Irreducible decomposition of polynomial ideals. 305-316 - Laurent Busé, André Galligo:
Semi-implicit representations of surfaces in , resultants and applications. 317-329 - Luis David García-Puente, Michael Eugene Stillman, Bernd Sturmfels:
Algebraic geometry of Bayesian networks. 331-355 - Harm Derksen, Emmanuel Jeandel, Pascal Koiran:
Quantum automata and algebraic groups. 357-371 - David Helm, Ezra Miller:
Algorithms for graded injective resolutions and local cohomology over semigroup rings. 373-395 - Bernard Mourrain:
Bezoutian and quotient ring structure. 397-415 - Michel Granger, Toshinori Oaku, Nobuki Takayama:
Tangent cone algorithm for homogenized differential operators. 417-431 - Joris van der Hoeven:
Effective analytic functions. 433-449 - Marius van der Put:
Galois theory and algorithms for linear differential equations. 451-463 - Orlando Villamayor U.:
On constructive desingularization. 465-491 - Uli Walther:
Algorithmic stratification of RhomD for regular algebraic (M,N)-modules on Cn. 493-499
Volume 39, Number 5, May 2005
- Olga Caprotti, Volker Sorge:
Integration of automated reasoning and computer algebra systems. 501-502 - Alessandro Armando, Clemens Ballarin:
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting. 503-521 - Michael Beeson, Freek Wiedijk:
The meaning of infinity in calculus and computer algebra systems. 523-538 - Hanne Gottliebsen, Tom W. Kelsey, Ursula Martin:
Hidden verification for computational mathematics. 539-567 - David Delahaye, Micaela Mayero:
Dealing with algebraic expressions over a field in Coq using Maple. 569-592 - Simon Colton:
Automated conjecture making in number theory using HR, Otter and Maple. 593-615
Volume 39, Number 6, June 2005
- Michael E. Pohst:
Factoring polynomials over global fields I. 617-630 - Xuan Zhao, Hongzhu Gao, Xiaole Su:
Homotopy classification of maps between simply connected four manifolds. 631-642 - Ivan Damgård, Gudmund Skovbjerg Frandsen:
Efficient algorithms for the gcd and cubic residuosity in the ring of Eisenstein integers. 643-652 - Christopher J. Hillar:
Cyclic resultants. 653-669 - Vahid Dabbaghian-Abdoly:
An algorithm for constructing representations of finite groups. 671-688 - Falai Chen, David A. Cox, Yang Liu:
The mu-basis and implicitization of a rational parametric surface. 689-706 - Henri Lombardi, Ihsen Yengui:
Suslin's algorithms for reduction of unimodular rows. 707-717 - Juan Gerardo Alcázar, J. Rafael Sendra:
Computation of the topology of real algebraic space curves. 719-744
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 2025-03-24 00:17 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:
