The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems. Can We Trust in Them?
From MaRDI portal
Publication:2813263
DOI10.1090/noti1173zbMath1338.68299OpenAlexW2126690912MaRDI QIDQ2813263
Antonio J. Duran, Juan Luis Varona, Mario Pérez Riera
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
Related Items (10)
Formal analysis of continuous-time systems using Fourier transform ⋮ Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? ⋮ ROSCoq: Robots Powered by Constructive Reals ⋮ A Formal Proof of the Computation of Hermite Normal Form in a General Setting ⋮ Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light} ⋮ Computing with an algebraic-perturbation variant of Barvinok's algorithm ⋮ Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm ⋮ Verified interactive computation of definite integrals ⋮ Some Conjectures on Wronskian and Casorati Determinants of Orthogonal Polynomials ⋮ Modelling algebraic structures and morphisms in ACL2
This page was built for publication: The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems. Can We Trust in Them?
