Selected papers algebra (42 Ergebnisse)

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Soft cover. Zustand: Very Good. No Jacket. 1st Edition.

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. In English.

Zustand: New. In English.

Hardcover. Zustand: Very Good. Third Edition. pp. 108, + 2 pages publisher's advert, Mathematical formulae throughout. Original burgundy cloth binding with gilt lettering to front board and blind stamped decoration, slight wear only, spine a little faded. Contents clean and tight, contemporary signature. A very good copy of this rare little book. Size: 12mo. Book.…

Zustand: Gebraucht / Used. Hardcover. Spine below damaged. Xv,537pp.

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9783540646709.

Paperback. Zustand: Brand New. 2014 edition. 210 pages. 9.20x6.10x0.60 inches. In Stock.

448 p. Unread book. Like new! Minimum traces of storage. 9783540646709 Sprache: Englisch Gewicht in Gramm: 680 Softcover: 15.5 x 2.6 x 23.5 cm Softcover reprint of the original 1st ed. 1999.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 5th International Meeting on Algebraic and Algorithmic Aspects of Differential and Integral Operators, AADIOS 2012, held at the Applications of Computer Algebra Conference in Sofia, Bulgaria, on June 25-28, 2012. The total of 9 papers presented in this volume consists of 2 invited papers and 7 regular papers which were carefully reviewed and selected from 13 submissions. The topics of interest are: symbolic computation for operator algebras, factorization of differential/integral operators, linear boundary problems and green's operators, initial value problems for differential equations, symbolic integration and differential galois theory, symbolic operator calculi, algorithmic D-module theory, rota-baxter algebra, differential algebra, as well as discrete analogs and software aspects of the above.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. The International Workshop on Mathematics Mechanization (IWMM) was initiated by Prof. Wu in 1992, and has ever since been held by the Key L- oratory of Mathematics Mechanization (KLMM) of the Chinese Academy of Sciences. There have been seven workshops of the series up to now. At each workshop, several experts are invited to deliver plenary lectures on cutting-edge methods and algorithms of the selected theme. The workshop is also a forum for people working on related subjects to meet, collaborate and exchange ideas. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 7th International Seminar on - lational Methods in Computer Science (RelMiCS 7) and the 2nd International Workshop onApplications ofKleeneAlgebra.Thecommonmeetingtookplacein Bad Malente (near Kiel), Germany,from May May 12 17,2003.Its purpose was to bring together researchers from various subdisciplines of Computer Science, Mathematics and related elds who use the calculi of relations and/or Kleene algebra as methodological and conceptual tools in their work. This meeting is the joint continuation of two di erent series of meetings. Previous RelMiCS seminars were held in Schloss Dagstuhl (Germany) in J- uary 1994, Parati (Brazil) in July 1995, Hammamet (Tunisia) in January 1997, Warsaw (Poland) in September 1998, Quebec (Canada) in January 2000, and Oisterwijk (The Netherlands) in October 2001. The rst workshop on appli- tions of Kleene algebra was also held in Schloss Dagstuhl in February 2001. To join these two events in a common meeting was mainly motivated by the s- stantialcommoninterestsandoverlapofthetwocommunities.Wehopethatthis leads to fruitful interactions and opens new and interesting research directions.…

Taschenbuch. Zustand: Neu. Algebraic and Algorithmic Aspects of Differential and Integral Operators | 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers | Moulay Barkatou (u. a.) | Taschenbuch | xii | Englisch | 2014 | Springer | EAN 9783642544781 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Hardcover. Zustand: Sehr gut. Schutzumschlag. Ed. by G.-C. Rota & J. S. Oliveira. Basel, Birkhäuser 1987. 4°. 1 portr. XVII, 608 p. OCloth. in dust jacket. (dust jacket slightly stained and with tear).- Contemporary Mathematics.- Incl. bibliography of Birkhoff.

448 p. New! - Neu und originalverschweißt! 9783540646709 Sprache: Englisch Gewicht in Gramm: 680 Softcover: 15.5 x 2.6 x 23.5 cm Softcover reprint of the original 1st ed. 1999.

Zustand: New. In English.

4°, Hardcover. Zustand: Gut. XXXVII, 694; XLV, 582; XXXII, 270 S. Drei Bände. Mehrbändiges ehemaliges Bibliotheksexemplar mit Stempeln und Rückensignaturen. Einbände mit leichten bis moderaten Lagerspuren, Papier etwas nachgedunkelt, Seiten fest und textsauber. Insgesamt guter Zustand. mbx Sprache: Englisch Gewicht in Gramm: 3700. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains 22 lectures presented at the final conference of the Ger man research program (Schwerpunktprogramm) Algorithmic Number The ory and Algebra 1991-1997, sponsored by the Deutsche Forschungsgemein schaft. The purpose of this research program and of the meeting was to bring together developers of computer algebra software and researchers using com putational methods to gain insight into experimental problems and theoret ical questions in algebra and number theory. The book gives an overview on algorithmic methods and on results ob tained during this period. This includes survey articles on the main research projects within the program: - algorithmic number theory emphasizing class field theory, constructive Galois theory, computational aspects of modular forms and of Drinfeld modules - computational algebraic geometry including real quantifier elimination and real algebraic geometry, and invariant theory of finite groups - computational aspects of presentations and representations of groups, especially finite groups of Lie type and their Heeke algebras, and of the isomorphism problem in group theory. Some of the articles illustrate the current state of computer algebra sys tems and program packages developed with support by the research pro gram, such as KANT and LiDIA for algebraic number theory, SINGULAR, RED LOG and INVAR for commutative algebra and invariant theory respec tively, and GAP, SYSYPHOS and CHEVIE for group theory and representation theory. …

Paperback. Zustand: Brand New. 1st edition. 442 pages. French language. 9.50x6.25x1.00 inches. In Stock.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 448 | Sprache: Englisch | Produktart: Bücher | This book contains 22 lectures presented at the final conference of the Ger­ man research program (Schwerpunktprogramm) Algorithmic Number The­ ory and Algebra 1991-1997, sponsored by the Deutsche Forschungsgemein­ schaft. The purpose of this research program and of the meeting was to bring together developers of computer algebra software and researchers using com­ putational methods to gain insight into experimental problems and theoret­ ical questions in algebra and number theory. The book gives an overview on algorithmic methods and on results ob­ tained during this period. This includes survey articles on the main research projects within the program: ¿ algorithmic number theory emphasizing class field theory, constructive Galois theory, computational aspects of modular forms and of Drinfeld modules ¿ computational algebraic geometry including real quantifier elimination and real algebraic geometry, and invariant theory of finite groups ¿ computational aspects of presentations and representations of groups, especially finite groups of Lie type and their Heeke algebras, and of the isomorphism problem in group theory. Some of the articles illustrate the current state of computer algebra sys­ tems and program packages developed with support by the research pro­ gram, such as KANT and LiDIA for algebraic number theory, SINGULAR, RED LOG and INVAR for commutative algebra and invariant theory respec­ tively, and GAP, SYSYPHOS and CHEVIE for group theory and representation theory.…

Zustand: New. In English.

Zustand: gut. 1999. Algorithmic Algebra and Number Theory: Selected Papers From a Conference Held at the University of Heidelberg in October 1997 In deutscher Sprache. pages.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Algebra, Analysis, Modelling and Optimization | Selected Papers from the First French-Moroccan Mathematics Days, Tétouan, Morocco, 2023 | Arij Bouzelmate (u. a.) | Taschenbuch | Trends in Mathematics | x | Englisch | 2025 | Birkhäuser | EAN 9783031672668 | Verantwortliche Person für die EU: Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume features selected papers presented at the first French-Moroccan Mathematics Days (F2MDays'23) held at the Abdelmalek Essaadi University, Morocco 2023. During these days, a variety of scientific activities involving training, workshops, and international conferences on scientific mediation, applied mathematics, innovation, and didactics of mathematics where held. The event provided an opportunity to build bridges between mathematical communities, reinforce existing international cooperation, and initiate new ones, hence contributing to the outreach of all involved parties.…