Implicit and Explicit Proof Management in KeYmaera X.

Published in: F-IDE@NFM (2021)

Keyphrases

knowledge management
data management
information systems
theorem proving
explicit knowledge
information management
neural network
management system
decision support
explicit feedback
data processing
project management
configuration management
database