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=2009
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Parametrizing Del Pezzo surfaces of degree 8 using Lie algebras
Willem A. de Graaf
,
Jana Pílniková
,
Josef Schicho
Journal Symbolic Computation
44
(1), 2009, pp. 1-14
State space analysis of Petri nets with relation-algebraic methods
Alexander Fronk
,
Britta Kehden
Journal Symbolic Computation
44
(1), 2009, pp. 15-47
d'Alembertian series solutions at ordinary points of LODE with polynomial coefficients
S.A. Abramov
,
M.A. Barkatou
Journal Symbolic Computation
44
(1), 2009, pp. 48-59
Shallow confluence of conditional term rewriting systems
Claus-Peter Wirth
Journal Symbolic Computation
44
(1), 2009, pp. 60-98
An improved EZ-GCD algorithm for multivariate polynomials
Kuniaki Tsuji
Journal Symbolic Computation
44
(1), 2009, pp. 99-110
The implicit equation of a canal surface
Marc Dohm
,
Severinas Zube
Journal Symbolic Computation
44
(2), 2009, pp. 111-130
Formal desingularization of surfaces: The Jung method revisited
Tobias Beck
Journal Symbolic Computation
44
(2), 2009, pp. 131-160
Helical polynomial curves and double Pythagorean hodographs - I. Quaternion and Hopf map representations
Rida T. Farouki
,
Carlotta Giannelli
,
Alessandra Sestini
Journal Symbolic Computation
44
(2), 2009, pp. 161-179
Parameterizing surfaces with certain special support functions, including offsets of quadrics and rationally supported surfaces
Martin Aigner
,
Bert Jüttler
,
Laureano Gonzalez-Vega
,
Josef Schicho
Journal Symbolic Computation
44
(2), 2009, pp. 180-191
On the simplification of the coefficients of a parametrization
Carlos Andradas
,
Tomas Recio
,
J. Rafael Sendra
,
Luis Felipe Tabera
Journal Symbolic Computation
44
(2), 2009, pp. 192-210
A complete minimal system of covariants for the binary form of degree 7
Leonid Bedratyuk
Journal Symbolic Computation
44
(2), 2009, pp. 211-220
Thirty yaears of Polynomial System Solving, and now?
Daniel Lazard
Journal Symbolic Computation
44
(3), 2009, pp. 222-231
A computational study of ruled surfaces
Laurent Busé
,
Mohamed Elkadi
,
André Galligo
Journal Symbolic Computation
44
(3), 2009, pp. 232-241
A characteristic set method for ordinary difference polynomial systems
Xiao-Shan Gao
,
Yong Luo
,
Chunming Yuan
Journal Symbolic Computation
44
(3), 2009, pp. 242-260
Élie Cartan's geometrical vision or how to avoid expression swell
Sylvain Neut
,
Michel Petitot
,
Raouf Dridi
Journal Symbolic Computation
44
(3), 2009, pp. 261-270
Hadamard matrices of Williamson type: A challenge for Computer Algebra
Ilias S. Kotsireas
,
Christos Koukouvinos
Journal Symbolic Computation
44
(3), 2009, pp. 271-279
Solving polynomial systems via symbolic-numeric reduction to geometric involutive form
Greg Reid
,
Lihong Zhi
Journal Symbolic Computation
44
(3), 2009, pp. 280-291
Subdivision methods for solving polynomial equations
B. Mourrain
,
J.P. Pavone
Journal Symbolic Computation
44
(3), 2009, pp. 292-306
Helical polynomial curves and double Pythagorean hodographs - II. Enumeration of low-degree curves
Rida T. Farouki
,
Carlotta Giannelli
,
Alessandra Sestini
Journal Symbolic Computation
44
(4), 2009, pp. 307-332
Algebraic transformation of differential characteristic decompositions from one ranking to another
Oleg Golubitsky
,
Marina Kondratieva
,
Alexey Ovchinnikov
Journal Symbolic Computation
44
(4), 2009, pp. 333-357
The Slice Algorithm for irreducible decomposition of monomial ideals
Bjarke Hammersholt Roune
Journal Symbolic Computation
44
(4), 2009, pp. 358-381
Differential invariants of a Lie group action: Syzygies on a generating set
Evelyne Hubert
Journal Symbolic Computation
44
(4), 2009, pp. 382-416
Erratum to ''Computing the characteristic numbers of the variety of nodal plane cubics in
\mathbb{P}^3
''
Josep M. Miret
,
Xavier Hernández
,
Sebastiè Xambó-Descamps
Journal Symbolic Computation
44
(4), 2009, pp. 417-418
On
d
-solvability for linear differential equations
An Khuong Nguyen
Journal Symbolic Computation
44
(5), 2009, pp. 421-434
Annihilating ideals for an algebraic local cohomology class
Shinichi Tajima
,
Yayoi Nakamura
Journal Symbolic Computation
44
(5), 2009, pp. 435-448
Seiten 1
2
3
4
5
>