Formalizing basic quaternionic analysis

DOI10.1007/978-3-319-66107-0_15zbMath1483.68489OpenAlexW2747541017MaRDI QIDQ1687738

Marco Maggesi, Andrea Gabrielli

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

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

Related Items (1)

Formalization of geometric algebra in HOL Light

Uses Software

• HOL Light

Cites Work

• Unnamed Item
• A certified proof of the Cartan fixed point theorems
• 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
• Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm
• A new approach to Cullen-regular functions of a quaternionic variable
• Regular Functions of a Quaternionic Variable
• Quaternionic analysis
• Theorem Proving in Higher Order Logics

This page was built for publication: Formalizing basic quaternionic analysis