Formalizing basic quaternionic analysis

DOI10.1007/978-3-319-66107-0_15MaRDI QIDQ1687738zbMATH OpenOpenAlexFDO

Authors Andrea Gabrielli, Marco Maggesi

Publication date 4 January 2018

Full work available at URL https://doi.org/10.1007/978-3-319-66107-0_15

Mathematics Subject Classification ID

Numerical aspects of computer graphics, image analysis, and computational geometry (65D18) Functions of hypercomplex variables and generalized variables (30G35) Formalization of mathematics in connection with theorem provers (68V20) Quaternionic functional analysis (46S05)

Recommendations

• The HOL Light theory of Euclidean space
• scientific article; zbMATH DE number 3966650
• A new theory of regular functions of a quaternionic variable
• Slice hyperholomorphic Schur analysis
• Quaternions, evaluation of integrals and boundary value problems

Cites work

• scientific article; zbMATH DE number 3227205 (Why is no real title available?)
• A certified proof of the Cartan fixed point theorems
• A new approach to Cullen-regular functions of a quaternionic variable
• Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm
• Identification of spatial PH quintic Hermite interpolants with near-optimal shape measures
• Implementing geometric algebra products with binary trees
• Pythagorean-hodograph curves. Algebra and geometry inseparable
• Quaternionic analysis
• Regular functions of a quaternionic variable
• Theorem Proving in Higher Order Logics

Cited in

(1)

• Formalization of geometric algebra in HOL Light

Describes a project that uses

Uses Software

• HOL Light

This page was built for publication: Formalizing basic quaternionic analysis

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