Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
000119 | Khalil Ghorbal [France] ; Andrew Sogokon [Royaume-Uni] ; André Platzer [États-Unis] | A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets |
This area was generated with Dilib version V0.6.38. |