# Euclid

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2009

2009

- Rew. Symb. Logic
- 2009

We present a formal system, E, which provides a faithful model of the proofs in 3 Euclidâ€™s Elements, including the use ofâ€¦Â (More)

Is this relevant?

2005

2005

- Discrete Mathematics
- 2005

Two characterizations of the Sprague-Grundy function values of Euclidâ€™s game, in terms of the winning strategy of the generalizedâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- 1999

Contents Introduction 1 1 Cyclohexane, cryptography, codes, and computer algebra 9 1.1 Cyclohexane conformations 9 1.2 The RSAâ€¦Â (More)

Is this relevant?

1990

1990

- 1990

This paper is about non-euclidean geometry in the theory of inference.Â

Is this relevant?

1981

1981

- ICSE
- 1981

The programming language Euclid was designed to be used for the construction of reliable and efficient systems software. Thisâ€¦Â (More)

Is this relevant?

Highly Cited

1978

Highly Cited

1978

- Acta Informatica
- 1978

In the spirit of the previous axiomatixation of the programming language Pascal, this paper describes Hoare-style proof rules forâ€¦Â (More)

Is this relevant?

1978

1978

- SIGP
- 1978

The programming language Euclid provides features that support abstract data types, but does not strictly speaking provide a trueâ€¦Â (More)

Is this relevant?

1977

1977

- Language Design for Reliable Software
- 1977

Euclid is a language for writing system programs that are to be verified. We believe that verification and reliability areâ€¦Â (More)

Is this relevant?

Highly Cited

1971

Highly Cited

1971

- J. ACM
- 1971

This paper presents an elementary treatment of the theory of subresultants, and examines the relationship of the subresultants ofâ€¦Â (More)

Is this relevant?

Highly Cited

1971

Highly Cited

1971

- J. ACM
- 1971

This paper examines the computation of polynomial greatest common divisors by various generalizations of Euclid's algorithm. Theâ€¦Â (More)

Is this relevant?