From 70c78fe7acbce40bee90319846ff410b7239b3fc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me>
Date: Wed, 1 Jul 2020 11:19:53 +0200
Subject: [PATCH] report: comment on Q4
---
doc/report/applications.tex | 2 +-
doc/report/references.bib | 5 +++++
2 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/doc/report/applications.tex b/doc/report/applications.tex
index 05604df..9728a95 100644
--- a/doc/report/applications.tex
+++ b/doc/report/applications.tex
@@ -148,7 +148,7 @@ proof of concept implementations.
study in mathematics particular attractive for use in computer
algebra systems (CAS)~\cite{groebner}. This query is asking for
concrete implementations of Gröbner Bases that match the definition
- in the Archive of Formal Proofs (AFP).
+ in the Archive of Formal Proofs~(AFP)~\cite{afp}.
We do have ULO/RDF exports for the AFP~\cite{uloisabelle}. Stated
like this, we can probably assume that $\mathcal{Q}_4$ is a query
diff --git a/doc/report/references.bib b/doc/report/references.bib
index 74d92ba..517f834 100644
--- a/doc/report/references.bib
+++ b/doc/report/references.bib
@@ -115,4 +115,9 @@
organization = {Dublin Core Metadata Initiative},
urldate = {2020-06-30},
url = {https://www.dublincore.org/schemas/rdfs/},
+}
+@online{afp,
+ title={Archive of Formal Proofs},
+ urldate = {2020-07-01},
+ url = {https://www.isa-afp.org/},
}
\ No newline at end of file
--
GitLab