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
[1]
Hilfe
Suche: Series=LNCS AND Volume=3718
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Fast verification for respective eigenvalues of symmetric matrix
Shinya Miyajima
,
Takeshi Ogita
,
Shin'ichi Oishi
Lecture Notes in Computer Science
3718
, 2005, pp. 306-317
Towards more accurate separation bounds of empirical polynomials II
Kosaku Nagasaka
Lecture Notes in Computer Science
3718
, 2005, pp. 318-329
Compiler-enforced memory semantics in the SACLIB computer algebra library
David G. Richardson
,
Werner Krandick
Lecture Notes in Computer Science
3718
, 2005, pp. 330-343
Meta-Petro: An expert system for training undergraduates in metamorphic rocks recognition and classification using photomicrographies
E. Roanes-Lozano
,
R. García
,
E. Roanes-Macías
,
A. Aparicio
,
L.M. Laita
Lecture Notes in Computer Science
3718
, 2005, pp. 344-354
The diamond operator - Implementation of exact real algebraic numbers
Susanne Schmitt
Lecture Notes in Computer Science
3718
, 2005, pp. 355-366
Constructing the numerical method for Navier-Stokes equations using computer algebra system
Leonid Semin
,
Vasily Shapeev
Lecture Notes in Computer Science
3718
, 2005, pp. 367-378
Nonlinear waves in a rod
Alexander Shermenev
Lecture Notes in Computer Science
3718
, 2005, pp. 379-386
A symbolic-numeric method for solving boundary value problems of Kirchhoff rods
Liu Shu
,
Andreas Weber
Lecture Notes in Computer Science
3718
, 2005, pp. 387-398
Differential and difference equations for products of classical orthogonal polynomials
Sergey Slavyanov
,
Vladimir Papshev
Lecture Notes in Computer Science
3718
, 2005, pp. 399-404
Algorithm of local resolution of singularities of a space curve
Akhmadjon Soleev
Lecture Notes in Computer Science
3718
, 2005, pp. 405-415
Quantifier elimination for constraint logic programming
Thomas Sturm
Lecture Notes in Computer Science
3718
, 2005, pp. 416-430
Computation of full comprehensive Gröbner bases
Akira Suzuki
Lecture Notes in Computer Science
3718
, 2005, pp. 431-444
Recursive polynomial remainder sequence and the nested subresultants
Akira Terui
Lecture Notes in Computer Science
3718
, 2005, pp. 445-456
Interdependence between the Laurent-series and elliptic solutions of nonintegrable systems
S.Yu. Vernov
Lecture Notes in Computer Science
3718
, 2005, pp. 457-468
Solving linear differential problems with parameters
Volker Weispfenning
Lecture Notes in Computer Science
3718
, 2005, pp. 469-488
Approximate solution of the Dirichlet problem for elliptic PDE and its error estimate
Serguey Zemskov
Lecture Notes in Computer Science
3718
, 2005, pp. 489-500
Seiten
<
1
2