Book section Open Access

VSDITLU: a verified symbolic definite integral table look-up.

Adams, A.A.; Gottliebsen, H.; Linton, S.A.; Martin, U.


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
45
5
views
downloads
All versions This version
Views 4545
Downloads 55
Data volume 521.2 kB521.2 kB
Unique views 4545
Unique downloads 55

Share

Cite as