Laboratory of Advanced Software in Mathematics

Research Output 2002 2019

Filter
Chapter (peer-reviewed)
2018

A Mixed Integer Quadratic Formulation for the Shortest Vector Problem

Kimura, K. & Waki, H., 2018, Mathematical Modelling for Next-Generation Cryptography . p. 239-255 (Mathematics for Industry).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Vertex Representation of Convex Hulls for Fast Evaluation of Boundary Constraints in Model-Based Calibration for Automotive Engines

Nae, F. & Waki, H., 2018, (Accepted/In press) Proceedings of Forum ``Math-for-Industry" 2016. (Mathematics for Industry).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

2014

Strict Feasibility of Conic Optimization Problems

Waki, H., 2014, A Mathematical Approach to Research Problems of Science and Technology. Springer Singapore, Vol. 5. p. 325-335 (Mathematics for Industry).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)