On Preserving the Computational Content of Mathematical Proofs: Toy Examples for a Formalising Strategy.

Angeliki Koutsoukou-Argyraki

Published in: CiE (2021)

Keyphrases

mathematical proofs
multimedia
web content
computational power
optimal strategy
metadata
expert systems
training examples
user experience
search strategy
image details