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=2013
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Involutive bases algorithm incorporating
F_5
criterion
Vladimir P. Gerdt
,
Amir Hashemi
,
Benyamin M.-Alizadeh
Journal Symbolic Computation
59
, 2013, pp. 1-20
An analysis of inhomogeneous signature-based Gröbner basis computations
Christian Eder
Journal Symbolic Computation
59
, 2013, pp. 21-35
Conchoid surfaces of quadrics
David Gruber
,
Martin Peternell
Journal Symbolic Computation
59
, 2013, pp. 36-53
Guessing singular dependencies
Joris van der Hoeven
Journal Symbolic Computation
59
, 2013, pp. 54-80
The graph isomorphism problem and approximate categories
Harm Derksen
Journal Symbolic Computation
59
, 2013, pp. 81-112
Compositions and collisions at degree
p^2
Raoul Blankertz
,
Joachim von zur Gathen
,
Konstantin Ziegler
Journal Symbolic Computation
59
, 2013, pp. 113-145
Scalar-vector algorithm for the roots of quadratic quaternion polynomials, and the characterization of quintic rational rotation-minimizing frame curves
Rida T. Farouki
,
Petroula Dospra
,
Takis Sakkalis
Journal Symbolic Computation
58
, 2013, pp. 1-17
Certified rational parametric approximation of real algebraic space curves with local generic position method
Jin-San Cheng
,
Kai Jin
,
Daniel Lazard
Journal Symbolic Computation
58
, 2013, pp. 18-40
Discovering polynomial Lyapunov functions for continuous dynamical systems
Zhikun She
,
Haoyang Li
,
Bai Xue
,
Zhiming Zheng
,
Bican Xia
Journal Symbolic Computation
58
, 2013, pp. 41-63
Improved polynomial remainder sequences for Ore polynomials
Maximilian Jaroschek
Journal Symbolic Computation
58
, 2013, pp. 64-76
Factoring bivariate polynomials using adjoints
Martin Weimann
Journal Symbolic Computation
58
, 2013, pp. 77-98
Corrigendum to ``Rational rotation-minimizing frames on polynomial space curves of arbitrary degree''
Rida T. Farouki
,
Takis Sakkalis
Journal Symbolic Computation
58
, 2013, pp. 99-102
On decomposable semigroups and applications
J.I. García-García
,
M.A. Moreno-Frías
,
A. Vigneron-Tenorio
Journal Symbolic Computation
58
, 2013, pp. 103-116
Computational algebraic geometry
T. Shaska
Journal Symbolic Computation
57
, 2013, pp. 1-2
Bundles of rank 3 on curves of Clifford index 3
H. Lange
,
P.E. Newstead
Journal Symbolic Computation
57
, 2013, pp. 3-18
Foundations of invariant theory for the down operator
Gene Freudenburg
Journal Symbolic Computation
57
, 2013, pp. 19-47
Determinantal representations of hyperbolic plane curves: An elementary approach
Daniel Plaumann
,
Cynthia Vinzant
Journal Symbolic Computation
57
, 2013, pp. 48-60
On automorphisms groups of cyclic
p
-gonal Riemann surfaces
Gabriel Bartolini
,
Antonio F. Costa
,
Milagros Izquierdo
Journal Symbolic Computation
57
, 2013, pp. 61-69
Computing intersection numbers between Abelian varieties associated to subspaces of modular forms
Amod Agashe
,
Randy Heaton
Journal Symbolic Computation
57
, 2013, pp. 70-77
Group arithmetic in
C_{3,5}
curves
Roger Oyono
,
Nicolas Thériault
Journal Symbolic Computation
56
, 2013, pp. 1-26
Computing with real Lie algebras: Real forms, Cartan decompositions, and Cartan subalgebras
Heiko Dietrich
,
Paolo Faccin
,
Willem A. de Graaf
Journal Symbolic Computation
56
, 2013, pp. 27-45
Rank-profile revealing Gaussian elimination and the CUP matrix decomposition
Claude-Pierre Jeannerod
,
Clément Pernet
,
Arne Storjohann
Journal Symbolic Computation
56
, 2013, pp. 46-68
Ideal-specific elimination orders form a star-shaped region
Hartwig Bosse
,
Christine Gärtner
,
Oleg Golubitsky
Journal Symbolic Computation
56
, 2013, pp. 69-79
An algorithm to parametrize approximately space curves
Sonia L. Rueda
,
Juana Sendra
,
J. Rafael Sendra
Journal Symbolic Computation
56
, 2013, pp. 80-106
Curves testing boundedness of polynomials on subsets of the real plane
Maria Michalska
Journal Symbolic Computation
56
, 2013, pp. 107-124
Seiten 1
2
3
4
5
>