• TRIC

  • Referenced in 47 articles [sw02165]
  • through appropriate geometrical, trigonometrical and enigneering mathematical relations and it involves only exact integrations...
  • OPQ

  • Referenced in 442 articles [sw11881]
  • polynomials are a widely used class of mathematical functions that are helpful in the solution ... PROGRAMS FOR GENERATING ORTHOGONAL POLYNOMIALS AND RELATED QUADRATURE RULES...
  • redbKIT

  • Referenced in 255 articles [sw12977]
  • general mathematical formulation of RB methods, analyzes their fundamental theoretical properties, discusses the related algorithmic ... partial differential equations. An introduction. The whole mathematical presentation is made more stimulating...
  • MATCONT

  • Referenced in 455 articles [sw00551]
  • differential equations requires good and powerful mathematical software. Also, flexibility and extendibility of the package ... system or are written in a relatively low-level programming language, so it is hard...
  • DEA

  • Referenced in 246 articles [sw00194]
  • include more in the way of mathematics and advanced topics in DEA. People already proficient ... find the links to other DEA related Internet sites useful. Eventually I may also...
  • Anderson

  • Referenced in 102 articles [sw15192]
  • mathematics and numerical analysis communities, this method has received relatively little attention from these communities...
  • LMFDB

  • Referenced in 167 articles [sw07249]
  • database of L-functions, modular forms, and related objects. These pages are intended ... number theory and have applications to mathematical physics and cryptography. By an L-function...
  • Z

  • Referenced in 286 articles [sw10291]
  • given much more simply and elegantly by relational algebra than in the pointwise fashion used ... with a certain amount of mathematical inclination...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • communication protocol for mathematical services can be relatively generic (hence KQML suffices), as long ... computational behavior and internal state of the mathematical services is sufficiently expressive and concise (which...
  • IMPS

  • Referenced in 52 articles [sw09143]
  • partial functions and subtypes. Mathematical specification and inference are performed relative to axiomatic theories, which...
  • isl

  • Referenced in 12 articles [sw09841]
  • model. In compiler research, polytopes and related mathematical objects have been successfully used for several...
  • bootlib

  • Referenced in 461 articles [sw40642]
  • with the basic theory without emphasis on mathematical vigour. The material of the book ... ideas underlying which are closely related to resampling methods. Chapter 11 gives a short introduction...
  • Separoids

  • Referenced in 22 articles [sw08819]
  • develop some general mathematical properties of separoids and related axiom systems, as well as connections...
  • quivermutation

  • Referenced in 40 articles [sw13691]
  • Quiver mutation is related to a large number of subjects in mathematics and to Seiberg...
  • PARAFAC

  • Referenced in 24 articles [sw14789]
  • factors with differing relative weights in each ‘slice’. Mathematically, it is a straightforward generalization...
  • NFFT

  • Referenced in 83 articles [sw07610]
  • Fourier transform (NFFT) and a number of related algorithms, for example, nonequispaced fast Fourier transforms ... This article provides a survey on the mathematical concepts behind the NFFT and its variants...
  • NFFT3

  • Referenced in 69 articles [sw12736]
  • Fourier transform (NFFT) and a number of related algorithms, for example, nonequispaced fast Fourier transforms ... This article provides a survey on the mathematical concepts behind the NFFT and its variants...
  • STACK

  • Referenced in 8 articles [sw07549]
  • system for computer-aided assessment in Mathematics and related disciplines, with emphasis on formative assessment...
  • DPPy

  • Referenced in 8 articles [sw27047]
  • short survey of DPPs and relates each mathematical property with DPPy objects...
  • LEGO

  • Referenced in 108 articles [sw09685]
  • using New Jersey ML. It implements various related type systems - the Edinburgh Logical Framework ... formalization closer to that of informal mathematics. The higher-order power of its underlying type...