Showing 1 - 1 results of 1 for search '"Hybrid Symbolic-numeric Certification"', query time: 2.37s Refine Results
  1. 1
    Formal Proofs for Nonlinear Optimization
    Subjects: “...Hybrid Symbolic-numeric Certification...”
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search