Theorem Proving with the Real Numbers
Taxes calculated at checkout
1. Introduction. - 1. 1 Symbolic computation. - 1. 2 Verification. - 1. 3 Higher order logic. - 1. 4 Theorem proving vs. model checking. - 1. 5 Automated vs. interactive theorem proving. - 1. 6 The real numbers. - 1. 7 Concluding remarks. - 2 Constructing the Real Numbers. - 2. 1 Properties of the real numbers. - 2. 2 Uniqueness of the real numbers. - 2. 3 Constructing the real numbers. - 2. 4 Positional expansions. - 2. 5 Cantor's method. - 2. 6 Dedekind's method. - 2. 7 What choice?. - 2. 8 Lemmas about nearly-multiplicative functions. - 2. 9 Details of the construction. - 2. 10 Adding negative numbers. - 2. 11 Handling equivalence classes. - 2. 12 Summary and related work. - 3. Formalized Analysis. - 3. 1 The rigorization and formalization of analysis. - 3. 2 Some general theories. - 3. 3 Sequences and series. - 3. 4 Limits continuity and differentiation. - 3. 5 Power series and the transcendental functions. - 3. 6 Integration. - 3. 7 Summary and related work. - 4. Explicit Calculations. - 4. 1 The need for calculation. - 4. 2 Calculation with natural numbers. - 4. 3 Calculation with integers. - 4. 4 Calculation with rationals. - 4. 5 Calculation with reals. - 4. 6 Summary and related work. - 5. A Decision Procedure for Real Algebra. - 5. 1 History and theory. - 5. 2 Real closed fields. - 5. 3 Abstract description of the algorithm. - 5. 4 The HOL Implementation. - 5. 5 Optimizing the linear case. - 5. 6 Results. - 5. 7 Summary and related work. - 6. Computer Algebra Systems. - 6. 1 Theorem provers vs. computer algebra systems. - 6. 2 Finding and checking. - 6. 3 Combining systems. - 6. 4 Applications. - 6. 5 Summary and related work. - 7. Floating Point Verification. - 7. 1 Motivation. - 7. 2 Floating point error analysis. - 7. 3 Specifying floating point operations. - 7. 4 Idealized integer and floating point operations. - 7. 5 A square root algorithm. - 7. 6 ACORDIC natural logarithm algorithm. - 7. 7 Summary and related work. - 8. Conclusions. - 8. 1 Mathematical contributions. - 8. 2 The formalization of mathematics. - 8. 3 The LCF approach to theorem proving. - 8. 4 Computer algebra systems. - 8. 5 Verification applications. - 8. 6 Concluding remarks. - A. Logical foundations of HOL. - B. Recent developments. Language: English
| Brand | Unbranded |
|---|---|
| Artist | John Harrison |
| Format | Paperback |
| Language | English |
| Publication Date | 2011/11/20 |
| Publisher / Label | Springer |
| Number of Pages | 186 |
| Product ID | 337860999-741519942 |
| ISBN | 9781447115939 |
| $6.99 | STANDARD: | Estimated delivery date Tue 23 June 2026 ─ Fri 26 June 2026 |
Product is shipped from United Kingdom.
Alternative shipping methods can be selected at checkout.
Products are shipped by the individual Fruugo retailers, who are located across Europe and the rest of the world. The delivery times and shipping prices vary depending on the retailer's location, the destination country and the selected delivery method.
Fruugo offers two delivery options: Standard Delivery or Express Delivery. All retailers offer a standard delivery service, and some retailers also offer an express delivery service.
- Standard Delivery – Domestic Standard delivery takes approximately 2-5 business days from dispatch, while an International Standard delivery takes 5-14 business days from dispatch. Normally track and trace and proof of delivery are not available on a standard service.
- Express Delivery – Domestic Express delivery takes approximately 1-2 business days from dispatch, while an International Express delivery takes 3-7 business days from dispatch. Usually track and trace and/or proof of delivery are available on an express service.
Although Fruugo retailers endeavour to deliver within these timescales, please note that the above timescales are estimated and not guaranteed.
The delivery timescales do not include any customs clearing times beyond Fruugo's control.
Please allow additional shipping time for deliveries to exceptional locations that are hard to reach, and also during busy periods such as Christmas.
All carriers deliver during normal business working hours and may require a signature on receipt, so please ensure your order is delivered to an address where someone will be available to accept it.
We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items.
Certain products purchased at Fruugo cannot be returned. They fall in the following categories:
- goods which are clearly personalised or made to your specifications
- goods which are liable to deteriorate rapidly, eg fresh fruit, fresh flowers
- sealed goods which are not suitable for return due to health protection or hygiene reasons, if opened, eg make up, underwear, pierced jewellery
- sealed audio or video recordings or computer software, if opened
- newspapers, periodicals and magazines
Please take reasonable care of the goods whilst in your care. Any goods returned must be in a resaleable condition. They must be unworn/unused with original tags attached and in original packaging. It is your responsibility to ensure that the goods are appropriately packaged to ensure they are not damaged in return transit.
Notifying us of a return
If you wish to return an order, or some of the products included in an order, please notify Fruugo customer care within 14 days of receiving the goods, including the following information:
- your name,
- order number,
- the item(s) you wish to return, and
- optionally a reason for your return: unsatisfied with item, item didn't match description, damaged item, wrong item, or some other reason.
Our customer care will send you specific instructions on how to ship the return package(s) to the retailer(s). Please do not ship the return package before you receive the instructions.
Shipping products back to retailers
Goods must be returned without undue delay and in any event not later than 14 days after notifying us of your cancellation.
If you are returning products to several retailers, you should distribute the products accordingly and send the products to those retailers who shipped them to you initially.
We strongly recommend that you use registered mail (and insure any high-value packages), since neither Fruugo nor the retailer take responsibility for shipments that are lost or damaged during return transportation.
Please ensure you retain a proof of postage receipt so in the unlikely event your parcel goes missing, you will have proof you sent it.
Refunds
You will be refunded within 14 days of the retailer receiving back the goods. We will notify you by e-mail once the products reach the retailer and are accepted for return. Where a retailer has offered to collect the goods, you will be refunded within 14 days of cancelling your contract.
Unless a product or products you wish to return arrived to you damaged or faulty, you are responsible for the return transportation costs.
Providing you are returning all the products from a specific retailer, we will refund the standard shipping costs you paid for the original delivery. If you chose to pay for a non-standard delivery, we will only refund the cost of our least expensive, standard delivery.
Damaged or faulty goods
If you receive a damaged, broken, or defective product, please notify Fruugo customer care as soon as possible. Include at least the following information:
- your name,
- order number,
- name of the damaged product(s), and
- state the nature of the damage with attached photograph
We will generally instruct you to ship the damaged product back to the retailer. As soon as it reaches the retailer, they will send you a replacement product. If the replacement can't be made, or if you wish to cancel the order, you will be refunded in full. You will also be reimbursed for reasonable returns postage costs for damaged or faulty goods once we have received your postage receipt.
If the outer packaging of your order is clearly damaged on arrival, and you are suspecting that the products are damaged as well, you can either reject the delivery or accept the goods and sign for them as damaged. In both instances, please notify Fruugo customer care as soon as possible.
Refusing delivery
If you refuse to accept delivery of all or part of your order (where the products or packaging do not appear to be damaged or defective) you will be responsible for the postage charges. Any fees and charges incurred by the retailer due to a package being refused will be deducted from your merchandise refund.