Items related to Boolean Gröbner bases -- Theory, Algorithms and Applications
Synopsis
There exist very few concepts in computational algebra which are as central to theory and applications as Grobner bases. This thesis describes theory, algorithms and applications for the special case of Boolean polynomials. These parts form the mathematical foundations of the PolyBoRi framework (developed by the author together with Alexander Dreyer). The PolyBoRi framework has applications spread over a large number of domains ranging from formal verification, computational biology to cryptanalysis and many more. It is emerged to a worldwide audience by the Sage computational algebra system.
"synopsis" may belong to another edition of this title.
Search results for Boolean Gröbner bases -- Theory, Algorithms and Applications
Stock Image
Boolean Gr?bner bases -- Theory, Algorithms and Applications
Seller: ISD LLC, Bristol, CT, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: New. Seller Inventory # 367851
Seller Image
Boolean Grobner Bases : Theory, Algorithms and Applications
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 45914902-n
Stock Image
Boolean GrBner Bases -- Theory, Algorithms and Applications (Paperback)
Published by
Logos Verlag Berlin GmbH, Berlin, 2010
ISBN 10: 3832525971
ISBN 13: 9783832525972
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. There exist very few concepts in computational algebra which are as central to theory and applications as Grobner bases. This thesis describes theory, algorithms and applications for the special case of Boolean polynomials. These parts form the mathematical foundations of the PolyBoRi framework (developed by the author together with Alexander Dreyer). The PolyBoRi framework has applications spread over a large number of domains ranging from formal verification, computational biology to cryptanalysis and many more. It is emerged to a worldwide audience by the Sage computational algebra system. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783832525972
Seller Image
Boolean Grobner Bases : Theory, Algorithms and Applications
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 45914902
Stock Image
Boolean Grobner bases -- Theory, Algorithms and Applications
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 2010. Paperback. . . . . . Seller Inventory # V9783832525972
Buy New
US$ 84.22
US$ 10.96 shipping
Ships from Ireland to U.S.A.
Ships from Ireland to U.S.A.
Quantity: 2 available
Stock Image
Boolean Grobner bases -- Theory, Algorithms and Applications
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. 2010. Paperback. . . . . . Books ship from the US and Ireland. Seller Inventory # V9783832525972
Stock Image
Boolean GrBner Bases -- Theory, Algorithms and Applications (Paperback)
Published by
Logos Verlag Berlin GmbH, Berlin, 2010
ISBN 10: 3832525971
ISBN 13: 9783832525972
New
Paperback
Seller: AussieBookSeller, Truganina, VIC, Australia
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. There exist very few concepts in computational algebra which are as central to theory and applications as Grobner bases. This thesis describes theory, algorithms and applications for the special case of Boolean polynomials. These parts form the mathematical foundations of the PolyBoRi framework (developed by the author together with Alexander Dreyer). The PolyBoRi framework has applications spread over a large number of domains ranging from formal verification, computational biology to cryptanalysis and many more. It is emerged to a worldwide audience by the Sage computational algebra system. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Seller Inventory # 9783832525972
Buy New
US$ 147.30
US$ 37.00 shipping
Ships from Australia to U.S.A.
Ships from Australia to U.S.A.
Quantity: 1 available