Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=J. Symbolic Computation AND YEAR=2005
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Algorithms for graded injective resolutions and local cohomology over semigroup rings
David Helm
,
Ezra Miller
Journal Symbolic Computation
39
(3-4), 2005, pp. 373-395
Bezoutian and quotient ring structure
B. Mourrain
Journal Symbolic Computation
39
(3-4), 2005, pp. 397-415
Tangent cone algorithm for homogenized differential operators
Michel Granger
,
Toshinori Oaku
,
Nobuki Takayama
Journal Symbolic Computation
39
(3-4), 2005, pp. 417-431
Effective analytic functions
Joris van der Hoeven
Journal Symbolic Computation
39
(3-4), 2005, pp. 433-449
Galois theory and algorithms for linear differential equations
Marius van der Put
Journal Symbolic Computation
39
(3-4), 2005, pp. 451-463
On constructive desingularization
Orlando Villamayor U.
Journal Symbolic Computation
39
(3-4), 2005, pp. 465-491
Algorithmic stratification of
RHom_D(M, N)
for regular algebraic
D
-modules on
C^n
]
Uli Walther
Journal Symbolic Computation
39
(3-4), 2005, pp. 493-499
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
Alessandro Armando
,
Clemens Ballarin
Journal Symbolic Computation
39
(5), 2005, pp. 503-521
The meaning of infinity in calculus and computer algebra systems
Michael Beeson
,
Freek Wiedijk
Journal Symbolic Computation
39
(5), 2005, pp. 523-538
Hidden verification for computational mathematics
Hanne Gottliebsen
,
Tom Kelsey
,
Ursula Martin
Journal Symbolic Computation
39
(5), 2005, pp. 539-567
Dealing with algebraic expressions over a field in Coq using Maple
David Delahaye
,
Micaela Mayero
Journal Symbolic Computation
39
(5), 2005, pp. 569-592
Automated conjecture making in number theory using HR, Otter and Maple
Simon Colton
Journal Symbolic Computation
39
(5), 2005, pp. 593-615
Factoring polynomials over global fields I
Michael E. Pohst
Journal Symbolic Computation
39
(6), 2005, pp. 617-630
Homotopy classification of maps between simply connected four manifolds
Xu-an Zhao
,
Hongzhu Gao
,
Xiaole Su
Journal Symbolic Computation
39
(6), 2005, pp. 631-642
Efficient algorithms for the gcd and cubic residuosity in the ring of Eisenstein integers
Ivan Bjerre Damgård
,
Gudmund Skovbjerg Frandsen
Journal Symbolic Computation
39
(6), 2005, pp. 643-652
Cyclic resultants
Christopher J. Hillar
Journal Symbolic Computation
39
(6), 2005, pp. 653-669
An algorithm for constructing representations of finite groups
Vahid Dabbaghian-Abdoly
Journal Symbolic Computation
39
(6), 2005, pp. 671-688
The
\mu
-basis and implicitization of a rational parametric surface
Falai Chen
,
David Cox
,
Yang Liu
Journal Symbolic Computation
39
(6), 2005, pp. 689-706
Suslin's algorithms for reduction of unimodular rows
Henri Lombardi
,
Ihsen Yengui
Journal Symbolic Computation
39
(6), 2005, pp. 707-717
Computation of the topology of real algebraic space curves
Juan Gerardo Alcázar
,
J. Rafael Sendra
Journal Symbolic Computation
39
(6), 2005, pp. 719-744
Seiten
<
1
2
3