Robert D. Carr
- Fractional Decomposition Tree Algorithm: A tool for studying the integrality gap of Integer Programs
2020/06/12 by Robert D. Carr, Carr, Robert D., Arash Haddadan +3 · 1 citation
Computer Science · Engineering · #Advanced Graph Theory Research #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Formal Methods in Verification #Vehicle Routing Optimization Methods
- Prove-It: A Proof Assistant for Organizing and Verifying General\n Mathematical Knowledge
2020/12/20 by Wayne Witzel, Warren D. Craft, Witzel, Wayne M. +5 · 1 voice
Computer Science · #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Numerical Methods and Algorithms #Quantum Physics (quant-ph)