Skip to Main content Skip to Navigation
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 metadatas

https://hal.inria.fr/inria-00102946
Contributor : Olivier Bournez <>
Submitted on : Monday, October 2, 2006 - 10:34:58 PM
Last modification on : Thursday, March 5, 2020 - 11:02:15 AM

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

135