|
|
f0858bc261
|
Update Engine prototype
|
2024-02-28 23:59:06 +00:00 |
|
|
|
a82304d638
|
Update Engine prototype
|
2024-02-13 22:44:50 +00:00 |
|
|
|
1352af7a3f
|
Specify "real"
|
2024-02-13 21:52:12 +00:00 |
|
|
|
2d1fccd845
|
Add challenging examples with respect to performance and finding witnesses
|
2024-02-13 21:00:41 +00:00 |
|
|
|
ec05e29ef9
|
Discuss hyperplane hit rate with and without scale constraint
|
2024-02-10 19:23:31 +00:00 |
|
|
|
26feacb01e
|
Record hyperplane cut results
|
2024-02-10 18:50:27 +00:00 |
|
|
|
c0a3e71283
|
Update Engine prototype
|
2024-02-10 01:09:07 +00:00 |
|
|
|
71f519e7cb
|
Update Engine prototype
|
2024-02-09 22:02:47 +00:00 |
|
|
|
a31019a65b
|
Add book link
|
2024-02-09 21:43:41 +00:00 |
|
|
|
401624f476
|
Update Engine prototype
|
2024-02-09 21:40:14 +00:00 |
|
|
|
c23dbce8d8
|
Add Sottile book reference
|
2024-02-09 21:38:25 +00:00 |
|
|
|
44ad03ef81
|
Add decision problem
|
2024-02-09 21:23:02 +00:00 |
|
|
|
76ffbe5d5b
|
Update Engine prototype
|
2024-02-08 23:01:27 +00:00 |
|
|
|
15d387b772
|
Update Engine prototype
|
2024-02-08 22:59:26 +00:00 |
|
|
|
65911d9e6a
|
Update Engine prototype
|
2024-02-08 22:55:41 +00:00 |
|
|
|
f829f81a27
|
Update Engine prototype
|
2024-02-08 22:54:09 +00:00 |
|
|
|
5a59adf907
|
Update Engine prototype
|
2024-02-08 22:46:40 +00:00 |
|
|
|
c49cc775b4
|
Update Engine prototype
|
2024-02-08 22:09:15 +00:00 |
|
|
|
e854cc7d16
|
Update Engine prototype
|
2024-02-08 22:08:16 +00:00 |
|
|
|
aa492d3a11
|
Update Engine prototype
|
2024-02-08 22:05:31 +00:00 |
|
|
|
cb668e4961
|
Update Engine prototype
|
2024-02-08 21:20:34 +00:00 |
|
|
|
dc372ddb1f
|
Add notes on finding rational points
|
2024-02-05 05:00:09 +00:00 |
|
|
|
ae084f0d18
|
Describe test suite
|
2024-02-04 23:46:59 +00:00 |
|
|
|
920e4ea0e3
|
Remove unnecessary heading
|
2024-02-04 23:45:05 +00:00 |
|
|
|
627d05eb4b
|
Start notes on engine prototype, with basis optimization as the first topic
|
2024-02-04 23:44:28 +00:00 |
|
