Open AccessSur un Exemple de Patrick Greussay
Author(s) -
Olivier Danvy
Publication year - 2004
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v11i41.21866
Subject(s) - correctness , sublinear function , marie curie , calculus (dental) , curie , mathematics , philosophy , computer science , sociology , mathematical economics , humanities , discrete mathematics , algorithm , physics , economics , curie temperature , medicine , dentistry , european union , quantum mechanics , economic policy , ferromagnetism
This note was written at the occasion of the retirement of Jean-Francois Perrot at the Universite Pierre et Marie Curie (Paris VI). In an attempt to emulate his academic spirit, we revisit an example proposed by Patrick Greussay in his doctoral thesis: how to verify in sublinear time whether a Calder mobile is well balanced. Rather than divining one solution or another, we derive a spectrum of solutions, starting from the original specification of the problem. We also prove their correctness.