Commits · master · ti2 / Publications / einsum-language

May 28, 2025
- removed deprecated todo · aa24000e
  Maurice Wenig authored 2 weeks ago
  
  aa24000e
May 21, 2025
- post meeting · 9b40fcff
  Maurice Wenig authored 2 weeks ago
  
  9b40fcff
- Small changes in Sections 1, 2, and 3. · 9e6c6131
  Joachim Giesen authored 2 weeks ago
  
  9e6c6131
May 07, 2025
- A comma and other small stuff · c49713b1
  Paul Gerhardt Rump authored 1 month ago
  
  c49713b1
Apr 22, 2025
- Notes on remaining proofs · 3915bd32
  Paul Gerhardt Rump authored 1 month ago
  
  3915bd32
- Fixed two errors in regularity proff · 098f2c57
  Paul Gerhardt Rump authored 1 month ago
  
  098f2c57
- Optional change in new proof · 8233a92a
  Paul Gerhardt Rump authored 1 month ago
  
  8233a92a
Apr 17, 2025
- fixed raw rightarrow · 77d4a229
  Maurice Wenig authored 1 month ago
  
  77d4a229
- post meeting + proof that format strings are regular · fca6f93b
  Maurice Wenig authored 1 month ago
  
  fca6f93b
Apr 16, 2025
- Review finished. · 7325e75b
  Paul Gerhardt Rump authored 1 month ago
  
  7325e75b
- Review up till delta split · 031ced92
  Paul Gerhardt Rump authored 1 month ago
  
  031ced92
- Minor edits up to syntax · 03eeebb8
  Paul Gerhardt Rump authored 1 month ago
  
  03eeebb8
Apr 14, 2025
- some citations · fa86aefc
  Maurice Wenig authored 1 month ago
  
  fa86aefc
Apr 04, 2025
- post meeting · 2b2543e3
  Maurice Wenig authored 2 months ago
  
  2b2543e3
Mar 20, 2025
- added intro example, shortened scalars to comment · 5cca4c3b
  Maurice Wenig authored 2 months ago
  
  5cca4c3b
- moved # to syntax, shortened semiring paragraph and context free proof,... · 76c3ee37
  Maurice Wenig authored 2 months ago
  76c3ee37
Mar 19, 2025
- meeting edits · 1397ca4c
  Maurice Wenig authored 2 months ago
  
  1397ca4c
Mar 14, 2025
- syntax section slightly changed, first attempt at writing down context-free... · 4694e8fb
  Maurice Wenig authored 2 months ago
  4694e8fb
Feb 13, 2025
- Smaller edits sections 1-3 · b407651a
  Paul Gerhardt Rump authored 3 months ago
  
  b407651a
Feb 10, 2025
- Minor stuff I forgot · 4dc2284b
  Paul Gerhardt Rump authored 3 months ago
  
  4dc2284b
- Semantics small edits · 08e998d0
  Paul Gerhardt Rump authored 3 months ago
  
  08e998d0
- Syntax revision · 69f566da
  Paul Gerhardt Rump authored 3 months ago
  
  69f566da
- Terminology · ddc666ff
  Paul Gerhardt Rump authored 3 months ago
  
  ddc666ff
Jan 29, 2025
- Intro draft 2 WIP · 62472dc2
  Paul Gerhardt Rump authored 4 months ago
  
  62472dc2
Jan 28, 2025
- Abstract redraft · 925118fb
  Paul Gerhardt Rump authored 4 months ago
  
  925118fb
Jan 09, 2025
- Ideas for intro + abstract draft · e555584d
  Paul Gerhardt Rump authored 5 months ago
  
  e555584d
Dec 17, 2024
- intro to properties, domain for result tensor, changed naming around result... · d0286906
  Maurice Wenig authored 5 months ago
  d0286906
Dec 10, 2024
- intro to commutativity · 3656df3c
  Maurice Wenig authored 6 months ago
  
  3656df3c
- added example for general associativity, small fixes · a7186a73
  Maurice Wenig authored 6 months ago
  
  a7186a73
Dec 04, 2024
- Very minor edits because I just happened to see things. · be6b427f
  Paul Gerhardt Rump authored 6 months ago
  
  be6b427f
- Comment boxes first version · 88970dec
  Paul Gerhardt Rump authored 6 months ago
  
  88970dec
Dec 03, 2024
- removed general tensor expressions, interweaved some practice with the proofs,... · ea18a8ce
  Maurice Wenig authored 6 months ago
  ea18a8ce
Nov 29, 2024
- meeting notes etc · ffa2c639
  Maurice Wenig authored 6 months ago
  
  ffa2c639
Nov 28, 2024
- Name and E-Mail · 489dc6df
  Paul Gerhardt Rump authored 6 months ago
  
  489dc6df
- first words about contraction paths · 411831b1
  Maurice Wenig authored 6 months ago
  
  411831b1
Nov 27, 2024
- small structure changes · c43f2390
  Maurice Wenig authored 6 months ago
  
  c43f2390
Nov 19, 2024
- small fix in example · e800e4a7
  eichelb4rt authored 6 months ago
  
  e800e4a7
- restyled new words as textbf instead of quotes or emph · ce8c2695
  eichelb4rt authored 6 months ago
  
  ce8c2695
- first attempt at intro · c18fa9cd
  eichelb4rt authored 6 months ago
  
  c18fa9cd
- post meeting notes · 6c3a0e5b
  eichelb4rt authored 6 months ago
  
  6c3a0e5b