Self-correcting for function fields of finite transcendental degree

DOI10.1007/3-540-60084-1_104zbMath1412.68303OpenAlexW89484947MaRDI QIDQ4645210

Manuel Blum, Troy Shahoumian, Bruno Codenotti, Peter S. Gemmell

Publication date: 10 January 2019

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60084-1_104

zbMATH Keywords

function fieldfinite fieldlinear differential equationmultivariate functiontranscendental degree

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Algebraic field extensions (12F05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract differential equations (12H20)

Cites Work

• Highly resilient correctors for polynomials
• Self-testing/correcting with applications to numerical problems
• Designing programs that check their work
• Checking approximate computations over the reals
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Self-correcting for function fields of finite transcendental degree