Calcium. Computing in exact real and complex fields

DOI10.1145/3452143.3465513MaRDI QIDQ6666541zbMATH OpenWikidataFDO

Authors Fredrik Johansson

Publication date 20 January 2025

Full work available at URL https://doi.org/10.1145/3452143.3465513

zbMATH Keywords

exact real arithmeticnumber fieldsTranscendental numbers

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites work

• A procedure for proving special function inequalities involving a discrete parameter
• Algebraic simplification
• Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
• Automated simplification of large symbolic expressions
• Computations with effective real numbers
• Computing with algebraically closed fields
• Effective real numbers in Mmxlib
• Fast computation of special resultants
• Fast Library for Number Theory: An Introduction
• How to recognize zero?
• scientific article; zbMATH DE number 1254240 (Why is no real title available?)
• scientific article; zbMATH DE number 1024661 (Why is no real title available?)
• scientific article; zbMATH DE number 1746043 (Why is no real title available?)
• scientific article; zbMATH DE number 2086907 (Why is no real title available?)
• Nemo/Hecke. Computer algebra and number theory packages for the Julia programming language
• Rational simplification modulo a polynomial ideal
• The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
• The Magma algebra system. I: The user language
• What is a Closed-Form Number?
• Zero tests for constants in simple scientific computation

Cited in

(1)

• Certificate for orthogonal equivalence of real polynomials by polynomial-weighted principal component analysis

Describes a project that uses

Uses Software

• SageMath

This page was built for publication: Calcium. Computing in exact real and complex fields

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