Open AccessLogic algebra problems solving in the Maple computer algebra system
Author(s) -
M.S. Savarcov,
S.N. Markov
Publication year - 2020
Language(s) - English
DOI - 10.18411/lj-06-2020-86
Subject(s) - maple , algebra over a field , symbolic computation , computer science , mathematics , programming language , pure mathematics , mathematical analysis , botany , biology