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}
}
89
10
views
downloads
All versions This version
Views 8989
Downloads 1010
Data volume 1.0 MB1.0 MB
Unique views 8989
Unique downloads 1010

Share

Cite as