Minimality of the root functions of Sturm-Liouville problems with a boundary condition depending linearly on an eigenparameter
-
2026-08-02
CONDITIONAL
MODERATE
v1.3.0-alltime-deepseek
novelty 5.0
168509 ms
16122 in
21268 out
2026-08-02T10:35:14.037633+00:00
-
2026-07-14
UNVERDICTED
LOW
v1.1.0-grok45
novelty 5.0
21974 ms
6043 in
2353 out
2026-07-14T17:32:56.492256+00:00
-
2026-07-01
UNVERDICTED
LOW
v0.9.1-grok
novelty 4.0
39731 ms
5677 in
1048 out
2026-07-01T07:02:51.272074+00:00
-
2026-06-26
UNVERDICTED
LOW
v0.9.1-grok
novelty 5.0
21575 ms
5677 in
1016 out
2026-06-26T11:20:53.717935+00:00