scientific article; zbMATH DE number 1254011

zbMath0926.68131MaRDI QIDQ4226993

Mircea Marin, Elena Tomuţa, Tudor Jebelean, Bruno Buchberger, Daniela Văsaru, Franz Kriftner

Publication date: 30 May 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Mathematica 3.0

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

\textit{Theorema}: Towards computer-aided mathematical theory exploration, SAD as a mathematical assistant -- how should we go from here to there?, Formal and efficient primality proofs by use of computer algebra oracles, Commutative algebra in the Mizar system, Unnamed Item, Hidden verification for computational mathematics, Logicographic symbols, Synthesis of list algorithms by mechanical proving, On the role of OpenMath in interactive mathematical documents, Theorema, The evidence algorithm and problems of representation and processing of mathematical computer knowledge, Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)

Uses Software

• Mathematica