Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics

DOI10.1007/978-3-319-00966-7_4zbMath1319.03020OpenAlexW112827684MaRDI QIDQ5261839

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)

Uses Software

• EKHAD
• SumTools
• Unnamed Item

This page was built for publication: Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics