Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

6 résultats
Page :
triés par

Factorization in Z[x]: the searching phase

 John Abbott , Victor Shoup , Paul Zimmermann
International Symposium on Symbolic and Algebraic Computation - ISSAC 2000, Aug 2000, St Andrews/United Kingdom, pp.1--7
Communication dans un congrès inria-00099116v1

Satisfiability Checking and Symbolic Computation

 Thomas Sturm , Erika Abraham , John A. Abbott , Bern W. Becker , Anna Maria Bigatti , et al.
ACM Communications in Computer Algebra, 2016, 50 (4), pp.145-147. ⟨10.1145/3055282.3055285⟩
Article dans une revue hal-01648695v1
Image document

SC 2 : Satisfiability Checking meets Symbolic Computation (Project Paper)

 Eriká H Abrahám , John Abbott , Bernd Becker , Anna M Bigatti , Martin M Brain , et al.
Intelligent Computer Mathematics, Jul 2016, Bialystok, Poland
Communication dans un congrès hal-01377655v1
Image document

Genomic analysis of European Drosophila melanogaster populations reveals longitudinal structure, continent-wide selection, and previously unknown DNA viruses

 Martin Kapun , Maite G Barrón , Fabian Staubach , Darren J Obbard , R Axel W. Wiberg , et al.
Molecular Biology and Evolution, 2020, 37 (9), pp.2661-2678. ⟨10.1093/molbev/msaa120⟩
Article dans une revue hal-03014405v1

A directed search for continuous Gravitational Waves from the Galactic Center

 J. Aasi , J. Abadie , B. P. Abbott , R. Abbott , T. Abbott , et al.
Physical Review D, 2013, 88, 102002 [13 p.]. ⟨10.1103/PhysRevD.88.102002⟩
Article dans une revue hal-00906576v1

Search for long-lived gravitational-wave transients coincident with long gamma-ray bursts

 J. Aasi , J. Abadie , B. P. Abbott , R. Abbott , T. Abbott , et al.
Physical Review D, 2013, 88 (12), pp.122004. ⟨10.1103/PhysRevD.88.122004⟩
Article dans une revue hal-00919901v1
Page :