scientific article; zbMATH DE number 524110

zbMATH Open0802.68070MaRDI QIDQ4284599FDOQ4284599

Authors: Hans J. Stetter 

Publication date: 24 March 1994

Title of this publication is not available (Why is that?)

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

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)

Cited In (13)

• Hidden verification for computational mathematics
• Mathematics and Software Verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Verified computation of fast decreasing polynomials
• Certified approximate univariate GCDs
• Title not available (Why is that?)
• Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry
• Computer algebra procedures for verifying the definiteness of a matrix on a subspace
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proving an execution of an algorithm correct?

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)