
DeepLLL
 Referenced in 3 articles
[sw10240]
 polynomial time version of LLL with deep insertions. Lattice reduction algorithms have numerous applications ... algorithm was LLL with deep insertions (DeepLLL). The output of this version...

PotLLL
 Referenced in 3 articles
[sw10241]
 polynomial time version of LLL with deep insertions. Lattice reduction algorithms have numerous applications ... algorithm was LLL with deep insertions (DeepLLL). The output of this version...

DeepA2
 Referenced in 1 article
[sw42471]
 multidimensional, modular framework for performing deep argument analysis (DeepA2) using current pretrained language ... informal argumentation, as valid arguments: It inserts, e.g., missing premises and conclusions, formalizes inferences ... text. We create a synthetic corpus for deep argument analysis, and evaluate ArgumentAnalyst on this...

gvnn
 Referenced in 1 article
[sw31211]
 between classic geometric computer vision and deep learning. Inspired by the recent success of Spatial ... geometric computer vision. These layers can be inserted within a neural network much...

Gmsh
 Referenced in 783 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

NTL
 Referenced in 222 articles
[sw00638]
 NTL is a highperformance, portable C++ library...

R
 Referenced in 10196 articles
[sw00771]
 R is a language and environment for statistical...

SageMath
 Referenced in 2033 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

TetGen
 Referenced in 185 articles
[sw04046]
 TetGen, a DelaunayBased Quality Tetrahedral Mesh Generator...

CPLEX
 Referenced in 2804 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

Gurobi
 Referenced in 727 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

ABAQUS
 Referenced in 1616 articles
[sw04215]
 The Abaqus Unified FEA product suite offers powerful...

fda (R)
 Referenced in 1571 articles
[sw04511]
 fda: Functional Data Analysis , These functions were developed...

JOBSHOP
 Referenced in 94 articles
[sw04807]
 JOBSHOP is a set of C programs for...

Ipopt
 Referenced in 787 articles
[sw04808]
 Ipopt (Interior Point OPTimizer, pronounced eyepeaOpt...

Eigen
 Referenced in 218 articles
[sw05781]
 Eigen is a C++ template library for linear...

ProbLog
 Referenced in 102 articles
[sw06945]
 ProbLog is a probabilistic logic programming language based...