مؤتمر
Slimmer Formal Proofs for Mathematical Libraries
| العنوان: | Slimmer Formal Proofs for Mathematical Libraries |
|---|---|
| المؤلفون: | de Lamarliere, Paul Geneau, Melquiond, Guillaume, Faissole, Florian |
| المصدر: | 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH) ARITH Computer Arithmetic (ARITH), 2023 IEEE 30th Symposium on. :32-35 Sep, 2023 |
| Relation: | 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9798350319224 |
|---|---|
| تدمد: | 25762265 |
| DOI: | 10.1109/ARITH58626.2023.00026 |