Theorem Proving with the Real Numbers
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer London

9781447115939, 9781447115915

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Conclusions

Theorem Proving with the Real Numbers ◽

10.1007/978-1-4471-1591-5_8 ◽

1998 ◽

pp. 155-159 ◽

Cited By ~ 1

Author(s):

John Harrison

Computer Algebra Systems

Theorem Proving with the Real Numbers ◽

10.1007/978-1-4471-1591-5_6 ◽

1998 ◽

pp. 115-133

Author(s):

John Harrison

Keyword(s):

Computer Algebra ◽

Computer Algebra Systems

A Decision Procedure for Real Algebra

Theorem Proving with the Real Numbers ◽

10.1007/978-1-4471-1591-5_5 ◽

1998 ◽

pp. 87-114

Author(s):

John Harrison

Keyword(s):

Decision Procedure ◽

Real Algebra

Explicit Calculations

Theorem Proving with the Real Numbers ◽

10.1007/978-1-4471-1591-5_4 ◽

1998 ◽

pp. 69-86 ◽

Cited By ~ 1

Author(s):

John Harrison

Floating Point Verification

Theorem Proving with the Real Numbers ◽

10.1007/978-1-4471-1591-5_7 ◽

1998 ◽

pp. 135-154 ◽

Cited By ~ 1

Author(s):

John Harrison

Keyword(s):

Floating Point

Formalized Analysis

Theorem Proving with the Real Numbers ◽

10.1007/978-1-4471-1591-5_3 ◽

1998 ◽

pp. 39-67

Author(s):

John Harrison

Constructing the Real Numbers

Theorem Proving with the Real Numbers ◽

10.1007/978-1-4471-1591-5_2 ◽

1998 ◽

pp. 13-38

Author(s):

John Harrison

Keyword(s):

Real Numbers ◽

The Real

Introduction

Theorem Proving with the Real Numbers ◽

10.1007/978-1-4471-1591-5_1 ◽

1998 ◽

pp. 1-11

Author(s):

John Harrison