A Heuristic Prover for Real Inequalities

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 08, 2016
Source ID
10.1007/s10817-015-9356-y

Entities

People

  • Cody Roux
  • Jeremy Avigad
  • Robert Y. Lewis

Organizations

  • Air Force Office of Scientific Research