Numerical verification methods for spherical t-designs

Research output: Journal article publicationJournal articleAcademic researchpeer-review

1 Citation (Scopus)


The construction of spherical t-designs with (t + 1)2points on the unit sphere S2in ℝ3can be reformulated as an underdetermined system of nonlinear equations. This system is highly nonlinear and involves the evaluation of a degree t polynomial in (t+1)4arguments. This paper reviews numerical verification methods using the Brouwer fixed point theorem and Krawczyk interval operator for solutions of the underdetermined system of nonlinear equations. Moreover, numerical verification methods for proving that a solution of the system is a spherical t-design are discussed.
Original languageEnglish
Pages (from-to)317-325
Number of pages9
JournalJapan Journal of Industrial and Applied Mathematics
Issue number2-3
Publication statusPublished - 1 Jan 2009


  • Spherical designs
  • System of nonlinear equations
  • Verification

ASJC Scopus subject areas

  • General Engineering
  • Applied Mathematics


Dive into the research topics of 'Numerical verification methods for spherical t-designs'. Together they form a unique fingerprint.

Cite this