
Haskell
 Referenced in 832 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional programming language, with nonstrict semantics...

SINGULAR
 Referenced in 1314 articles
[sw00866]
 ideal. SINGULAR features fast and general implementations for computing Groebner and standard bases, including ... freeresolution computations, and many more related functionalities. Based on an easytouse interactive ... like programming language, SINGULAR’s internal functionality is augmented and userextendible by libraries written ... general and efficient implementation of communication links allows SINGULAR to make its functionality available...

LAPACK
 Referenced in 1586 articles
[sw00503]
 handled, but not general sparse matrices. In all areas, similar functionality is provided for real...

ML
 Referenced in 502 articles
[sw01218]
 Meta Language’) is a generalpurpose functional programming language. It has roots in Lisp...

SNOPT
 Referenced in 495 articles
[sw02300]
 nonlinear functions in the objective and constraints. Here we consider problems with general inequality constraints ... that uses a smooth augmented Lagrangian merit function and makes explicit provision for infeasibility...

AdaBoost.MH
 Referenced in 433 articles
[sw08517]
 study generalizations of the new boosting algorithm to the problem of learning functions whose range...

REDUCE
 Referenced in 737 articles
[sw00789]
 REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists ... expansion and ordering of polynomials and rational functions; substitutions and pattern matching in a wide...

INTLAB
 Referenced in 407 articles
[sw04004]
 structured matrices) generalized eigenvalue problems (simple and clusters) quadrature for univariate functions univariate polynomial zeros...

LMFDB
 Referenced in 91 articles
[sw07249]
 physics and cryptography. By an Lfunction, we generally mean a Dirichlet series with ... pages you will see examples of Lfunctions coming from modular forms, elliptic curves, number ... Dirichlet characters, as well as more generally from automorphic forms, algebraic varieties, and Artin representations ... www.numbertheory.org/ntw/lecture_notes.html. The subject of Lfunctions is very rich, with many interrelationships. Our goal...

Fahrmeir
 Referenced in 223 articles
[sw11047]
 Data and functions for the book ”Multivariate Statistical Modelling Based on Generalized Linear Models”, version...

CUDD
 Referenced in 147 articles
[sw04446]
 represented are characteristic functions of cube sets, or in general, when...

CompEcon
 Referenced in 47 articles
[sw04789]
 numerical integration routines for general functions and for common probability distributions, general solvers for Ordinary...

MittagLeffler
 Referenced in 71 articles
[sw12626]
 with two parameters (sometimes also called generalized exponential function). The MittagLeffler function with...

MACSYMA
 Referenced in 714 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical mathematics software product. Computer algebra system ... finding the indefinite integral of a function), or to perform very complicated computations by means...

cdd
 Referenced in 109 articles
[sw00114]
 extreme points) and extreme rays of a general convex polyhedron given by a system ... dimensional. Besides these basic functions, cdd/cdd+ can solve the general linear programming (LP) problem...

SCCP
 Referenced in 72 articles
[sw03318]
 special cases. Based on a general smoothing function, we propose in this paper...

Python
 Referenced in 1154 articles
[sw14460]
 Python is a widely used highlevel, generalpurpose, interpreted, dynamic programming language. Its design ... programming paradigms, including objectoriented, imperative and functional programming or procedural styles. It features...

mboost
 Referenced in 51 articles
[sw07331]
 gradient descent algorithm (boosting) for optimizing general risk functions utilizing componentwise (penalised) least squares ... regression trees as baselearners for fitting generalized linear, additive and interaction models to potentially...

Keccak
 Referenced in 65 articles
[sw09834]
 sponge functions. The sponge function is a generalization of the concept of cryptographic hash function...

seL4
 Referenced in 78 articles
[sw15222]
 first formal proof of functional correctness of a complete, generalpurpose operatingsystem kernel. Functional...