Filter your results
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Certification of Bounds of Non-linear Functions: the Templates MethodConferences on Intelligent Computer Mathematics (CICM 2013), Jul 2013, Bath, United Kingdom. pp.51-65, ⟨10.1007/978-3-642-39320-4_4⟩
Conference papers
hal-00932333v1
|
||
|
Entropy supplementary conservation law for non-linear systems of PDEs with non-conservative terms: application to the modelling and analysis of complex fluid flows using computer algebraCommunications in Mathematical Sciences, 2020, 18 (2), pp.515-534. ⟨10.4310/CMS.2020.v18.n2.a10⟩
Journal articles
hal-01978949v2
|
||
|
Dimension results for extremal-generic polynomial systems over complete toric varieties2023
Preprints, Working Papers, ...
hal-04102564v1
|