-
1مؤتمر
المصدر: 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)
-
2دورية أكاديمية
المؤلفون: Faissole, FlorianAff1, IDs1081702309686y_cor1
المصدر: Journal of Automated Reasoning. 68(1)
-
3تقرير
URL الوصول: http://arxiv.org/abs/2104.05256
-
4مؤتمر
المؤلفون: Boldo, Sylvie, Faissole, Florian, Tourneur, Vincent
المصدر: 2018 IEEE 25th Symposium on Computer Arithmetic (ARITH) Computer Arithmetic (ARITH), 2018 IEEE 25th Symposium on. :69-75 Jun, 2018
Relation: 2018 IEEE 25th Symposium on Computer Arithmetic (ARITH)
-
5مؤتمر
المؤلفون: Faissole, Florian
المصدر: 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2017 19th International Symposium on. :121-128 Sep, 2017
Relation: 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
-
6دورية أكاديمية
المؤلفون: Belo Lourenço, Cláudio, Cousineau, Denis, Faissole, Florian, Marché, ClaudeAff1, IDs10009022006800_cor4, Mentré, David, Inoue, Hiroaki
المصدر: International Journal on Software Tools for Technology Transfer. 24(6):977-997
-
7تقرير
المؤلفون: Bidlingmaier, Martin E., Faissole, Florian, Spitters, Bas
المصدر: Mathematical Structures in Computer Science, 1-29, 2021
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Category Theory
URL الوصول: http://arxiv.org/abs/1912.07339
-
8مؤتمر
المؤلفون: Boldo, Sylvie, Faissole, Florian, Chapoutot, Alexandre
المصدر: 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH) ARITH Computer Arithmetic (ARITH), 2017 IEEE 24th Symposium on. :82-89 Jul, 2017
Relation: 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH)
-
9دورية أكاديمية
المؤلفون: Boldo, SylvieAff1, IDs10817021096120_cor1, Clément, FrançoisAff2, Aff3, Faissole, Florian, Martin, Vincent, Mayero, Micaela
المصدر: Journal of Automated Reasoning. 66(2):175-213
-
10مؤتمر
المؤلفون: Faissole, Florian, Constantinides, George A., Thomas, David
المصدر: 2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) FCCM Field-Programmable Custom Computing Machines (FCCM), 2019 IEEE 27th Annual International Symposium on. :315-315 Apr, 2019
Relation: 2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)