@incollection{Alvarez-Armario-Frau-Real/06a,
AUTHOR = {{\'A}lvarez, V. and Armario, J.A. and Frau, M.D. and Real, P.},
TITLE = {Comparison maps for relatively free resolutions},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {1-22},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Belyaeva-Chekanov-Gusev-Rostovtsev-Vinitsky/06,
AUTHOR = {Belyaeva, I.N. and Chekanov, N.A. and Gusev, A.A. and Rostovtsev, V.A. and Vinitsky, S.I.},
TITLE = {A symbolic-numeric approach for solving the eigenvalue problem for the one-dimensional Schr{\"o}dinger equation},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {23-32},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berciano-Jimenez-Real/06,
AUTHOR = {Berciano, Ainhoa and Jim{\'e}nez, Mar{\'{i}}a Jos{\'e} and Real, Pedro},
TITLE = {Reducing computational costs in the basic perturbation lemma},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {33-48},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berghammer/06,
AUTHOR = {Berghammer, Rudolf},
TITLE = {Solving algorithmic problems on orders and lattices by relation algebra and RELVIEW},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {49-63},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bodrato-Zanoni/06,
AUTHOR = {Bodrato, Marco and Zanoni, Alberto},
TITLE = {Intervals, Syzygies, numerical Gr{\"o}bner bases: A mixed study},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {64-76},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Borunov-Ryabov-Surkov/06,
AUTHOR = {Borunov, V.P. and Ryabov, Yu.A. and Surkov, O.V.},
TITLE = {Application of computer algebra for construction of quasi-periodic solutions for restricted circular planar three body problem},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {77-88},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brown-Gross/06,
AUTHOR = {Brown, Christopher W. and Gross, Christian},
TITLE = {Efficient preprocessing methods for quantifier elimination},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {89-100},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Casian-Dusciac-Dusciac-Patsiuk/06,
AUTHOR = {Casian, A. and Dusciac, R. and Dusciac, V. and Patsiuk, V.},
TITLE = {Symbolic and numerical calculation of transport integrals for some organic crystals},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {101-108},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chibisov-Ganzha-Mayr-Vorozhtsov/06,
AUTHOR = {Chibisov, Dmytro and Ganzha, Victor and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
TITLE = {On the provably tight approximation of optimal meshing for non-convex regions},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {109-128},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cojocaru-Malahova-Colesnicov/06,
AUTHOR = {Cojocaru, Svetlana and Malahova, Ludmila and Colesnicov, Alexander},
TITLE = {Providing modern software environments to computer algebra systems},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {129-140},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Diarova-Zemtsova/06,
AUTHOR = {Diarova, D. and Zemtsova, N.I.},
TITLE = {The instability of the rhombus-like central configurations in Newton 9-body problem},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {141-148},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gago-Vargas-Hartillo-Hermoso-Ucha-Enriquez/06,
AUTHOR = {Gago-Vargas, Jes{\'u}s and Hartillo-Hermoso, Isabel and Ucha-Enr{\'{i}}quez, Jos{\'e} Mar{\'{i}}a},
TITLE = {Algorithmic invariants for Alexander modules},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {149-154},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gago-Vargas-Hartillo-Hermoso-Martin-Morales-Ucha-Enriquez/06,
AUTHOR = {Gago-Vargas, Jes{\'u}s and Hartillo-Hermoso, Isabel and Mart{\'{i}}n-Morales, Jorge and Ucha-Enr{\'{i}}quez, Jos{\'e} Mar{\'{i}}a},
TITLE = {Sudokus and Gr{\"o}bner bases: Not only a divertimento},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {155-165},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gonzalez-Diaz-Medrano-Sanchez-Pelaez-Real/06,
AUTHOR = {Gonzalez-D{\'{i}}az, Rocio and Medrano, Bel{\'e}n and S{\'a}nchez-Pel{\'a}ez, Javier and Real, Pedro},
TITLE = {Simplicial perturbation techniques and effective homology},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {166-177},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Grebenicov-Kozak-Skoworodkin-Diarova/06,
AUTHOR = {Grebenicov, E.A. and Kozak-Skoworodkin, D. and Diarova, D.M.},
TITLE = {Numerical study of stability domains of Hamiltonian equation solutions},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {178-191},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Grebenikov-Ikhsanov-Prokopenya/06,
AUTHOR = {Grebenikov, Evgenii A. and Ikhsanov, Ersain V. and Prokopenya, Alexander N.},
TITLE = {Numeric-symbolic computations in the study of central configurations in the planar Newtonian four-body problem},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {192-204},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gusev-Gerdt-Kaschiev-Rostovtsev-Samoylov-Tupikova-Vinitsky/06,
AUTHOR = {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 magnetic field},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {205-218},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gutierrez-Sevilla/06a,
AUTHOR = {Gutierrez, Jaime and Sevilla, David},
TITLE = {On decomposition of tame polynomials and rational functions},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {219-226},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ikromov-Soleev/06,
AUTHOR = {Ikromov, Isroil A. and Soleev, Akhmadjon},
TITLE = {Newton polyhedra and an oscillation index of oscillatory integrals with convex phases},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {227-239},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kornyak/06,
AUTHOR = {Kornyak, Vladimir V.},
TITLE = {Cellular automata with symmetric local rules},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {240-250},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Malaschonok/06,
AUTHOR = {Malaschonok, Natasha},
TITLE = {Parallel Laplace method with assured accuracy for solutions of differential equations by symbolic computations},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {251-260},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Semenov/06,
AUTHOR = {Semenov, Alexander},
TITLE = {On connection between constructive involutive divisions and monomial orderings},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {261-278},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Sobottka-Weber/06,
AUTHOR = {Sobottka, Gerrit and Weber, Andreas},
TITLE = {A symbolic-numeric approach to tube modeling in CAD systems},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {279-283},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Stefanescu/06,
AUTHOR = {{\c{S}}tef{\u{a}}nescu, Doru},
TITLE = {Inequalities on upper bounds for real polynomial roots},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {284-294},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Sturm/06,
AUTHOR = {Sturm, Thomas},
TITLE = {New domains for applied quantifier elimination},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {295-301},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Watt/06,
AUTHOR = {Watt, Stephen M.},
TITLE = {Algorithms for symbolic polynomials},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {302-302},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Yan-James/06,
AUTHOR = {Yan, Song Y. and James, Glyn},
TITLE = {Testing Mersenne primes with elliptic curves},
BOOKTITLE = {Proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC'2006 (Chi{\c{s}}in{\v{a}}u, Moldova, September 11-15, 2006)},
SERIES = {LNCS},
VOLUME = {4194},
PAGES = {303-312},
YEAR = {2006},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11870814_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}