scientific article; zbMATH DE number 1684388

MaRDI QIDQ2760232zbMATH OpenFDO

Authors Hans J. Stetter

Publication date 3 September 2002

zbMATH Keywords

computer algebra systemsmodellingsimulation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• A real polynomial decision algorithm using arbitrary-precision floating point arithmetic
• scientific article; zbMATH DE number 524110
• scientific article
• Single precision computation of the sign of algebraic predicates
• A probabilistic analysis of the power of arithmetic filters

Cited in

(2)

• Errata: Data analysis using a geometrical representation of predicate calculus
• A generic algebra for data collections based on constructive logic

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