الصفحة 1
الصفحة 1
Mathematics and Politics : Strategy, Voting, Power and Proof
Mathematics and Politics requires no prerequisites in either subject. The underlying philosophy involves minimizing algebraic computations while focusing on the conceptual aspects of mathematics in the context of real-world questions in political science. This new addition has an added co-author, Allison Pacelli, and covers six major topics: social choice, yes-no voting systems, political power, game-theoretic models of international conflict, fairness, and escalation. In addition to having two new chapters (treating apportionment and conflict resolution), the text has been extensively reorganized and the number of exercises increased to over 300.
Computer Algebra in Scientific Computing ; Vol. 4194 ; 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings
This volume contains revised versions of the papers submitted to the workshop by the participants and accepted by the program committee after a thorough reviewing process. The collection of papers included in the proceedings covers not only various expanding applications of computer algebra to scienti?c computing but also the computer algebra systems themselves and the CA algorithms.
Computer algebra and geometric algebra with applications ; 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers
MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name “Mathematics Mechanization” has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di?ers from the closely related disciplines like Computer Mathematics, Symbolic Computation and Automated Reasoning in that its goal is to make algorithmic studies and applications of mathematics the major trend of mathematics development in the information age.
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies ; 1st International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers
This book address practical large data processing problems with different, and eventually converging, methodologies from major important disciplines such as computer science, combinatorics, and statistics. The symposium provides an interdisciplinary forum for researchers across their discipline boundaries to exchange their approaches, to search for ideas, methodologies, and tool boxes, to find better, faster and more accurate solutions thus fostering innovative ideas as well as to develop research agenda of common interest.
Arithmetic of finite fields ; 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings
This book constitutes the refereed proceedings of the Second International Workshop on the Arithmetic of Finite Fields, WAIFI 2008, held in Siena, Italy, in July 2008.
Arithmetic of finite fields ; 1st International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007, Proceedings
This book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, classification and construction of mappings over finite fields, curve algebra, cryptography, codes, and discrete structures.
Applied algebra, algebraic algorithms and error-correcting codes ; 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings
Among the subjects addressed are block codes, including list-decoding algorithms; algebra and codes: rings, fields, algebraic geometry codes; algebra: rings and fields, polynomials, permutations, lattices; cryptography: cryptanalysis and complexity; computational algebra: algebraic algorithms and transforms; sequences and boolean functions.
Applied algebra, algebraic algorithms and error-correcting codes ; 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006, Proceedings
This book constitutes the refereed proceedings of the 16th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-16, held in Las Vegas, NV, USA in February 2006. The 25 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 32 submissions. Among the subjects addressed are block codes; algebra and codes: rings, fields, and AG codes; cryptography; sequences; decoding algorithms; and algebra: constructions in algebra, Galois groups, differential algebra, and polynomials.
Algebraic Geometry and Geometric Modeling
Algebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically. Geometric Modeling uses every day, in order to solve practical and difficult problems, digital shapes based on algebraic models. In this book, we have collected articles bridging these two areas. The confrontation of the different points of view results in a better analysis of what the key challenges are and how they can be met. We focus on the following important classes of problems: implicitization, classification, and intersection. The combination of illustrative pictures, explicit computations and review articles will help the reader to handle these subjects.
