• EFD

  • Referenced in 54 articles [sw04152]
  • field k (the ground field), an elliptic curve E (with small parameters), an integer ... they identify today’s fastest methods to compute the point ... case a 4 =-3), Doubling (resp. Tripling)-oriented Doche/Icart/Kohel, Montgomery, Jacobi intersections, Jacobi quartics, Hessian ... provide a model for every elliptic curve. Since the precomputation of some little multiples...
  • GASpAR

  • Referenced in 12 articles [sw18141]
  • adaptive fluid dynamics simulation. An object-oriented geophysical and astrophysical spectral-element adaptive refinement (GASpAR ... GASpAR combines finite-element efficiency with spectral-method accuracy. It is also designed ... aspects of this code derive from existing methods, but here are synthesized into ... including the 2D Burgers equation with straight, curved-radial and oblique-colliding fronts. These...
  • jCOLIBRI

  • Referenced in 7 articles [sw17383]
  • Building CBR Systems. We present an object-oriented framework in Java for building CBR systems ... level description that separates the problem solving method, that defines the reasoning process, from ... particular CBR system, alleviating the steep learning curve typical for these type of systems...
  • BLINWDR

  • Referenced in 3 articles [sw27839]
  • extension of the widely used linear robust curve fitting program LINWDR. Besides options for different ... space. It combines these sophisticated methods with the user oriented features of LINWDR which...
  • SIDAC

  • Referenced in 1 article [sw09278]
  • SIDAC is oriented to face scientific problems such as solving differential equations, curve fitting, parameter ... Levenberg-Marquardt’s well-known methods which are included into different libraries similar to IMSL ... messages to use the numerical methods. The program is oriented at the inexperienced user...
  • ElasticMatrix

  • Referenced in 1 article [sw33497]
  • oriented programming framework and is designed to be easy to use and extend. Methods ... provided for calculating and plotting dispersion curves, displacement and stress fields, reflection and transmission coefficients...
  • MetaTracts

  • Referenced in 2 articles [sw42084]
  • composites. This work introduces MetaTracts, a novel method for extracting and visualizing individual fiber bundles ... visible. First, a coarse version of integral curves is used to trace subsections ... using a two-step approach: first by orientation, then by proximity. The tool can generate...
  • sm

  • Referenced in 1 article [sw26319]
  • kernel smoothing methods for obtaining nonparametric estimates of density functions and regression curves for different ... oriented approach. This should allow experienced Xlisp-Stat users to implement easily their own methods...
  • Lie analysis

  • Referenced in 1 article [sw39046]
  • stable inverse transformation is applied. The orientation score can be regarded as just a single ... multi-scale and multi-frequency processing. Our method relies on the combination of 5 principles ... evolutions (PDE’s) on the score, optimal curves are extracted in G via geometrical control...
  • BEMLIB

  • Referenced in 115 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • ANSYS

  • Referenced in 713 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BPOLY

  • Referenced in 13 articles [sw00089]
  • Algorithm 812: BPOLY: An object-oriented library of...
  • cdd

  • Referenced in 119 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

  • Referenced in 402 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 659 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Concepts

  • Referenced in 22 articles [sw00151]
  • The authors show how mathematical concepts can be...
  • Coq

  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...
  • COSTA

  • Referenced in 24 articles [sw00162]
  • COSTA is a research prototype which performs automatic...