Poids de l’Open access dans la production CNRS
Home
Resources
Graphs
Search
Export
Sign in
Titre
A Reflexive Tactic for Polynomial Positivity using Numerical Solvers and Floating-Point Computations
XX
BSO - Titre
A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations
XX
DOI
DOI
10.1145/3018610.3018622
XX
DOAI
DOAI
10.1145/3018610.3018622
XX
Identifiant WoS
WOS:000405305600010
XX
Accès ouvert
OA - Oui
XX
Source - Accès ouvert
OA - Non
XX
Type d'accès
Archive
XX
Editeur
ACM Press
XX
Source
PROCEEDINGS OF THE 6TH ACM SIGPLAN CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP'17
XX
Type de document
Proceedings Paper
XX
Notoriété
0 - Sans notoriété
XX
CNRS
Oui
XX
CNRS - Institut
INS2I - Institut des sciences de l'information et de leurs interactions
XX
uid:/7ML6N0L3
12/10/2021 14:52:47 (latest)
Add field
Share/Export
Powered by
Lodex
9.6.0
