Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen [2]	Hilfe

Suche: Booktitle=Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)

Als [bib] [pdf] [ps] [dvi] [xml] herunterladen.

Computable infinite power series in the role of coefficients of linear differential systems
Sergei A. Abramov, Moulay A. Barkatou
Lecture Notes in Computer Science 8660, 2014, pp. 1-12
Relation algebra, RelView, and plurality voting
Rudolf Berghammer
Lecture Notes in Computer Science 8660, 2014, pp. 13-27
An algorithm for converting nonlinear differential equations to integral equations with an application to parameter estimation from noisy data
François Boulier, Anja Korporal, François Lemaire, Wilfrid Perruquetti, Adrien Poteaux, Rosane Ushirobira
Lecture Notes in Computer Science 8660, 2014, pp. 28-43
Truth table invariant cylindrical algebraic decomposition by regular chains
Russell Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David Wilson
Lecture Notes in Computer Science 8660, 2014, pp. 44-58
Computing the topology of an arrangement of implicit and parametric curves given by values
Jorge Caravantes, Mario Fioravanti, Laureano Gonzalez-Vega, Ioana Necula
Lecture Notes in Computer Science 8660, 2014, pp. 59-73
Finding a deterministic generic position for an algebraic space curve
Jin-San Cheng, Kai Jin
Lecture Notes in Computer Science 8660, 2014, pp. 74-84
Optimal estimations of Seiffert-type means by some special Gini means
Iulia Costin, Gheorghe Toader
Lecture Notes in Computer Science 8660, 2014, pp. 85-98
CAS application to the construction of high-order difference schemes for solving poisson equation
Grigoriy M. Drozdov, Vasily P. Shapeev
Lecture Notes in Computer Science 8660, 2014, pp. 99-110
On symbolic solutions of algebraic partial differential equations
Georg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler
Lecture Notes in Computer Science 8660, 2014, pp. 111-120
Eigenvalue method with symmetry and vibration analysis of cyclic structures
Aurelien Grolet, Philippe Malbos, Fabrice Thouverez
Lecture Notes in Computer Science 8660, 2014, pp. 121-137
Symbolic-numerical solution of boundary-value problems with self-adjoint second-order differential equation using the finite element method with interpolation hermite polynomials
Alexander A. Gusev, Ochbadrakh Chuluunbaatar, Sergue I. Vinitsky, Vladimir L. Derbov, Andrzej Góźdź, Luong Le Hai, Vitaly A. Rostovtsev
Lecture Notes in Computer Science 8660, 2014, pp. 138-154
Sporadic examples of directed strongly regular graphs obtained by computer algebra experimentation
S̑tefan Gyürki, Mikhail Klin
Lecture Notes in Computer Science 8660, 2014, pp. 155-170
On the parallelization of subproduct tree techniques targeting many-core architectures
Sardar Anisul Haque, Farnam Mansouri, Marc Moreno Maza
Lecture Notes in Computer Science 8660, 2014, pp. 171-185
Deterministically computing reduction numbers of polynomial ideals
Amir Hashemi, Michael Schweinfurter, Werner M. Seiler
Lecture Notes in Computer Science 8660, 2014, pp. 186-201
A note on global Newton iteration over Archimedean and non-Archimedean fields
Jonathan D. Hauenstein, Victor Y. Pan, Agnes Szanto
Lecture Notes in Computer Science 8660, 2014, pp. 202-217
Invariant manifolds in the classic and generalized Goryachev-Chaplygin problem
Valentin Irtegov, Tatyana Titorenko
Lecture Notes in Computer Science 8660, 2014, pp. 218-229
Coherence and large-scale pattern formation in coupled logistic-map lattices via computer algebra systems
Maciej Janowicz, Arkadiusz Orƚowski
Lecture Notes in Computer Science 8660, 2014, pp. 230-241
On the computation of the determinant of a generalized Vandermonde matrix
Takuya Kitamoto
Lecture Notes in Computer Science 8660, 2014, pp. 242-255
Towards conflict-driven learning for virtual substitution
Konstantin Korovin, Marek Kos̑ta, Thomas Sturm
Lecture Notes in Computer Science 8660, 2014, pp. 256-270
Sharpness in trajectory estimation for planar four-points piecewise-quadratic interpolation
Ryszard Kozera, Lyle Noakes, Piotr Szmielew
Lecture Notes in Computer Science 8660, 2014, pp. 271-285
Scheme for numerical investigation of movable singularities of the complex valued solutions of ordinary differential equations
Radosƚaw Antoni Kycia
Lecture Notes in Computer Science 8660, 2014, pp. 286-301
Generalized mass-action systems and positive solutions of polynomial equations with real and symbolic exponents
Stefan Müller, Georg Regensburger
Lecture Notes in Computer Science 8660, 2014, pp. 302-323
Lie symmetry analysis for Cosserat Rods
Dominik L. Michels, Dmitry A. Lyakhov, Vladimir P. Gerdt, Gerrit A. Sobottka, Andreas G. Weber
Lecture Notes in Computer Science 8660, 2014, pp. 324-334
Real polynomial root-finding by means of matrix and polynomial iterations
Victor Y. Pan
Lecture Notes in Computer Science 8660, 2014, pp. 335-349
On testing uniqueness of analytic solutions of PDE with boundary conditions
Sergey V. Paramonov
Lecture Notes in Computer Science 8660, 2014, pp. 350-356

Seiten 1 2 >