Solution of Systems of Linear Diophantine Equations
Two new methods to solve linear systems of Diophantine equations are proposed - modular (CRT) and p-adic (Hensel). Each of them allows to obtain solutions of a system with the size n x m with the complexity O(nßm). For quasi-square systems, the p-adic met
- PDF / 53,334,294 Bytes
- 543 Pages / 439.32 x 666.12 pts Page_size
- 11 Downloads / 268 Views
Springer-Verlag Berlin Heidelberg GmbH
Victor G. Ganzha Ernst W. Mayr Evgenii V. Vorozhtsov (Eds.)
Computer Algebra in Scientific Computing CASC 2001 proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001
t
Springer
Editors Victor G. Ganzha Ernst W. Mayr Institut fur Informatik Technische Universitiit Munchen 80290 Munchen, Germany e-mail: [email protected] [email protected]
Evgenii V. Vorozhtsov Institute of Theoretical and Applied Mathematics Russian Academy of Sciences Novosibirsk 630090, Russia email: [email protected]
Mathematics Subject Classification (2000): 68Q40, 65M06, 13MlO, 12Y05, 34A25, 20C40, 34D20, 68T35
Die Deutsche Bibliothek - CIP-Einheitsaufnahme Computer algebra in scientific computing : proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22 - 26, 2001/ CASC 2001. Victor G. Ganzha ... (ed.) .. Berlin; Heidelberg ; New York; Barcelona ; Hong Kong ; London ; Milan ; Paris; Singapor ; Tokyo: Springer, 2001 ISBN 978-3-642-62684-5 ISBN 978-3-642-56666-0 (eBook) DOI 10.1007/978-3-642-56666-0
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law ofSeptember 9, 1965, in its current vers ion, and permis sion for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law.
http://www.springer.de © Springer-Verlag Berlin Heidelberg 2001 Originally published by Springer-Verlag Berlin Heidelberg New York in 2001 Softcover reprint ofthe hardcover Ist edition 2001 The use of general descriptive names, registered names, trademarks etc. in this publicat ion doe~ not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Cover design: design & production, Heidelberg Production: LE-TEX Je1onek, Schmidt & Vockler GbR, Leipzig Typesetting by the authors using a Springer-TEX Makro package 46/3142YL-54321 o SPIN 10844008
Preface
CASC 2001 continues a tradition ~ started in 1998 ~ of international conferences on the latest advances in the application of computer algebra systems (CASs) to the solution of various problems in scientific computing. The three earlier conferences in this sequence, CASC'98, CASC'99, and CASC 2000, were held, respectively, in St. Petersburg, Russia, in Munich, Germany, and in Samarkand, Uzbekistan, and proved to be very successful. We have to thank the program committee, listed overleaf, for a tremendous job in soliciting and providing reviews for the submitted papers. There were more than three reviews per submission on average.
