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=2010
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Rational two-parameter families of spheres and rational offset surfaces
Martin Peternell
Journal Symbolic Computation
45
(1), 2010, pp. 1-18
Almost vanishing polynomials for sets of limited precision points
Claudia Fassino
Journal Symbolic Computation
45
(1), 2010, pp. 19-37
Computations in the ring of quaternionic polynomials
Alberto Damiano
,
Graziano Gentili
,
Daniele Struppa
Journal Symbolic Computation
45
(1), 2010, pp. 38-45
Local Bernstein-Sato ideals: Algorithm and examples
Rouchdi Bahloul
,
Toshinori Oaku
Journal Symbolic Computation
45
(1), 2010, pp. 46-59
A bound on the projective dimension of three cubics
Bahman Engheta
Journal Symbolic Computation
45
(1), 2010, pp. 60-73
On the relation between Context and Sequence Unification
Temur Kutsia
,
Jordi Levy
,
Mateu Villaret
Journal Symbolic Computation
45
(1), 2010, pp. 74-95
A verified
Common
Lisp
implementation of Buchberger's algorithm in ACL2
Inmaculada Medina-Bulo
,
Francisco Palomo-Lozano
,
José-Luis Ruiz-Reina
Journal Symbolic Computation
45
(1), 2010, pp. 96-123
Computing differential characteristic sets by change of ordering
François Boulier
,
François Lemaire
,
Marc Moreno Maza
Journal Symbolic Computation
45
(1), 2010, pp. 124-149
Decidable fragments of many-sorted logic
Aharon Abadi
,
Alexander Rabinovich
,
Mooly Sagiv
Journal Symbolic Computation
45
(2), 2010, pp. 153-172
Context unification with one context variable
Adrià Gascón
,
Guillem Godoy
,
Manfred Schmidt-Schauß
,
Ashish Tiwari
Journal Symbolic Computation
45
(2), 2010, pp. 173-193
Deciding inseparability and conservative extensions in the description logic
\cal EL
Carsten Lutz
,
Frank Wolter
Journal Symbolic Computation
45
(2), 2010, pp. 194-228
Theory decision by decomposition
Maria Paola Bonacina
,
Mnacho Echenim
Journal Symbolic Computation
45
(2), 2010, pp. 229-260
Combination of convex theories: Modularity, deduction completeness, and explanation
Duc-Khanh Tran
,
Christophe Ringeissen
,
Silvio Ranise
,
Hélène Kirchner
Journal Symbolic Computation
45
(2), 2010, pp. 261-286
Liouvillian solutions of linear difference-differential equations
Ruyong Feng
,
Michael F. Singer
,
Min Wu
Journal Symbolic Computation
45
(3), 2010, pp. 287-305
An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations
Ruyong Feng
,
Michael F. Singer
,
Min Wu
Journal Symbolic Computation
45
(3), 2010, pp. 306-323
Linear complete differential resultants and the implicitization of linear DPPEs
Sonia L. Rueda
,
J. Rafael Sendra
Journal Symbolic Computation
45
(3), 2010, pp. 324-341
Computing with algebraically closed fields
Allan K. Steel
Journal Symbolic Computation
45
(3), 2010, pp. 342-372
Computing automorphisms of semigroups
J. Araújo
,
P.V. Bünau
,
J.D. Mitchell
,
M. Neunhöffer
Journal Symbolic Computation
45
(3), 2010, pp. 373-392
Origami fold as algebraic graph rewriting
Tetsuo Ida
,
Hidekazu Takahashi
Journal Symbolic Computation
45
(4), 2010, pp. 393-413
Set-theoretic generators of rational space curves
Xiaohong Jia
,
Haohao Wang
,
Ron Goldman
Journal Symbolic Computation
45
(4), 2010, pp. 414-433
On the minimum of a positive polynomial over the standard simplex
Gabriela Jeronimo
,
Daniel Perrucci
Journal Symbolic Computation
45
(4), 2010, pp. 434-442
Subresultants of two Hermite-Laurent series
François Apéry
Journal Symbolic Computation
45
(4), 2010, pp. 443-461
Stratification associated with local
b
-functions
Kenta Nishiyama
,
Masayuki Noro
Journal Symbolic Computation
45
(4), 2010, pp. 462-480
Optimized parametrization of systems of incidences between rigid bodies
Meera Sitharam
,
Jörg Peters
,
Yong Zhou
Journal Symbolic Computation
45
(4), 2010, pp. 481-498
Programming with narrowing: A tutorial
Sergio Antoy
Journal Symbolic Computation
45
(5), 2010, pp. 501-522
Seiten 1
2
3
4
>