Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

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

2015

2015

Transreal numbers provide a total semantics containing classical truth values, dialetheaic, fuzzy and gap values. A… Expand

2015

2015

Transreal arithmetic is total, in the sense that the fundamental operations of addition, subtraction, multiplication and division… Expand

2014

2014

The IEEE 754 standard for
oating-point arithmetic is widely used in
computing. It is based on real arithmetic and is made total… Expand

2014

2014

IEEE 754 floating-point arithmetic is widely used in modern, general-purpose computers. It is based on real arithmetic and is… Expand

2007

2007

Transreal arithmetic is a total arithmetic that contains real arithmetic, but which has no arithmetical exceptions. It allows the… Expand

2006

2006

The perspex machine arose from the unification of the Turing machine with projective geometry. The original, constructive proof… Expand

2005

2005

The perspex machine is a continuous machine that performs perspective transformations. It is a super-Turing machine that contains… Expand

2002

2002

We introduce the perspex machine which unifies projective geometry and the Turing machine, resulting in a supra-Turing machine… Expand

Highly Cited

1960

Highly Cited

1960

1. An apparatus is described for investigating the photic responses of marine larvae. A parallel beam of light is projected along… Expand