Update Engine prototype

Glen Whitney 2024-02-28 23:59:06 +00:00
parent 9760bac1c9
commit f0858bc261

@ -56,6 +56,7 @@ Some of these are obvious, but we may as well write them down. Note we may want
* Since generally speaking, at least for most of the starting list of constraints, each constraint is quadratic, there _might_ be some useful information here * Since generally speaking, at least for most of the starting list of constraints, each constraint is quadratic, there _might_ be some useful information here
* [Paper on deciding the existence of solutions](http://arxiv.org/abs/2106.08119) * [Paper on deciding the existence of solutions](http://arxiv.org/abs/2106.08119)
* [Relevant Math.StackExchange question](https://math.stackexchange.com/questions/2119007/how-do-you-solve-a-system-of-quadratic-equations) * [Relevant Math.StackExchange question](https://math.stackexchange.com/questions/2119007/how-do-you-solve-a-system-of-quadratic-equations)
* If say we are seeking the closest satisfying point to some input, it might be that we are trying to minimize a nonnegative polynomial, and then some of the information at https://en.wikipedia.org/wiki/Positive_polynomial might be relevant.
Feel free to add in other ideas in any of these categories. Feel free to add in other ideas in any of these categories.