
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 objectoriented geophysical and astrophysical spectralelement adaptive refinement (GASpAR ... GASpAR combines finiteelement efficiency with spectralmethod 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, curvedradial and obliquecolliding fronts. These...

jCOLIBRI
 Referenced in 7 articles
[sw17383]
 Building CBR Systems. We present an objectoriented 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 ... LevenbergMarquardt’s wellknown 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 twostep 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 XlispStat 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 ... multiscale and multifrequency 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 boundaryelement 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 objectoriented 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...