scientific article
From MaRDI portal
Publication:3497625
zbMath1175.68411MaRDI QIDQ3497625
Claudio Sacerdoti Coen, Enrico Tassi
Publication date: 27 July 2009
Full work available at URL: http://jfr.cib.unibo.it/article/view/1334
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
Validating Mathematical Structures ⋮ Hints in Unification ⋮ Packaging Mathematical Structures ⋮ A study on fractional differential equations using the fractional Fourier transform ⋮ The swap of integral and limit in constructive mathematics ⋮ The Matita Interactive Theorem Prover ⋮ About the Formalization of Some Results by Chebyshev in Number Theory
Uses Software
This page was built for publication:
