Proof-relevance in Bishop-style constructive mathematics.

Published in: Math. Struct. Comput. Sci. (2022)

Keyphrases

information retrieval
computer science
mathematical knowledge
theorem proving
relevance feedback
real time
linear logic
mathematical proofs
theorem prover
test collection
document retrieval
retrieval effectiveness
expert systems
case study
clustering algorithm
proof search
proof planning
website
web pages