@incollection{Abramov-Barkatou-Khmelnov/09,
AUTHOR = {Abramov, S.A. and Barkatou, M.A. and Khmelnov, D.E.},
TITLE = {On $m$-interlacing solutions of linear difference equations},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {1-17},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Banshchikov/09,
AUTHOR = {Banshchikov, Andrey V.},
TITLE = {Parametric analysis of stability conditions for a satellite with gyrodines},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {18-28},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berghammer-Brassel/09,
AUTHOR = {Berghammer, Rudolf and Bra{\ss}el, Bernd},
TITLE = {Computing and visualizing closure objects using relation algebra and REL VIEW},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {29-44},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bruno-Edneral/09,
AUTHOR = {Bruno, Alexander and Edneral, Victor},
TITLE = {On integrability of a planar ODE system near a degenerate stationary point},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {45-53},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Burlakova/09,
AUTHOR = {Burlakova, Larisa A.},
TITLE = {Conditions of D-Stability of the fifth-order matrices},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {54-65},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ding-Schost/09,
AUTHOR = {Ding, Ling and Schost, {\'E}ric},
TITLE = {Code generation for polynomial multiplication},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {66-78},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Faugere/09a,
AUTHOR = {Faug{\`e}re, Jean-Charles},
TITLE = {Solving structured polynomial systems and applications to cryptology},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {79-80},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Flegontov-Marusina/09,
AUTHOR = {Flegontov, Alexander V. and Marusina, M.J.},
TITLE = {The comparison method of physical quantity dimensionalities},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {81-88},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cheng-Gao-Li/09a,
AUTHOR = {Cheng, Jin-San and Gao, Xiao-Shan and Li, Jia},
TITLE = {Ambient isotopic meshing for implicit algebraic surfaces with singularities},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {89-93},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gerdt-Blinkov/09,
AUTHOR = {Gerdt, Vladimir P. and Blinkov, Yuri A.},
TITLE = {Involution and difference schemes for the Navier-Stokes equations},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {94-105},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gerdt-Kragler-Prokopenya/09,
AUTHOR = {Gerdt, Vladimir P. and Kragler, Robert and Prokopenya, Alexander N.},
TITLE = {A Mathematica package for simulation of quantum computation},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {106-117},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Giesbrecht-Kim/09,
AUTHOR = {Giesbrecht, Mark and Kim, Myung Sub},
TITLE = {On computing the Hermite form of a matrix of differential polynomials},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {118-129},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Inoue/09,
AUTHOR = {Inoue, Shutaro},
TITLE = {On the computation of comprehensive Boolean Gr{\"o}bner bases},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {130-141},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Irtegov-Titorenko/09,
AUTHOR = {Irtegov, Valentin and Titorenko, Tatyana},
TITLE = {On invariant manifolds of dynamical systems in Lie algebras},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {142-154},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kerber/09,
AUTHOR = {Kerber, Michael},
TITLE = {On the complexity of reliable root approximation},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {155-167},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kitamoto/09,
AUTHOR = {Kitamoto, Takuya},
TITLE = {Algebraic approach to the computation of the defining polynomial of the algebraic Riccati equation},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {168-179},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kornyak/09,
AUTHOR = {Kornyak, Vladimir V.},
TITLE = {Discrete dynamics: Gauge invariance and quantization},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {180-194},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lasaruk-Sturm/09,
AUTHOR = {Lasaruk, Aless and Sturm, Thomas},
TITLE = {Effective quantifier elimination for Presburger arithmetic with infinity},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {195-212},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Malaschonok/09,
AUTHOR = {Malaschonok, Natasha},
TITLE = {An algorithm for symbolic solving of differential equations and estimation of accuracy},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {213-225},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Monagan-Vrbik/09,
AUTHOR = {Monagan, Michael and Vrbik, Paul},
TITLE = {Lazy and forgetful polynomial arithmetic and applications},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {226-239},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gogin-Myllari/09,
AUTHOR = {Gogin, Nikita and Myll{\"a}ri, Aleksandr},
TITLE = {On the average growth rate of random compositions of Fibonacci and Padovan recurrences},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {240-246},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Nagasaka/09,
AUTHOR = {Nagasaka, Kosaku},
TITLE = {A study on Gr{\"o}bner basis with inexact input},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {247-258},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Noro/09,
AUTHOR = {Noro, Masayuki},
TITLE = {Modular algorithms for computing a generating set of the syzygy module},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {259-268},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Rosenkranz-Regensburger-Tec-Buchberger/09,
AUTHOR = {Rosenkranz, Markus and Regensburger, Georg and Tec, Loredana and Buchberger, Bruno},
TITLE = {A symbolic framework for operations on linear boundary problems},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {269-283},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Saldarriaga_Vargas/09,
AUTHOR = {Saldarriaga Vargas, Clarita},
TITLE = {Mathematical model for Dengue epidemics with differential susceptibility and asymptomatic patients using computer algebra},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {284-298},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Shemyakova/09,
AUTHOR = {Shemyakova, Ekaterina},
TITLE = {Multiple factorizations of bivariate linear partial differential operators},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {299-309},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Suzuki/09,
AUTHOR = {Suzuki, Akira},
TITLE = {Computing Gr{\"o}bner bases within linear algebra},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {310-321},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Tsybulin-Nemtsev-Karasozen/09,
AUTHOR = {Tsybulin, Vyacheslav and Nemtsev, Andrew and Karas{\"o}zen, B{\"u}lent},
TITLE = {A mimetic finite-difference scheme for convection of multicomponent fluid in a porous medium},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {322-333},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Vinitsky-Chuluunbaatar-Gerdt-Gusev-Rostovtsev/09,
AUTHOR = {Vinitsky, S.I. and Chuluunbaatar, O. and Gerdt, V.P. and Gusev, A.A. and Rostovtsev, V.A.},
TITLE = {Symbolic-numerical algorithms for solving parabolic quantum well problem with hydrogen-like impurity},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {334-349},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Vorozhtsov/09,
AUTHOR = {Vorozhtsov, Evgenii V.},
TITLE = {New analytic solutions of the problem of gas flow in a casing with rotating disc},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {350-372},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Youssef-Baumann/09,
AUTHOR = {Youssef, M. and Baumann, G.},
TITLE = {Hybrid solution of two-point linear boundary value problems},
BOOKTITLE = {Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC'2009 (Kobe, Japan, September 13-17, 2009)},
SERIES = {LNCS},
VOLUME = {5743},
PAGES = {373-391},
YEAR = {2009},
EDITOR = {Gerdt, Vladimir P. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-642-04103-7_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}