Filtrer vos résultats
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 1
2 résultats
|
|
triés par
|
|
A Constructive Formalisation of Semi-algebraic Sets and FunctionsCPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, California, United States. pp.240-251
Communication dans un congrès
hal-01643919v1
|
||
|
Formalization of a Newton Series Representation of PolynomialsCertified Programs and Proofs, Jan 2016, St. Petersburg, Florida, United States
Communication dans un congrès
hal-01240469v1
|