Effective Set Membership in Computer Algebra and Beyond

DOI10.1007/978-3-540-85110-3_22zbMath1166.68371OpenAlexW1556063903WikidataQ59590615 ScholiaQ59590615MaRDI QIDQ5505506

James H. Davenport

Publication date: 27 January 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85110-3_22

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (1)

Effective Set Membership in Computer Algebra and Beyond

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the integration of algebraic functions
• Equality in computer algebra and beyond.
• Symbolic integration I: Transcendental functions
• Liouvillian solutions of linear differential equations of order three and higher
• Integration of elementary functions
• An Extension of Liouville’s Theorem on Integration in Finite Terms
• Integration of algebraic functions
• Effective Set Membership in Computer Algebra and Beyond
• Some undecidable problems involving elementary functions of a real variable
• The Problem of Integration in Finite Terms
• Symbolic integration
• A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus

This page was built for publication: Effective Set Membership in Computer Algebra and Beyond