scientific article; zbMATH DE number 125112

MaRDI QIDQ4026762zbMATH OpenFDO

Authors Carla Limongelli, Alfonso Miola, Marco Temperini

Publication date 21 February 1993

zbMATH Keywords

mathematical problem solvingobject oriented programmingsymbolic computation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 1086643
• A sequent calculus for automated reasoning in symbolic computation systems
• scientific article; zbMATH DE number 2166404
• scientific article; zbMATH DE number 5199000
• Simple object oriented designed computer algebra system

Cited in

(15)

• Computer-human interaction in symbolic computation. With a foreword by D. S. Scott
• Abstract specification of structures and methods in symbolic mathematical computation
• Advances in the design of symbolic computation systems
• A sequent calculus for automated reasoning in symbolic computation systems
• scientific article; zbMATH DE number 2125610 (Why is no real title available?)
• Knowledge representation and problem solving in the intelligent computer algebra system STRAMS
• Simple object oriented designed computer algebra system
• scientific article; zbMATH DE number 4055029 (Why is no real title available?)
• scientific article; zbMATH DE number 78583 (Why is no real title available?)
• scientific article; zbMATH DE number 1299781 (Why is no real title available?)
• scientific article; zbMATH DE number 1086643 (Why is no real title available?)
• Collaborative computer algebra
• scientific article; zbMATH DE number 2166404 (Why is no real title available?)
• scientific article; zbMATH DE number 1569066 (Why is no real title available?)
• Artificial Intelligence and Symbolic Computation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4026762)