Skip to content

Commit

Permalink
draining
Browse files Browse the repository at this point in the history
  • Loading branch information
kohlhase committed Jan 9, 2024
1 parent 5376925 commit 244d4e3
Showing 1 changed file with 5 additions and 4 deletions.
9 changes: 5 additions & 4 deletions kwarcpubs.bib
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
@string{kpmessage = "READ the README please!!!!!!!!!!!!!!"}
@STRING{stexyear = 2023}
@STRING{stexyear = 2024}
@STRING{testing = 16}

@article{KohBer:PV23,
Expand Down Expand Up @@ -1302,6 +1302,7 @@ @article{BerKohRab:dfm19
title = {(Deep) FAIR Mathematics},
journal = {it -- Information Technology},
year = "2020",
publisher = "De Gruyter Oldenbourg",
volume = "62",
number = "1",
pages = "7--17",
Expand Down Expand Up @@ -1372,16 +1373,16 @@ @mastersthesis{Rupprecht:msc
url = {https://gl.kwarc.info/supervision/MSc-archive/blob/master/2019/Rupprecht_Marcel.pdf},
pubs = {mscthesis,odk,mathhub}}

@article{CarFarKohRab:bmobb19,crossref={CarFarKohRab:bmobb21}}
@article{CarFarKohRab:bmobb21,
author = {Jacques Carette and William M. Farmer and Michael Kohlhase and Florian Rabe},
title = {Big Math and the One-Brain Barrier -- The Tetrapod Model of Mathematical Knowledge},
year = 2021,
doi = {10.1007/s00283-020-10006-0},
journal = {Mathematical Intelligencer},
volume = {43},
volume={43},
number = {1},
pages = {78--87},
pubisher = {Springer Verlag},
doi={10.1007/s00283-020-10006-0},
pubs = {mkohlhase,frabe,tetrapod,odk,oaf}}
@unpublished{Kohhase:tpm19,
Expand Down

0 comments on commit 244d4e3

Please sign in to comment.