|
|
b6011f8db4
|
[NumCS] Finish non-linear curve fitting
|
2025-12-23 19:59:13 +01:00 |
|
|
|
751d868ccb
|
[NumCS] Non-linear curve fitting start
|
2025-12-23 17:45:36 +01:00 |
|
|
|
9f908784dc
|
[NumCS] Linear curve fitting
|
2025-12-22 11:56:55 +01:00 |
|
|
|
b0bdb10a71
|
[NumCS] linear curve fitting start
|
2025-12-22 08:39:52 +01:00 |
|
|
|
25ecadb805
|
[NumCS] Start new section
|
2025-12-19 10:06:18 +01:00 |
|
Janis Hutz
|
48b1d011ee
|
Update 05_complexity.tex
|
2025-12-12 14:43:46 +00:00 |
|
|
|
ac829b7ee8
|
[TI] Compact: Fix
|
2025-12-12 13:18:26 +01:00 |
|
|
|
5f6d97ad43
|
[TI] Compact: Add intuition for reduction ordering
|
2025-12-12 10:45:06 +01:00 |
|
|
|
261100a0fc
|
[TI] Compact: fix translation
|
2025-12-10 16:18:26 +01:00 |
|
|
|
3af9f1d50b
|
[TI] Compact: Add grammar intro
|
2025-12-10 15:09:39 +01:00 |
|
|
|
2fa36dc985
|
[TI] Compact: Fixes
|
2025-12-10 13:58:33 +01:00 |
|
|
|
d3a1df6a06
|
[TI] Compact: Add another result
|
2025-12-10 10:18:00 +01:00 |
|
|
|
7d172e5cd6
|
[TI] Recompile
|
2025-12-10 10:17:46 +01:00 |
|
|
|
4def527709
|
[README] Update
|
2025-12-10 09:55:36 +01:00 |
|
|
|
8345d1f456
|
[TI] Complete rename
|
2025-12-10 09:13:50 +01:00 |
|
RobinB27
|
3dd2195f6a
|
[TI] rename
|
2025-12-09 18:14:57 +01:00 |
|
RobinB27
|
afa27510fd
|
[TI] Grammar
|
2025-12-09 18:11:27 +01:00 |
|
|
|
1c8dac60fe
|
[TI] Start grammars
|
2025-12-09 11:54:17 +01:00 |
|
|
|
6012261f77
|
[TI] Compact: Almost complete
|
2025-12-09 10:58:20 +01:00 |
|
|
|
fc3e3ea5f0
|
[TI] Fixes
|
2025-12-09 09:06:51 +01:00 |
|
|
|
833a8b5c5d
|
[TI] Compact: Start NP-completeness
|
2025-12-08 10:14:29 +01:00 |
|
RobinB27
|
c9af05ed2c
|
[TI] add ti-formulary
|
2025-12-07 18:28:18 +01:00 |
|
|
|
14070f6839
|
[TI] Compact: Basically done up to (including) 6.5
|
2025-12-06 14:44:10 +01:00 |
|
|
|
5c7d4762a1
|
[TI] Fix errors
|
2025-12-06 12:25:43 +01:00 |
|
|
|
3559973e6d
|
[TI] Compact: Finish computability, start complexity
|
2025-12-06 12:25:37 +01:00 |
|
|
|
c656bfa2e7
|
[TI] Compact: Almost finish reductions
|
2025-12-06 10:31:33 +01:00 |
|
|
|
da96fbdb48
|
[TI] Fix error
|
2025-12-03 16:57:09 +01:00 |
|
|
|
7e4fa44539
|
[TI] Compact: Start
|
2025-12-02 17:15:04 +01:00 |
|
|
|
b6ddb83224
|
[TI] Catch up
|
2025-12-02 10:16:14 +01:00 |
|
|
|
7ec73cd489
|
[NumCS] Prepare next chapter
|
2025-12-01 08:44:11 +01:00 |
|
|
|
2f27219526
|
[TI] Fix error
|
2025-11-28 15:18:50 +01:00 |
|
|
|
68ee2ec327
|
[TI] Almost catch up
|
2025-11-26 16:44:51 +01:00 |
|
|
|
30f9d722df
|
[TI] Finish class NP, start NP completeness
|
2025-11-26 15:28:24 +01:00 |
|
|
|
1525a3e1a1
|
[TI] Start NP class and proof verification section
|
2025-11-25 12:34:44 +01:00 |
|
|
|
b9a0692a68
|
[TI] Prepare next section
|
2025-11-20 10:17:20 +01:00 |
|
|
|
6533d01016
|
[TI] Fix error
|
2025-11-15 12:14:19 +01:00 |
|
|
|
ca39d24145
|
[TI] Catch up and work ahead slightly
|
2025-11-14 16:03:59 +01:00 |
|
|
|
d7c9135c79
|
[TI] Summarized up to (including) 6.3
|
2025-11-14 14:37:15 +01:00 |
|
|
|
fc416d1016
|
[TI] Prepare new chapter
|
2025-11-14 10:32:03 +01:00 |
|
|
|
64d82ef84d
|
[NumCS] Compile
|
2025-11-13 12:12:55 +01:00 |
|
|
|
885c4141b7
|
[NumCS] Done up to Chapter 6.9
|
2025-11-13 12:11:18 +01:00 |
|
RobinB27
|
7574f094bb
|
[NumCS] ++ Ch. 7 draft
|
2025-11-13 11:57:03 +01:00 |
|
|
|
6d631f6aa8
|
[TI] Finished chapter 5 mostly
|
2025-11-12 16:44:30 +01:00 |
|
|
|
e7f5ef77da
|
[NumCS] Almost finish 6.4 and start 6.5
|
2025-11-12 13:26:20 +01:00 |
|
|
|
f2e975ade7
|
[TI] Summarized reduction chapter
|
2025-11-11 16:31:43 +01:00 |
|
|
|
9546b1927f
|
[NumCS] Finish 6.3, prepare 6.4
|
2025-11-11 14:20:23 +01:00 |
|
|
|
5c23befbbb
|
[NumCS] Finish 6.2 and start 6.3
|
2025-11-11 09:40:22 +01:00 |
|
|
|
7b91173804
|
[NumCS] Fix small error
|
2025-11-10 14:43:39 +01:00 |
|
|
|
97caaa59b8
|
[NumCS] Start Chapter 6.1, fix some errors
|
2025-11-10 12:05:10 +01:00 |
|
|
|
9ac7514ab6
|
[TI] Grammar fixes, update to new helpers
|
2025-11-10 07:49:35 +01:00 |
|
