hal-00414013, Version 1
Gröbner base of the alternated galoisian ideal
Valibouze A.
Journal of Symbolic Computation (2020) 12, A paraître - http://hal.archives-ouvertes.fr/hal-00414013/fr/
Type de doc :Articles dans des revues avec comité de lecture |
|
hal-00284598, Version 1
HIRONDML: Fair Threads Migrations for Objective Caml
Chailloux E., Ravet V., Verlaguet J.
Parallel Processing Letters 18, 1 (2008) 55--69 - http://hal.archives-ouvertes.fr/hal-00284598/fr/
Type de doc :Articles dans des revues avec comité de lecture |
|
hal-00407018, Version 1
Sur les relations entre les racines d'un polynôme
Valibouze A.
Acta Arithmetica 131, 1 (2008) 1-27 - http://hal.archives-ouvertes.fr/hal-00407018/fr/
Type de doc :Articles dans des revues avec comité de lecture |
|
hal-00498598, Version 1
Galoiseries
Valibouze A.
Workshop « Groups and languages », Rome : Italie (2010) - http://hal.archives-ouvertes.fr/hal-00498598/fr/
Type de doc :Conférences invitées |
|
hal-00498600, Version 1
Calcul du corps des racines d'un polynôme
Valibouze A.
Dans Voir http://www.colloquesfax.fr.tc/ - Premier colloque franco-maghrébin de Calcul formel, Iles de Kerkennah : Tunisie (2008) - http://hal.archives-ouvertes.fr/hal-00498600/fr/
Type de doc :Conférences invitées |
|
hal-00424863, Version 1
The connectivity-profile of random increasing k-trees
Darrasse A., Hwang H.-K., Bodini O., Soria M.
Dans 2010 Proceedings of the Sixth Workshop on Analytic Algorithmics and Combinatorics (ANALCO) - Workshop on Analytic Algorithmics and Combinatorics (ANALCO), Austin : États-Unis d'Amérique (2010) - http://hal.archives-ouvertes.fr/hal-00424863/fr/
Type de doc :Communications avec actes |
|
hal-00429671, Version 1
An Infrastructure for Mechanised Grading
Queinnec C.
Dans Proceedings of the 2nd International Conference on Computer Supported Education - CSEDU 2010 2nd International Conference on Computer Supported Education, Valencia : Espagne (2010) - http://hal.archives-ouvertes.fr/hal-00429671/fr/
Type de doc :Communications avec actes |
|
hal-00493573, Version 1
Multi-parallel computation of Lagrange resolvents by multi-resolvents
Valibouze A., Aubry P.
Dans TSU, Ser. Natural&Technical Sciences - Parallel Computer Algebra 2010, Tombov : Russie, Fédération De (2010) - http://hal.archives-ouvertes.fr/hal-00493573/fr/
Type de doc :Communications avec actes |
|
hal-00391817, Version 1
Fast and sound random generation for automated testing and benchmarking in Objective Caml
Canou B., Darrasse A.
Dans International Conference on Functional Programming - 2009 ACM SIGPLAN Workshop on ML, Royaume-Uni (2009) - http://hal.archives-ouvertes.fr/hal-00391817/fr/
Type de doc :Communications avec actes |
|
hal-00391815, Version 1
Limiting distribution for distances in k-trees
Darrasse A., Soria M.
Dans Combinatorial Algorithms - 20th International Workshop, IWOCA 2009, Hradec nad Moravicí : Tchèque, République (2009) - http://hal.archives-ouvertes.fr/hal-00391815/fr/
Type de doc :Communications avec actes |
|
