A certified program for the Karatsuba method to multiply polynomials

DOI10.1134/S0361768822010078zbMath1494.68313OpenAlexW4210297266MaRDI QIDQ2132545

S. D. Meshveliani

Publication date: 28 April 2022

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768822010078

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Polynomials, factorization in commutative rings (13P05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• Coq
• Agda
• UniMath
• Lean
• GitHub
• DoCon-A

Cites Work

• Fast multiplication of large numbers
• Modern Computer Algebra
• Univalent Foundations of Mathematics
• The Lean Theorem Prover (System Description)
• Dependently Typed Programming in Agda
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A certified program for the Karatsuba method to multiply polynomials