Book section Open Access

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

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


BibTeX Export

@misc{adams_a_a_1999_810871,
  author       = {Adams, A.A. and
                  Gottliebsen, H. and
                  Linton, S.A. and
                  Martin, U.},
  title        = {{VSDITLU: a verified symbolic definite integral 
                   table look-up.}},
  month        = jan,
  year         = 1999,
  publisher    = {Springer-Verlag},
  doi          = {10.5281/zenodo.810871},
  url          = {https://doi.org/10.5281/zenodo.810871}
}
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