scientific article; zbMATH DE number 4020473

MaRDI QIDQ3763587zbMATH OpenFDO

Authors B. F. Caviness

Publication date 1985

zbMATH Keywords

algebraic ideal theorycomputer algebra systemsdecision procedures for logical theoriesdevelopment in computer algebra in the period from 1966 to 1985differential equationseducationfactorization of multivariate polynomialsfuture software developmentgcdintegrationMacsymamu-Mathopen problemsparallel algorithms and architecturesreal closed fieldsReduceSAC/ALDESsummationsymbolic roots of polynomials

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Symbolic computation and algebraic computation (68W30)

Cited in

(8)

• Computer algebra: Past and future
• Challenges of symbolic computation: My favorite open problems. With an additional open problem by Robert M. Corless and David J. Jeffrey
• scientific article; zbMATH DE number 4087009 (Why is no real title available?)
• scientific article; zbMATH DE number 1023370 (Why is no real title available?)
• scientific article; zbMATH DE number 1140679 (Why is no real title available?)
• scientific article; zbMATH DE number 1944657 (Why is no real title available?)
• scientific article; zbMATH DE number 1759393 (Why is no real title available?)
• scientific article; zbMATH DE number 4189190 (Why is no real title available?)

Describes a project that uses

Uses Software

• REDUCE
• MACSYMA

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 Q3763587)