@inproceedings{Banshchikov/02,
AUTHOR = {Banshchikov, Andrey V.},
TITLE = {Parametric analysis of stability conditions for a satellite with a gravitation stabilizer},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {1-6},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=1},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Bayer/02,
AUTHOR = {Bayer, Thomas},
TITLE = {Moduli spaces of low dimension for semi Brieskorn-Pham singularities w.r.t. right equivalence},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {7-16},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=7},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Bomboy/02,
AUTHOR = {Bomboy, Rapha{\"e}l},
TITLE = {Liouvillian solutions of ordinary linear difference equations},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {17-27},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=17},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Carra_Ferro-Gerdt/02,
AUTHOR = {Carr{\`a} Ferro, Giuseppa and Gerdt, Vladimir P.},
TITLE = {Extended characteristic sets of finitely generated differential ideals},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {29-36},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=29},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Diaz-Toca-Gonzalez-Vega/02,
AUTHOR = {Diaz-Toca, Gema and Gonzalez-Vega, Laureano},
TITLE = {Determining Puiseux expansions by Hensel's lemma and dynamic evaluation},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {37-46},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=37},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Dumas-Villard/02,
AUTHOR = {Dumas, Jean-Guillaume and Villard, Gilles},
TITLE = {Computing the rank of large sparse matrices over finite fields},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {47-61},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=47},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Edneral-Khanin/02,
AUTHOR = {Edneral, Victor and Khanin, Raya},
TITLE = {Multivariate power series and normal form calculation in Mathematica},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {63-69},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=63},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{El_Kahoui-Weber/02,
AUTHOR = {El Kahoui, M'hammed and Weber, Andreas},
TITLE = {Symbolic equilibrium point analysis in parameterized polynomial vector fields},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {71-83},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=71},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Ganzha-Chibisov-Vorozhtsov/02,
AUTHOR = {Ganzha, Victor G. and Chibisov, Dmytro and Vorozhtsov, Evgenii V.},
TITLE = {Computer algebra in problem solving for computational fluid dynamics: Term rewriting and all that},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {85-96},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=85},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Giesbrecht-Reid-Zhang/02,
AUTHOR = {Giesbrecht, Mark and Reid, Greg and Zhang, Yang},
TITLE = {Non-commutative Gr{\"o}bner bases in Poincar{\'e}-Birkhoff-Witt extensions},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {97-106},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=97},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Girard/02,
AUTHOR = {Girard, Antoine},
TITLE = {Approximate solutions of ODEs using piecewise linear vector fields},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {107-119},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=107},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Gonzalez-Diaz-Real/02,
AUTHOR = {Gonz{\'a}lez-D{\'i}az, R. and Real, P.},
TITLE = {Geometric objects and cohomology operations},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {121-130},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=121},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Grebenikov-Jakubia-Kozak-Skoworodkin/02,
AUTHOR = {Grebenikov, E.A. and Jakubia, M. and Kozak-Skoworodkin, D.},
TITLE = {The algebraic problems tied with generalized Krylov-Bogolyubov equation},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {131-136},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=131},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Gusev-Veselinov-Samoilov-Vinitsky/02,
AUTHOR = {Gusev, Alexander and Veselinov, Svetoslav and Samoilov, Valentin and Vinitsky, Pavel},
TITLE = {Programs of modelling and visualization of trajectories of particles with variable mass in the field of a massive geoid},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {137-145},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=137},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Gusev-Chekanov-Rostovtsev-Uwano-Vinitsky/02,
AUTHOR = {Gusev, Alexander and Chekanov, Nikolai and Rostovtsev, Vitaly and Uwano, Yoshio and Vinitsky, Sergue},
TITLE = {The programs for normalization and quantization of polynomial Hamiltonians},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {147-157},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=147},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Gutierrez-Rubio-Sevilla/02,
AUTHOR = {Gutierrez, Jaime and Rubio, Rosario and Sevilla, David},
TITLE = {Computing the fixing group of a rational function},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {159-164},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=159},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Hantzschmann-Becken/02,
AUTHOR = {Hantzschmann, K. and Becken, O.},
TITLE = {Algorithms of computer analysis for approximate solutions of linear ODEs with polynomial coefficients},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {165-173},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=165},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Irtegov-Titorenko/02,
AUTHOR = {Irtegov, Valentin and Titorenko, Tatyana},
TITLE = {On the properties of families of first integrals},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {175-182},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=175},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Jeffrey/02,
AUTHOR = {Jeffrey, D.J.},
TITLE = {High precision computation of elementary functions in Maple},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {183-189},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=183},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Khanin/02,
AUTHOR = {Khanin, Raya},
TITLE = {On asymptotic solutions of higher-order boundary value problems},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {191-200},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=191},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Kornyak/02,
AUTHOR = {Kornyak, Vladimir V.},
TITLE = {Computation of cohomology of Lie algebra of Hamiltonian vector fields by splitting cochain complex into minimal subcomplexes},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {201-206},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=201},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Lemaire/02,
AUTHOR = {Lemaire, Fran{\c{c}}ois},
TITLE = {Les classements les plus g{\'e}n{\'e}raux assurant l'analycit{\'e} des solutions des syst{\`e}mes orthonomes pour des conditions initiales analytiques},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {207-219},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=207},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Mityunin-Semenov/02,
AUTHOR = {Mityunin, V.A. and Semenov, A.S.},
TITLE = {An estimation of the parallelization quality of the involutive basis computation algorithm},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {221-226},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=221},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Mnuk-Baumann/02,
AUTHOR = {Mnuk, Michal and Baumann, Gerd},
TITLE = {On structured representation of physical objects},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {227-235},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=227},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Ovchinnikov-Zobnin/02,
AUTHOR = {Ovchinnikov, A. and Zobnin, A.},
TITLE = {Classification and applications of monomial orderings and the properties of differential orderings},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {237-251},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=237},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Pan/02a,
AUTHOR = {Pan, V.Y.},
TITLE = {Can we optimize Toeplitz/Hankel computations?},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {253-263},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=253},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Pankratiev/02,
AUTHOR = {Pankratiev, E.V.},
TITLE = {Some approaches to construction of standard bases in commutative and differential algebra},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {265-268},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=265},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Samoilenko-Boichuk-Boichuk/02,
AUTHOR = {Samoilenko, Anatolii and Boichuk, Alexander and Boichuk, Andrij},
TITLE = {Pseudo-inverse matrices and solutions bounded on $R$ of linear and nonlinear systems},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {269-278},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=269},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Soleev/02,
AUTHOR = {Soleev, Akhmadjon},
TITLE = {Newton polyhedra for investigation of complex bifurcations of periodic solutions in some system of ODEs},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {279-283},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=279},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}
@inproceedings{Sturm-Weispfenning/02,
AUTHOR = {Sturm, Thomas and Weispfenning, Volker},
TITLE = {Quantifier elimination in term algebras --- The case of finite languages},
BOOKTITLE = {Proceedings of the 5th International Workshop on Computer Algebra in Scientific Computing, CASC'2002 (Yalta, Ukraine, September 22-27, 2002)},
PAGES = {285-300},
YEAR = {2002},
EDITOR = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
URL = {http://wwwmayr.in.tum.de/cgi-bin/openURL?debug=&genre=article&title=casc&volume=2002&spage=285},
PUBLISHER = {Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
ADDRESS = {Garching},
TYPE = {inproceedings},
}