@incollection{Abramov-Petkovsek/07,
AUTHOR = {Abramov, S.A. and Petkov{\v{s}}ek, M.},
TITLE = {Analytic solutions of linear difference equations, formal series, and bottom summation},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {1-10},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Akritas-Malaschonok/07,
AUTHOR = {Akritas, Alkiviadis G. and Malaschonok, Gennadi I.},
TITLE = {Computations in modules over commutative domains},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {11-23},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Akritas-Strzebonski-Vigklas/07,
AUTHOR = {Akritas, Alkiviadis A. and Strzebo{\'n}ski, Adam W. and Vigklas, Panagiotis S.},
TITLE = {Advances on the continued fractions method using better estimations of positive root bounds},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {24-30},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Backes-Wetzel/07,
AUTHOR = {Backes, Werner and Wetzel, Susanne},
TITLE = {An efficient LLL gram using buffered transformations},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {31-44},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berciano-Jimenez-Real/07,
AUTHOR = {Berciano, Ainhoa and Jim{\'e}nez, Mar{\'{i}}a Jos{\'e} and Real, Pedro},
TITLE = {On the computation of a $A _\infty$-maps},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {45-57},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berghammer-Schmidt/07,
AUTHOR = {Berghammer, Rudolf and Schmidt, Gunther},
TITLE = {Algebraic visualization of relations using RELVIEW},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {58-72},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Golubitsky-Lemaire-Maza-Pan/07,
AUTHOR = {Chen, Changbo and Golubitsky, Oleg and Lemaire, Fran{\c{c}}ois and Maza, Marc and Pan, Wei},
TITLE = {Comprehensive triangular decomposition},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {73-101},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chibisov-Ganzha-Mayr-Vorozhtsov/07,
AUTHOR = {Chibisov, Dmytro and Ganzha, Victor and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
TITLE = {Stability investigation of a difference scheme for incompressible Navier-Stokes equations},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {102-117},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chuluunbaatar-Gusev-Gerdt-Kaschiev-Rostovtsev-Samoylov-Tupikova-Vinitsky/07,
AUTHOR = {Chuluunbaatar, Ochbadrakh and Gusev, Alexander and Gerdt, Vladimir and Kaschiev, Michail and Rostovtsev, Vitaly and Samoylov, Valentin and Tupikova, Tatyana and Vinitsky, Sergue},
TITLE = {A symbolic-numerical algorithm for solving the eigenvalue problem for a hydrogen atom in the magnetic field: Cylindrical coordinates},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {118-133},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Edneral/07,
AUTHOR = {Edneral, Victor F.},
TITLE = {An algorithm for construction of normal forms},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {134-142},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fritzsche/07,
AUTHOR = {Fritzsche, Stephan},
TITLE = {Computer algebra: A ``classical'' path to explore decoherence and entanglement phenomena in quantum information theory},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {143-144},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gerdt-Khvedelidze-Palii/07,
AUTHOR = {Gerdt, Vladimir and Khvedelidze, Arsen and Palii, Yuri},
TITLE = {Deducing the constraints in the light-cone $SU (3)$ Yang-Mills mechanics via Gr{\"o}bner bases},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {145-159},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gogin-Myllari/07,
AUTHOR = {Gogin, Nikita and Myll{\"a}ri, Aleksandr},
TITLE = {On the weight spectra of Conway matrices related to the non-transitive head-or-tail game},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {160-168},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Grebenikov-Kozak-Skoworodkin-Zemtsova/07,
AUTHOR = {Grebenikov, E.A. and Kozak-Skoworodkin, D. and Zemtsova, N.I.},
TITLE = {Properties of the Liapunov stability zones of the Lagrange triangle},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {169-180},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Grebenikov-Ikhsanov-Prokopenya/07,
AUTHOR = {Grebenikov, Evgenii A. and Ikhsanov, Ersain V. and Prokopenya, Alexander N.},
TITLE = {Studying the stability of the second order non-autonomous Hamiltonian system},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {181-194},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Irtegov-Titorenko/07,
AUTHOR = {Irtegov, Valentin and Titorenko, Tatyana},
TITLE = {On the peculiar properties of families of invariant manifolds of conservative systems},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {195-210},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Iwami/07,
AUTHOR = {Iwami, Maki},
TITLE = {A unified algorithm for multivariate analytic factorization},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {211-223},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kitamoto-Yamaguchi/07,
AUTHOR = {Kitamoto, Takuya and Yamaguchi, Tetsu},
TITLE = {On the computation of the defining polynomial of the algebraic Riccati equation},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {224-235},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kornyak/07,
AUTHOR = {Kornyak, Vladimir},
TITLE = {Symmetries and dynamics of discrete systems},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {236-251},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kostov-Kostova/07,
AUTHOR = {Kostov, N.A. and Kostova, Z.T.},
TITLE = {Exact solutions of completely integrable systems and linear ODE's having elliptic function coefficients},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {252-264},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kovaleva-Tsybulin-Frischmuth/07,
AUTHOR = {Kovaleva, Ekaterina S. and Tsybulin, Vyacheslav G. and Frischmuth, Kurt},
TITLE = {Dynamics of nonlinear parabolic equations with cosymmetry},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {265-274},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lasaruk-Sturm/07,
AUTHOR = {Lasaruk, Aless and Sturm, Thomas},
TITLE = {Weak integer quantifier elimination beyond the linear case},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {275-294},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Monagan-Pearce/07,
AUTHOR = {Monagan, Michael and Pearce, Roman},
TITLE = {Polynomial division using dynamic arrays, heaps, and packed exponent vectors},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {295-315},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Nagasaka/07,
AUTHOR = {Nagasaka, Kosaku},
TITLE = {Ruppert matrix as subresultant mapping},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {316-327},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Narzullaev-Akhatov-Jumanov/07,
AUTHOR = {Narzullaev, Ulugbek Kh. and Akhatov, Akmal R. and Jumanov, Olim I.},
TITLE = {Construction of computer system for microobjects recognition based on neural networks},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {328-338},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ospina-Velez/07,
AUTHOR = {Ospina, Juan and Velez, Mario},
TITLE = {Analytical solution for transient flow of a generalized Bingham fluid with memory in a movable tube using computer algebra},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {339-349},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Plesken-Robertz/07,
AUTHOR = {Plesken, Wilhelm and Robertz, Daniel},
TITLE = {Some elimination problems for matrices},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {350-359},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Shemyakova-Winkler/07,
AUTHOR = {Shemyakova, Ekaterina and Winkler, Franz},
TITLE = {A full system of invariants for third-order linear partial differential operators in general form},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {360-369},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Sosa/07,
AUTHOR = {Sosa, Daniel Esteban Sierra},
TITLE = {Automatic stability analysis for a diffusion equation with memories using Maple},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {370-376},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Stefanescu/07,
AUTHOR = {{\v{S}}tef{\v{a}}nescu, Doru},
TITLE = {Bounds for real roots and applications to orthogonal polynomials},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {377-391},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Uteshev-Yashina/07,
AUTHOR = {Uteshev, Alexei Yu. and Yashina, Marina V.},
TITLE = {Distance computation from an ellipsoid to a linear or a quadric surface in $R^n$},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {392-401},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Weispfenning/07,
AUTHOR = {Weispfenning, Volker},
TITLE = {Robust stability for parametric linear ODEs},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {402-422},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Winkler-Shemyakova/07,
AUTHOR = {Winkler, Franz and Shemyakova, Ekaterina},
TITLE = {Symbolic and algebraic methods for linear partial differential operators},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {423-423},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Yan-Maple-James/07,
AUTHOR = {Yan, Song and Maple, Carsten and James, Glyn},
TITLE = {A new scheme for deniable/repudiable authentication},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {424-432},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Yoshida-Nakagawa-Anai-Horimoto/07,
AUTHOR = {Yoshida, Hiroshi and Nakagawa, Koji and Anai, Hirokazu and Horimoto, Katsuhisa},
TITLE = {An algebraic-numeric algorithm for the model selection in kinetic networks},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {433-447},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Deytseva/07,
AUTHOR = {Deytseva, Anna},
TITLE = {On the representation of the differential operator in bases of periodic coiflets and it's application},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {448-457},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}