The misfortunes of a trio of mathematicians using computer algebra systems. Can we trust in them?

DOI10.1090/NOTI1173MaRDI QIDQ2813263zbMATH OpenOpenAlexFDO

Authors A. J. Durán, Juan Luis Varona, Mario Pérez

Publication date 15 June 2016

Published in Notices of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/noti1173

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Methodology of mathematics (00A35)

Cited in

(14)

• Modelling algebraic structures and morphisms in ACL2
• Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm
• Verified Quadratic Virtual Substitution for Real Arithmetic
• Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light}
• ROSCoq: robots powered by constructive reals
• Iscalc: An Interactive Symbolic Computation Framework (System Description)
• Verified interactive computation of definite integrals
• Comparative verification of the digital library of mathematical functions and computer algebra systems
• Computing with an algebraic-perturbation variant of Barvinok's algorithm
• Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
• A Formal Proof of the Computation of Hermite Normal Form in a General Setting
• Formal analysis of continuous-time systems using Fourier transform
• Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker
• Some conjectures on Wronskian and Casorati determinants of orthogonal polynomials

This page was built for publication: The misfortunes of a trio of mathematicians using computer algebra systems. Can we trust in them?

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