The misfortunes of a trio of mathematicians using computer algebra systems. Can we trust in them?
From MaRDI portal
Publication:2813263
DOI10.1090/NOTI1173zbMATH Open1338.68299OpenAlexW2126690912MaRDI QIDQ2813263FDOQ2813263
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
Cited In (14)
- Some conjectures on Wronskian and Casorati determinants of orthogonal polynomials
- Formal analysis of continuous-time systems using Fourier transform
- Verified interactive computation of definite integrals
- Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
- Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm
- Verified Quadratic Virtual Substitution for Real Arithmetic
- Iscalc: An Interactive Symbolic Computation Framework (System Description)
- A Formal Proof of the Computation of Hermite Normal Form in a General Setting
- Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker
- Modelling algebraic structures and morphisms in ACL2
- Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light}
- Comparative verification of the digital library of mathematical functions and computer algebra systems
- ROSCoq: robots powered by constructive reals
- Computing with an algebraic-perturbation variant of Barvinok's algorithm
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)
