Verifiable implementations of geometric algorithms using finite precision arithmetic

Artificial Intelligence 37 (1-3):377-401 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(88)90061-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,475

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Absolute Arithmetic and Geometric Continua.Philip Ehrlich - 1986 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:237 - 246.
Geometry and arithmetic in the medieval traditions of Euclid’s Elements: a view from Book II.Leo Corry - 2013 - Archive for History of Exact Sciences 67 (6):637-705.
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
Onset-Duration Matching of Acoustic Stimuli Revisited: Conventional Arithmetic vs. Proposed Geometric Measures of Accuracy and Precision.Björn Friedrich & Peter Heil - 2017 - Frontiers in Psychology 7.
Conway–Kochen and the Finite Precision Loophole.Ronnie Hermens - 2014 - Foundations of Physics 44 (10):1038-1048.
The theorem of the means for cardinal and ordinal numbers.George Rousseau - 1993 - Mathematical Logic Quarterly 39 (1):279-286.
Arithmetic of divisibility in finite models.A. E. Wasilewska & M. Mostowski - 2004 - Mathematical Logic Quarterly 50 (2):169.
Finitary Sketches.J. Adamek, P. T. Johnstone, J. A. Makowsky & J. Rosicky - 1997 - Journal of Symbolic Logic 62 (3):699-707.
Finitary sketches.J. Adámek, P. T. Johnstone, J. A. Makowsky & J. Rosický - 1997 - Journal of Symbolic Logic 62 (3):699-707.
Geometric and arithmetic means as indexes of UCS intensity with variable reinforcement.George E. Passey & Francis Sekyra - 1964 - Journal of Experimental Psychology 67 (1):7.
A geometric zero-one law.Robert H. Gilman, Yuri Gurevich & Alexei Miasnikov - 2009 - Journal of Symbolic Logic 74 (3):929-938.
P-functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed, and Microprogrammed Implementations of Discrete Algorithms.André Thayse - 1984 - Springer.
Stability in geometric theories.Jerry Gagelman - 2005 - Annals of Pure and Applied Logic 132 (2-3):313-326.
Axioms for finite collapse models of arithmetic.Andrew Tedder - 2015 - Review of Symbolic Logic 8 (3):529-539.
Algebraic Methods and Bounded Formulas.Domenico Zambella - 1997 - Notre Dame Journal of Formal Logic 38 (1):37-48.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,308,042)

6 months
5 (#629,992)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references