Search - IMAG Access content directly

Filter your results

8 Results
Domains : math.math-lo
Image document

An Intrisic Topology for Orthomodular Lattices

Olivier Brunet
International Journal of Theoretical Physics, 2007, 46 (11), pp.2887-2900. ⟨10.1007/s10773-007-9400-8⟩
Journal articles hal-00128859v1
Image document

A Logic of Quantum Measurement

Olivier Brunet
2015
Preprints, Working Papers, ... hal-01117527v1
Image document

Initiation à la calculabilité

David Monniaux
Quadrature, 2012, 86, pp.17-28
Journal articles hal-01446372v1
Image document

The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq

Dominique Larchey-Wendling , Jean-François Monin
Proof and Computation II, WORLD SCIENTIFIC, pp.305-386, 2021, ⟨10.1142/9789811236488_0008⟩
Book sections hal-03338785v1
Image document

Improving Strategies via SMT Solving

Thomas Martin Gawlitza , David Monniaux
European symposium on programming (ESOP 2011), Mar 2011, Saarbrücken, Germany. pp.236-255, ⟨10.1007/978-3-642-19718-5_13⟩
Conference papers hal-00555795v1
Image document

Weakening the Born Rule - Towards a Stateless Formulation of Quantum Mechanics

Olivier Brunet
2013
Preprints, Working Papers, ... hal-00820730v1
Image document

On the Generation of Positivstellensatz Witnesses in Degenerate Cases

David Monniaux , Pierre Corbineau
Interactive Theorem Proving, Aug 2011, Nijmegen, Netherlands. pp.249-264
Conference papers hal-00594761v1
Image document

Representation Systems and Quantum Structures

Olivier Brunet
International Journal of Theoretical Physics, 2005, 44 (12), pp.2147 - 2156. ⟨10.1007/s10773-005-8010-6⟩
Journal articles hal-00019890v1