scientific article; zbMATH DE number 524110

MaRDI QIDQ4284599zbMATHFDO

Authors Hans J. Stetter

Publication date 24 March 1994

zbMATH Keywords

sensitivity analysiscomputer algebraresult verificationintegration of rational functionsbasis in multivariate polynomial interpolationzeros of multivariate polynomial systems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer aspects of numerical algorithms (65Y99) Numerical computation of solutions to systems of equations (65H10)

Recommendations

• scientific article; zbMATH DE number 1574491
• scientific article; zbMATH DE number 176889
• scientific article; zbMATH DE number 440795
• Recent advances in program verification through computer algebra
• On a computer algebra technology

Cited in

(13)

• scientific article; zbMATH DE number 1597553 (Why is no real title available?)
• Verified computation of fast decreasing polynomials
• Hidden verification for computational mathematics
• scientific article; zbMATH DE number 7340317 (Why is no real title available?)
• Computer algebra procedures for verifying the definiteness of a matrix on a subspace
• scientific article; zbMATH DE number 2080213 (Why is no real title available?)
• Certified approximate univariate GCDs
• scientific article; zbMATH DE number 5917352 (Why is no real title available?)
• scientific article; zbMATH DE number 1684388 (Why is no real title available?)
• Mathematics and Software Verification
• Proving an execution of an algorithm correct?
• scientific article; zbMATH DE number 1497749 (Why is no real title available?)
• Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry

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