LOCUS

LOCUS crée un nouveau cadre théorique et algorithmique à l'intersection du calcul formel, de géométrie algorithmique et statistique de haute dimension et de l’optimisation. Il se concentre sur l'échantillonnage et l'intégration dans des corps convexes, des algorithmes d'optimisation convexe et des applications en biologie structurale. Il vise à fournir des algorithmes théoriques efficaces et des logiciels open source pour les problèmes d'intérêt.