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=47
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients
Erich L. Kaltofen
,
Bin Li
,
Zhengfeng Yang
,
Lihong Zhi
Journal Symbolic Computation
47
(1), 2012, pp. 1-15
Deciding polynomial-transcendental problems
Scott McCallum
,
Volker Weispfenning
Journal Symbolic Computation
47
(1), 2012, pp. 16-31
Good reduction of Puiseux series and applications
Adrien Poteaux
,
Marc Rybowicz
Journal Symbolic Computation
47
(1), 2012, pp. 32-63
The Product Replacement Prospector
Henrik Bäärnhielm
,
C.R. Leedham-Green
Journal Symbolic Computation
47
(1), 2012, pp. 64-75
New solutions for ordinary differential equations
George Bluman
,
Raouf Dridi
Journal Symbolic Computation
47
(1), 2012, pp. 76-88
An extension of Kedlaya's algorithm for hyperelliptic curves
Michael C. Harrison
Journal Symbolic Computation
47
(1), 2012, pp. 89-101
On the computation of matrices of traces and radicals of ideals
Itnuit Janovitz-Freireich
,
Bernard Mourrain
,
Lajos Rónyai
,
Ágnes Szántó
Journal Symbolic Computation
47
(1), 2012, pp. 102-122
Macsyma: A personal history
Joel Moses
Journal Symbolic Computation
47
(2), 2012, pp. 123-130
Complete subdivision algorithms, II: Isotopic meshing of singular algebraic curves
Michael Burr
,
Sung Woo Choi
,
Ben Galehouse
,
Chee K. Yap
Journal Symbolic Computation
47
(2), 2012, pp. 131-152
SqFreeEVAL: An (almost) optimal real-root isolation algorithm
Michael A. Burr
,
Felix Krahmer
Journal Symbolic Computation
47
(2), 2012, pp. 153-166
Discriminants and nonnegative polynomials
Jiawang Nie
Journal Symbolic Computation
47
(2), 2012, pp. 167-191
A reduced form for linear differential systems and its application to integrability of Hamiltonian systems
Ainhoa Aparicio-Monforte
,
Jacques-Arthur Weil
Journal Symbolic Computation
47
(2), 2012, pp. 192-213
A complete classification of quintic space curves with rational rotation-minimizing frames
Rida T. Farouki
,
Takis Sakkalis
Journal Symbolic Computation
47
(2), 2012, pp. 214-226
Determining singular solutions of polynomial systems via symbolic-numeric reduction to geometric involutive forms
Xiaoli Wu
,
Lihong Zhi
Journal Symbolic Computation
47
(3), 2012, pp. 227-238
A worst-case bound for topology computation of algebraic curves
Michael Kerber
,
Michael Sagraloff
Journal Symbolic Computation
47
(3), 2012, pp. 239-258
Finding regular insertion encodings for permutation classes
Vincent Vatter
Journal Symbolic Computation
47
(3), 2012, pp. 259-265
The geometry of flex tangents to a cubic curve and its parameterizations
Jean-Marc Couveignes
,
Jean-Gabriel Kammerer
Journal Symbolic Computation
47
(3), 2012, pp. 266-281
Real root isolation for exp-log-arctan functions
Adam Strzeboński
Journal Symbolic Computation
47
(3), 2012, pp. 282-314
Invariants for the computation of intransitive and transitive Galois groups
Andreas-Stephan Elsenhans
Journal Symbolic Computation
47
(3), 2012, pp. 315-326
Local shape of generalized offsets to algebraic curves
Juan G. Alcazar
Journal Symbolic Computation
47
(3), 2012, pp. 327-341
Algorithms for Del Pezzo surfaces of degree 5 (construction, parametrization)
Jon González-Sánchez
,
Michael Harrison
,
Irene Polo-Blanco
,
Josef Schicho
Journal Symbolic Computation
47
(3), 2012, pp. 342-353
On the modular inversion hidden number problem
San Ling
,
Igor E. Shparlinski
,
Ron Steinfeld
,
Huaxiong Wang
Journal Symbolic Computation
47
(4), 2012, pp. 358-367
Genus 2 point counting over prime fields
Pierrick Gaudry
,
Éric Schost
Journal Symbolic Computation
47
(4), 2012, pp. 368-400
Non-linear polynomial selection for the number field sieve
Thomas Prest
,
Paul Zimmermann
Journal Symbolic Computation
47
(4), 2012, pp. 401-409
Approximate GCD of several univariate polynomials with small degree perturbations
Mohamed Elkadi
,
André Galligo
,
Thang Luu Ba
Journal Symbolic Computation
47
(4), 2012, pp. 410-421
Seiten 1
2
3
4
>