{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T08:42:43Z","timestamp":1776847363803,"version":"3.51.2"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,10,2]],"date-time":"2010-10-02T00:00:00Z","timestamp":1285977600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Numer. Math."],"published-print":{"date-parts":[[2011,2]]},"DOI":"10.1007\/s00211-010-0332-5","type":"journal-article","created":{"date-parts":[[2010,10,1]],"date-time":"2010-10-01T14:55:46Z","timestamp":1285944946000},"page":"289-305","source":"Crossref","is-referenced-by-count":45,"title":["Computational existence proofs for spherical t-designs"],"prefix":"10.1007","volume":"117","author":[{"given":"Xiaojun","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Frommer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Lang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,10,2]]},"reference":[{"key":"332_CR1","volume-title":"Introduction to Interval Computations. Computer Science and Applied Mathematics","author":"G. Alefeld","year":"1983","unstructured":"Alefeld G., Herzberger J.: Introduction to Interval Computations. Computer Science and Applied Mathematics. Academic Press, New York (1983)"},{"key":"332_CR2","doi-asserted-by":"crossref","first-page":"1392","DOI":"10.1016\/j.ejc.2008.11.007","volume":"30","author":"E. Bannai","year":"2009","unstructured":"Bannai E., Bannai E.: A survey on spherical designs and algebraic combinatorics on spheres. Eur. J. Comb. 30, 1392\u20131425 (2009)","journal-title":"Eur. J. Comb."},{"key":"332_CR3","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/B978-0-12-428660-3.50011-2","volume-title":"A New Approach to Scientific Computing","author":"H. B\u00f6hm","year":"1983","unstructured":"B\u00f6hm H.: Evaluation of arithmetic expressions with maximum accuracy. In: Kulisch, U., Miranker, W.L. (eds) A New Approach to Scientific Computing, pp. 121\u2013137. Academic Press, New York (1983)"},{"key":"332_CR4","doi-asserted-by":"crossref","first-page":"2326","DOI":"10.1137\/050626636","volume":"44","author":"X. Chen","year":"2006","unstructured":"Chen X., Womersley R.S.: Existence of solutions to systems of underdetermined equations and spherical designs. SIAM J. Numer. Anal. 44, 2326\u20132341 (2006)","journal-title":"SIAM J. Numer. Anal."},{"key":"332_CR5","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/BF03187604","volume":"6","author":"P. Delsarte","year":"1977","unstructured":"Delsarte P., Goethals J.M., Seidel J.J.: Spherical codes and designs. Geom. Dedicata 6, 363\u2013388 (1977)","journal-title":"Geom. Dedicata"},{"key":"332_CR6","unstructured":"Frommer, A., Lang, B.: Fast and accurate multi-argument interval evaluation of polynomials. In: Proceedings of the 12th GAMM\u2014IMACS international symposium on scientific computing, computer arithmetic and validated numerics (SCAN 2006), p. 31, Los Alamitos, CA, USA, 2006. IEEE Computer Society"},{"key":"332_CR7","volume-title":"Matrix Computations","author":"G.H. Golub","year":"1996","unstructured":"Golub G.H., Van Loan C.F.: Matrix Computations. 3rd edn. The Johns Hopkins Univ. Press, Baltimore (1996)","edition":"3"},{"key":"332_CR8","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/BF02711518","volume":"15","author":"R.H. Hardin","year":"1996","unstructured":"Hardin R.H., Sloane N.J.A.: McLaren\u2019s improved snub cube and other new spherical designs in three dimensions. Discrete Comput. Geom. 15, 429\u2013441 (1996)","journal-title":"Discrete Comput. Geom."},{"key":"332_CR9","unstructured":"Kearfott, R.B., Nakao, M.T., Neumaier, A., Rump, S.M., Shary, S.P., van Hentenryck, P.: Standardized notation in interval analysis (2005). http:\/\/www.mat.univie.ac.at\/~neum\/ms\/notation.pdf"},{"key":"332_CR10","volume-title":"C-XSC. A C++ Class Library for Extended Scientific Computing","author":"R. Klatte","year":"1993","unstructured":"Klatte R., Kulisch U.W., Wiethoff A., Lawo Ch., Rauch M.: C-XSC. A C++ Class Library for Extended Scientific Computing. Springer, Berlin (1993)"},{"key":"332_CR11","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1080\/10652469308819013","volume":"1","author":"J. Korevaar","year":"1993","unstructured":"Korevaar J., Meyers J.L.H.: Spherical Faraday cage for the case of equal point charges and Chebyshev-type quadrature on the sphere. Integral Transform. Spec. Funct. 1, 105\u2013117 (1993)","journal-title":"Integral Transform. Spec. Funct."},{"key":"332_CR12","unstructured":"Kr\u00e4mer, W., Hofschuster, W.: C-XSC 2.0: A C++ library for extended scientific computing. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Numerical Software With Result Verification. International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19\u201324, 2003. Revised papers. Lecture Notes in Computer Science, vol. 2991, pp. 15\u201335. Springer, Berlin (2004)"},{"key":"332_CR13","doi-asserted-by":"crossref","first-page":"670","DOI":"10.1002\/pamm.200410316","volume":"4","author":"W. Kr\u00e4mer","year":"2004","unstructured":"Kr\u00e4mer W., Popova E.D.: Zur Berechnung von verl\u00e4sslichen Au\u00dfen- und Inneneinschlie\u00dfungen bei parameterabh\u00e4ngigen linearen Gleichungssystemen. Proc. Appl. Math. Mech. 4, 670\u2013671 (2004)","journal-title":"Proc. Appl. Math. Mech."},{"key":"332_CR14","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF02234767","volume":"4","author":"R. Krawczyk","year":"1969","unstructured":"Krawczyk R.: Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken. Computing 4, 187\u2013201 (1969)","journal-title":"Computing"},{"key":"332_CR15","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1023\/B:NUMA.0000049480.57066.fa","volume":"37","author":"E.D. Popova","year":"2004","unstructured":"Popova E.D.: Parametric interval linear solver. Numer. Algorithms 37, 345\u2013356 (2004)","journal-title":"Numer. Algorithms"},{"key":"332_CR16","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/B978-0-12-428660-3.50010-0","volume-title":"A New Approach to Scientific Computation","author":"S.M. Rump","year":"1983","unstructured":"Rump S.M.: Solving algebraic problems with high accuracy. In: Kulisch, U., Miranker, W.L. (eds) A New Approach to Scientific Computation, pp. 51\u2013120. Academic Press, New York (1983)"},{"key":"332_CR17","unstructured":"Rump, S.M.: Verification methods for dense and sparse systems of equations. In: Herzberger, J. (ed.) Topics in Validated Computations, Stud. Comput. Math., vol. 5, pp. 63\u2013135. Elsevier, Amsterdam (1994)"},{"issue":"216","key":"332_CR18","doi-asserted-by":"crossref","first-page":"1503","DOI":"10.1090\/S0025-5718-96-00773-9","volume":"65","author":"S.M. Rump","year":"1996","unstructured":"Rump S.M.: Expansion and estimation of the range of nonlinear functions. Math. Comput. 65(216), 1503\u20131512 (1996)","journal-title":"Math. Comput."},{"key":"332_CR19","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-94-017-1247-7_7","volume-title":"Developments in Reliable Computing","author":"S.M. Rump","year":"1999","unstructured":"Rump S.M.: INTLAB\u2014interval laboratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77\u2013104. Kluwer, Dordrecht (1999)"},{"key":"332_CR20","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0001-8708(84)90022-7","volume":"52","author":"P.D. Seymour","year":"1984","unstructured":"Seymour P.D., Zaslavsky T.: Averaging sets: a generalization of mean values and spherical designs. Adv. Math. 52, 213\u2013240 (1984)","journal-title":"Adv. Math."},{"key":"332_CR21","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1023\/B:ACOM.0000016428.25905.da","volume":"21","author":"I.H. Sloan","year":"2004","unstructured":"Sloan I.H., Womersley R.S.: Extremal systems of points and numerical integration on the sphere. Adv. Comp. Math. 21, 102\u2013125 (2004)","journal-title":"Adv. Comp. Math."},{"key":"332_CR22","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1016\/j.jat.2009.02.014","volume":"159","author":"I.H. Sloan","year":"2009","unstructured":"Sloan I.H., Womersley R.S.: A variational characterization of spherical designs. J. Approx. Theory 159, 308\u2013318 (2009)","journal-title":"J. Approx. Theory"},{"key":"332_CR23","unstructured":"Womersley, R.S.: Interpolation and cubature on the sphere. http:\/\/web.maths.unsw.edu.au\/~rsw\/Sphere\/Extremal\/New\/index.html"}],"container-title":["Numerische Mathematik"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-010-0332-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00211-010-0332-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-010-0332-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T16:22:44Z","timestamp":1558628564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00211-010-0332-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,2]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,2]]}},"alternative-id":["332"],"URL":"https:\/\/doi.org\/10.1007\/s00211-010-0332-5","relation":{},"ISSN":["0029-599X","0945-3245"],"issn-type":[{"value":"0029-599X","type":"print"},{"value":"0945-3245","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,10,2]]}}}