Search - Département de mathématiques appliquées Access content directly

Filter your results

3 Results
Domains :

Certification of Bounds of Non-linear Functions: the Templates Method

Xavier Allamigeon , Stéphane Gaubert , Victor Magron , Benjamin Werner
Conferences 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
Image document

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 algebra

Pierre Cordesse , Marc Massot
Communications 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 varieties

Matías R Bender , Pierre-Jean Spaenlehauer
Preprints, Working Papers, ... hal-04102564v1