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=2012
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the relation between the MXL family of algorithms and Gröbner basis algorithms
Martin R. Albrecht
,
Carlos Cid
,
Jean-Charles Faugère
,
Ludovic Perret
Journal Symbolic Computation
47
(8), 2012, pp. 926-941
Sylvester's double sums: An inductive proof of the general case
Teresa Krick
,
Agnes Szanto
Journal Symbolic Computation
47
(8), 2012, pp. 942-953
The Karatsuba integer middle product
David Harvey
Journal Symbolic Computation
47
(8), 2012, pp. 954-967
Trading order for degree in creative telescoping
Shaoshi Chen
,
Manuel Kauers
Journal Symbolic Computation
47
(8), 2012, pp. 968-995
An algorithm for computing compatibly Frobenius split subvarieties
Mordechai Katzman
,
Karl Schwede
Journal Symbolic Computation
47
(8), 2012, pp. 996-1008
First-order theorem proving: Foreword
Nicolas Peltier
,
Viorica Sofronie-Stokkermans
Journal Symbolic Computation
47
(9), 2012, pp. 1009-1010
Model evolution with equality - Revised and implemented
Peter Baumgartner
,
Björn Pelzer
,
Cesare Tinelli
Journal Symbolic Computation
47
(9), 2012, pp. 1011-1045
Incremental variable splitting
Christian Mahesh Hansen
,
Roger Antonsen
,
Martin Giese
,
Arild Waaler
Journal Symbolic Computation
47
(9), 2012, pp. 1046-1065
On the verification of security-aware E-services
Silvio Ranise
Journal Symbolic Computation
47
(9), 2012, pp. 1066-1088
Projection and scope-determined circumscription
Christoph Wernhard
Journal Symbolic Computation
47
(9), 2012, pp. 1089-1108
\lim+\delta^+
, and Non-Permutability of
\beta
-steps
Claus-Peter Wirth
Journal Symbolic Computation
47
(9), 2012, pp. 1109-1135
Symbolic computation and the cyclicity problem for singularities
Douglas S. Shafer
Journal Symbolic Computation
47
(10), 2012, pp. 1140-1153
Discussion on polynomials having polynomial iterative roots
Zhiheng Yu
,
Lu Yang
,
Weinian Zhang
Journal Symbolic Computation
47
(10), 2012, pp. 1154-1162
Isochronicity and normal forms of polynomial systems of ODEs
Maoan Han
,
Valery G. Romanovski
Journal Symbolic Computation
47
(10), 2012, pp. 1163-1174
Links between two semisymmetric graphs on 112 vertices via association schemes
Mikhail Klin
,
Josef Lauri
,
Matan Ziv-Av
Journal Symbolic Computation
47
(10), 2012, pp. 1175-1191
Serre's reduction of linear partial differential systems with holonomic adjoints
Thomas Cluzeau
,
Alban Quadrat
Journal Symbolic Computation
47
(10), 2012, pp. 1192-1213
Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases
Viktor Levandovskyy
,
Kristina Schindelar
Journal Symbolic Computation
47
(10), 2012, pp. 1214-1232
Algorithmic Thomas decomposition of algebraic and differential systems
Thomas Bächler
,
Vladimir Gerdt
,
Markus Lange-Hegermann
,
Daniel Robertz
Journal Symbolic Computation
47
(10), 2012, pp. 1233-1266
A symbolic summation approach to Feynman integral calculus
Johannes Blümlein
,
Sebastian Klein
,
Carsten Schneider
,
Flavia Stan
Journal Symbolic Computation
47
(10), 2012, pp. 1267-1289
Using Gröbner bases for finding the logarithmic part of the integral of transcendental functions
Clemens G. Raab
Journal Symbolic Computation
47
(10), 2012, pp. 1290-1296
Computing Gröbner bases of pure binomial ideals via submodules of
\mathbb Z^n
Giandomenico Boffi
,
Alessandro Logar
Journal Symbolic Computation
47
(10), 2012, pp. 1297-1308
Computational homology of
n
-types
Graham Ellis
,
Le Van Luyen
Journal Symbolic Computation
47
(11), 2012, pp. 1309-1317
Single-factor lifting and factorization of polynomials over local fields
Jordi Guàrdia
,
Enric Nart
,
Sebastian Pauli
Journal Symbolic Computation
47
(11), 2012, pp. 1318-1346
Representations of
q
-orthogonal polynomials
M. Foupouagnigni
,
W. Koepf
,
D.D. Tcheutia
,
P. Njionou Sadjang
Journal Symbolic Computation
47
(11), 2012, pp. 1347-1371
On the computing time of the continued fractions method
George E. Collins
,
Werner Krandick
Journal Symbolic Computation
47
(11), 2012, pp. 1372-1412
Seiten
<
1
2
3
4
>