Skip to Main content Skip to Navigation
New interface
Conference papers

The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation

Olivier Bournez 1 Manuel Lameiras Campagnolo Daniel S. Graça Emmanuel Hainry 1 
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00102946
Contributor : Olivier Bournez Connect in order to contact the contributor
Submitted on : Monday, October 2, 2006 - 10:34:58 PM
Last modification on : Friday, May 13, 2022 - 10:18:04 PM

Identifiers

  • HAL Id : inria-00102946, version 1

Collections

Citation

Olivier Bournez, Manuel Lameiras Campagnolo, Daniel S. Graça, Emmanuel Hainry. The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation. 3rd International Conference on Theory and Applications of Models of Computation - TAMC'2006, 2006, Pekin/Chine. ⟨inria-00102946⟩

Share

Metrics

Record views

63