A framework for an ICT-based study of parametric integrals

DOI10.1007/s11786-017-0299-zzbMath1387.26004OpenAlexW2609447785WikidataQ60692054 ScholiaQ60692054MaRDI QIDQ1701638

Thierry Dana-Picard, David G. Zeitoun

Publication date: 27 February 2018

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-017-0299-z

zbMATH Keywords

computer algebra systemsparametric integralsrecurrence differential equation

Mathematics Subject Classification ID

Iteration of real functions in one variable (26A18) One-variable calculus (26A06) Computer aspects of numerical algorithms (65Y99)

Uses Software

• OEIS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Meta-Fibonacci sequences, binary trees and extremal compact codes
• Theorems for a price: Tomorrow's semi-rigorous mathematical culture
• A multiple integral evaluation inspired by the multi-WZ method
• Sequences of definite integrals, infinite series and Stirling numbers
• Integral presentations of Catalan numbers
• Exploration of parametric integrals related to a question of soil mechanics

This page was built for publication: A framework for an ICT-based study of parametric integrals