Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Zhiping Shi; Yong Guan; Ximeng Li
    978-981-15-7261-6
    2020
    Edition 1
    • Describes the computer-assisted formalization of complex analysis and matrix theory
    • Includes both the formalization of theoretical results and the verification of algorithms that are practically used
    • Provides detailed information on related developments in the research community and outlines potential future directions, helping put the technical content into perspective

    €260

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.