Since 2014
Sur un Exemple de Patrick Greussay
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Sur un Exemple de Patrick Greussay
|
|
| Creator |
Danvy, Olivier
|
|
| Description |
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.
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
2004-12-11
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/21866
10.7146/brics.v11i41.21866 |
|
| Source |
BRICS Report Series; No 41 (2004): RS-41 Sur un Exemple de Patrick Greussay
BRICS Report Series; No 41 (2004): RS-41 Sur un Exemple de Patrick Greussay 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/21866/19293
|
|
| Rights |
Copyright (c) 2015 BRICS Report Series
|
|