Towards a symbolic computational philosophy (and methodology!) for mathematics

DOI10.1007/978-3-319-00966-7_4MaRDI QIDQ5261839zbMATH OpenOpenAlexFDO

Authors Doron Zeilberger

Publication date 8 July 2015

Published in Mathematics, Computer Science and Logic - A Never Ending Story (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-00966-7_4

zbMATH Keywords

symbolic computation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• scientific article; zbMATH DE number 62481
• scientific article; zbMATH DE number 524093
• scientific article; zbMATH DE number 1822247
• An incompleteness theorem for the natural world
• Artificial Intelligence and Symbolic Computation

Cited in

(2)

• Steps toward a computational metaphysics
• Computing with Numbers and Other Non-syntactic Things: De re Knowledge of Abstract Objects†

Describes a project that uses

Uses Software

• Theorema
• EKHAD
• SumTools

This page was built for publication: Towards a symbolic computational philosophy (and methodology!) for mathematics

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