Multiple-valued complex functions and computer algebra

DOI10.1145/235699.235702MaRDI QIDQ4810133zbMATH OpenOpenAlexFDO

Authors Helmer Aslaksen

Publication date 1 September 2004

Published in ACM SIGSAM Bulletin (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to functions of a complex variable (30-01) Symbolic computation and algebraic computation (68W30)

Cited in

(2)

• Proof assistant decision procedures for formalizing origami
• Automating Side Conditions in Formalized Partial Functions

This page was built for publication: Multiple-valued complex functions and computer algebra

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