Boolean Grbner Bases Theory by Brickenstein Michael (2 results)
- Softcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
£ 58.57
Free ShippingShips within U.S.A.Quantity: 1 available
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 framew…ork (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.
- Softcover
Seller: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contact seller5-star sellerCondition: New
£ 109.51
£ 27.51 shippingShips from Australia to U.S.A.Quantity: 1 available
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 framew…ork (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.
