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 Volume=46
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Computing inhomogeneous Gröbner bases
A.M. Bigatti
,
M. Caboara
,
L. Robbiano
Journal Symbolic Computation
46
(5), 2011, pp. 498-510
Some algebraic methods for solving multiobjective polynomial integer programs
Víctor Blanco
,
Justo Puerto
Journal Symbolic Computation
46
(5), 2011, pp. 511-533
Lattice Polly Cracker cryptosystems
Massimo Caboara
,
Fabrizio Caruso
,
Carlo Traverso
Journal Symbolic Computation
46
(5), 2011, pp. 534-549
A modified coefficient ideal for use with the strict transform
Anne Frühbis-Krüger
Journal Symbolic Computation
46
(5), 2011, pp. 550-560
The Gröbner basis of the ideal of vanishing polynomials
Gert-Martin Greuel
,
Frank Seelisch
,
Oliver Wienand
Journal Symbolic Computation
46
(5), 2011, pp. 561-570
Morley's theorem revisited: Origami construction and automated proof
Tetsuo Ida
,
Asem Kasem
,
Fadoua Ghourabi
,
Hidekazu Takahashi
Journal Symbolic Computation
46
(5), 2011, pp. 571-583
Model checking in the modal
\mu
-calculus and generic solutions
K. Kalorkoti
Journal Symbolic Computation
46
(5), 2011, pp. 584-594
Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases
Viktor Levandovskyy
,
Kristina Schindelar
Journal Symbolic Computation
46
(5), 2011, pp. 595-608
Non-Cohen-Macaulay unique factorization domains in small dimensions
Agustin Marcelo
,
Peter Schenzel
Journal Symbolic Computation
46
(5), 2011, pp. 609-621
Boolean Gröbner bases
Yosuke Sato
,
Shutaro Inoue
,
Akira Suzuki
,
Katsusuke Nabeshima
,
Ko Sakai
Journal Symbolic Computation
46
(5), 2011, pp. 622-632
Simple forms of higher-order linear differential systems and their applications in computing regular solutions
Moulay A. Barkatou
,
Thomas Cluzeau
,
Carole El Bacha
Journal Symbolic Computation
46
(6), 2011, pp. 633-658
On a new method for finding generalized equivalence transformations for differential equations involving arbitrary functions
Nicoleta Bîlȃ
Journal Symbolic Computation
46
(6), 2011, pp. 659-671
Parallelization of modular algorithms
Nazeran Idrees
,
Gerhard Pfister
,
Stefan Steidel
Journal Symbolic Computation
46
(6), 2011, pp. 672-684
fKenzo
: A user interface for computations in Algebraic Topology
J. Heras
,
V. Pascual
,
J. Rubio
,
F. Sergeraert
Journal Symbolic Computation
46
(6), 2011, pp. 685-698
A
q
-analogue of the Bailey-Borwein-Bradley identity
Kh. Hessami Pilehrood
,
T. Hessami Pilehrood
Journal Symbolic Computation
46
(6), 2011, pp. 699-711
Quartic curves and their bitangents
Daniel Plaumann
,
Bernd Sturmfels
,
Cynthia Vinzant
Journal Symbolic Computation
46
(6), 2011, pp. 712-733
High-precision numerical integration: Progress and challenges
D.H. Bailey
,
J.M. Borwein
Journal Symbolic Computation
46
(7), 2011, pp. 741-754
Tropical algebraic geometry in Maple: A preprocessing algorithm for finding common factors for multivariate polynomials with approximate coefficients
Danko Adrovic
,
Jan Verschelde
Journal Symbolic Computation
46
(7), 2011, pp. 755-772
Kaltofen's division-free determinant algorithm differentiated for matrix adjoint computation
Gilles Villard
Journal Symbolic Computation
46
(7), 2011, pp. 773-790
Chunky and equal-spaced polynomial multiplication
Daniel S. Roche
Journal Symbolic Computation
46
(7), 2011, pp. 791-806
Sparse polynomial division using a heap
Michael Monagan
,
Roman Pearce
Journal Symbolic Computation
46
(7), 2011, pp. 807-822
Simultaneous modular reduction and Kronecker substitution for small finite fields
Jean-Guillaume Dumas
,
Laurent Fousse
,
Bruno Salvy
Journal Symbolic Computation
46
(7), 2011, pp. 823-840
The modpn library: Bringing fast polynomial arithmetic into
Maple
Xin Li
,
Marc Moreno Maza
,
Raqeeb Rasheed
,
Éric Schost
Journal Symbolic Computation
46
(7), 2011, pp. 841-858
Ten commandments for good default expression simplification
David R. Stoutemyer
Journal Symbolic Computation
46
(7), 2011, pp. 859-887
Extended rate, more GFUN
Waldemar Hebisch
,
Martin Rubey
Journal Symbolic Computation
46
(8), 2011, pp. 889-903
Seiten
<
1
2
3
4
>