Formalization of the Nominative Algorithmic Algebra in Mizar.

Artur Kornilowicz Andrii Kryvolap Mykola S. Nikitchenko Ievgen Ivanov

Published in: ISAT (2) (2017)

Keyphrases

computer assisted
knowledge representation
algebraic expressions
formal model
query language
relational algebra
operational semantics
data model
laplace transform
database
natural language
query processing
website
e learning
information systems
real time
formal analysis
algebraic operations
algebraic geometry