@incollection{Abramov-Barkatou/14, AUTHOR = {Abramov, Sergei A. and Barkatou, Moulay A.}, TITLE = {Computable infinite power series in the role of coefficients of linear differential systems}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {1-12}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_1}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Berghammer/14, AUTHOR = {Berghammer, Rudolf}, TITLE = {Relation algebra, {\sc RelView}, and plurality voting}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {13-27}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_2}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Boulier-Korporal-Lemaire-Perruquetti-Poteaux-Ushirobira/14, AUTHOR = {Boulier, Fran{\c{c}}ois and Korporal, Anja and Lemaire, Fran{\c{c}}ois and Perruquetti, Wilfrid and Poteaux, Adrien and Ushirobira, Rosane}, TITLE = {An algorithm for converting nonlinear differential equations to integral equations with an application to parameter estimation from noisy data}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {28-43}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_3}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Bradford-Chen-Davenport-England-Moreno_Maza-Wilson/14, AUTHOR = {Bradford, Russell and Chen, Changbo and Davenport, James H. and England, Matthew and Moreno Maza, Marc and Wilson, David}, TITLE = {Truth table invariant cylindrical algebraic decomposition by regular chains}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {44-58}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_4}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Caravantes-Fioravanti-Gonzalez-Vega-Necula/14, AUTHOR = {Caravantes, Jorge and Fioravanti, Mario and Gonzalez-Vega, Laureano and Necula, Ioana}, TITLE = {Computing the topology of an arrangement of implicit and parametric curves given by values}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {59-73}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_5}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Cheng-Jin/14, AUTHOR = {Cheng, Jin-San and Jin, Kai}, TITLE = {Finding a deterministic generic position for an algebraic space curve}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {74-84}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_6}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Costin-Toader/14, AUTHOR = {Costin, Iulia and Toader, Gheorghe}, TITLE = {Optimal estimations of Seiffert-type means by some special Gini means}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {85-98}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_7}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Drozdov-Shapeev/14, AUTHOR = {Drozdov, Grigoriy M. and Shapeev, Vasily P.}, TITLE = {CAS application to the construction of high-order difference schemes for solving poisson equation}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {99-110}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_8}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Grasegger-Lastra-Sendra-Winkler/14, AUTHOR = {Grasegger, Georg and Lastra, Alberto and Sendra, J. Rafael and Winkler, Franz}, TITLE = {On symbolic solutions of algebraic partial differential equations}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {111-120}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_9}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Grolet-Malbos-Thouverez/14, AUTHOR = {Grolet, Aurelien and Malbos, Philippe and Thouverez, Fabrice}, TITLE = {Eigenvalue method with symmetry and vibration analysis of cyclic structures}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {121-137}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_10}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Gusev-Chuluunbaatar-Vinitsky-Derbov-Gozdz-Hai-Rostovtsev/14, AUTHOR = {Gusev, Alexander A. and Chuluunbaatar, Ochbadrakh and Vinitsky, Sergue I. and Derbov, Vladimir L. and G{\'o}{\'z}d{\'z}, Andrzej and Hai, Luong Le and Rostovtsev, Vitaly A.}, TITLE = {Symbolic-numerical solution of boundary-value problems with self-adjoint second-order differential equation using the finite element method with interpolation hermite polynomials}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {138-154}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_11}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Gyurki-Klin/14, AUTHOR = {Gy{\"u}rki, {\v{S}}tefan and Klin, Mikhail}, TITLE = {Sporadic examples of directed strongly regular graphs obtained by computer algebra experimentation}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {155-170}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_12}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Haque-Mansouri-Moreno_Maza/14, AUTHOR = {Haque, Sardar Anisul and Mansouri, Farnam and Moreno Maza, Marc}, TITLE = {On the parallelization of subproduct tree techniques targeting many-core architectures}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {171-185}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_13}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Hashemi-Schweinfurter-Seiler/14, AUTHOR = {Hashemi, Amir and Schweinfurter, Michael and Seiler, Werner M.}, TITLE = {Deterministically computing reduction numbers of polynomial ideals}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {186-201}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_14}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Hauenstein-Pan-Szanto/14, AUTHOR = {Hauenstein, Jonathan D. and Pan, Victor Y. and Szanto, Agnes}, TITLE = {A note on global Newton iteration over Archimedean and non-Archimedean fields}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {202-217}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_15}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Irtegov-Titorenko/14, AUTHOR = {Irtegov, Valentin and Titorenko, Tatyana}, TITLE = {Invariant manifolds in the classic and generalized Goryachev-Chaplygin problem}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {218-229}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_16}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Janowicz-Orlowski/14, AUTHOR = {Janowicz, Maciej and Or{\l}owski, Arkadiusz}, TITLE = {Coherence and large-scale pattern formation in coupled logistic-map lattices via computer algebra systems}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {230-241}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_17}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Kitamoto/14, AUTHOR = {Kitamoto, Takuya}, TITLE = {On the computation of the determinant of a generalized Vandermonde matrix}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {242-255}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_18}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Korovin-Kosta-Sturm/14, AUTHOR = {Korovin, Konstantin and Ko{\v{s}}ta, Marek and Sturm, Thomas}, TITLE = {Towards conflict-driven learning for virtual substitution}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {256-270}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_19}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Kozera-Noakes-Szmielew/14, AUTHOR = {Kozera, Ryszard and Noakes, Lyle and Szmielew, Piotr}, TITLE = {Sharpness in trajectory estimation for planar four-points piecewise-quadratic interpolation}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {271-285}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_20}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Kycia/14, AUTHOR = {Kycia, Rados{\l}aw Antoni}, TITLE = {Scheme for numerical investigation of movable singularities of the complex valued solutions of ordinary differential equations}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {286-301}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_21}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Muller-Regensburger/14, AUTHOR = {M{\"u}ller, Stefan and Regensburger, Georg}, TITLE = {Generalized mass-action systems and positive solutions of polynomial equations with real and symbolic exponents}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {302-323}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_22}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, NOTE = {Invited Talk}, } @incollection{Michels-Lyakhov-Gerdt-Sobottka-Weber/14, AUTHOR = {Michels, Dominik L. and Lyakhov, Dmitry A. and Gerdt, Vladimir P. and Sobottka, Gerrit A. and Weber, Andreas G.}, TITLE = {Lie symmetry analysis for Cosserat Rods}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {324-334}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_23}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Pan/14, AUTHOR = {Pan, Victor Y.}, TITLE = {Real polynomial root-finding by means of matrix and polynomial iterations}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {335-349}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_24}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Paramonov/14, AUTHOR = {Paramonov, Sergey V.}, TITLE = {On testing uniqueness of analytic solutions of PDE with boundary conditions}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {350-356}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_25}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Plaskota/14, AUTHOR = {Plaskota, Leszek}, TITLE = {Continuous problems: Optimality, complexity, tractability}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {357-372}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_26}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, NOTE = {Invited Talk}, } @incollection{Prokopenya-Minglibayev-Beketauov/14, AUTHOR = {Prokopenya, Alexander N. and Minglibayev, Mukhtar Zh. and Beketauov, Baglan A.}, TITLE = {On integrability of evolutionary equations in the restricted three-body problem with variable masses}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {373-387}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_27}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Salem-El-Harake-Gemayel/14, AUTHOR = {Salem, Fatima K. Abu and El-Harake, Khalil and Gemayel, Karl}, TITLE = {Factoring sparse bivariate polynomials using the priority queue}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {388-402}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_28}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Sasaki-Inaba-Kako/14, AUTHOR = {Sasaki, Tateaki and Inaba, Daiju and Kako, Fujio}, TITLE = {Solving parametric sparse linear systems by local blocking}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {403-418}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_29}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Sevastyanov-Sevastyanov-Tyutyunnik/14, AUTHOR = {Sevastyanov, Leonid A. and Sevastyanov, Anton L. and Tyutyunnik, Anastasiya A.}, TITLE = {Analytical calculations in Maple to implement the method of adiabatic modes for modelling smoothly irregular integrated optical waveguide structures}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {419-431}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_30}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Shapeev-Vorozhtsov/14, AUTHOR = {Shapeev, Vasily P. and Vorozhtsov, Evgenii V.}, TITLE = {CAS application to the construction of the collocations and least residuals method for the solution of the Burgers and Korteweg-de Vries-Burgers equations}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {432-446}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_31}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Shibuta-Tajima/14, AUTHOR = {Shibuta, Takafumi and Tajima, Shinichi}, TITLE = {An algorithm for computing the truncated annihilating ideals for an algebraic local cohomology class}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {447-459}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_32}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Stefanescu/14, AUTHOR = {{\c{S}}tef{\v{a}}nescu, Doru}, TITLE = {Applications of the Newton index to the construction of irreducible polynomials}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {460-471}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_33}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Vinitsky-Gusev-Chuluunbaatar-Hai-Gozdz-Derbov-Krassovitskiy/14, AUTHOR = {Vinitsky, Sergue and Gusev, Alexander and Chuluunbaatar, Ochbadrakh and Hai, Luong Le and G{\'o}{\'z}d{\'z}, Andrzej and Derbov, Vladimir L. and Krassovitskiy, Pavel}, TITLE = {Symbolic-numeric algorithm for solving the problem of quantum tunneling of a diatomic molecule through repulsive barriers}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {472-490}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_34}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Ziv-Av/14, AUTHOR = {Ziv-Av, Matan}, TITLE = {Enumeration of Schur rings over small groups}, BOOKTITLE = {Proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC'2014 (Warsaw, Poland, September 8-12, 2014)}, SERIES = {LNCS}, VOLUME = {8660}, PAGES = {491-500}, YEAR = {2014}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-10515-4_35}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, }