Scientific Computing

Sort by: Newly listed

Conic Linear Optimization for Computer-Assisted Proofs

Oberhausen-Rheinhausen , Germany

Abstract Deadline : 2021-09-15

Event Date : 2022-04-20 To 2022-04-16

  • 1