
CLIFFORD
 Referenced in 82 articles
[sw00131]
 space V endowed with an arbitrary bilinear form B. Two userselectable algorithms...

PDEBellII
 Referenced in 12 articles
[sw12572]
 PDEBellII: a Maple package for finding bilinear forms, bilinear Bäcklund transformations, Lax pairs and conservation ... PDEBellII which can automatically construct the bilinear forms, bilinear Bäcklund transformations, Lax pairs and conservation...

MFEM
 Referenced in 42 articles
[sw09043]
 elements, as well as many bilinear and linear forms defined on them. It includes classes...

WKPtest
 Referenced in 16 articles
[sw17943]
 integrability, such as Lax pairs, bilinear forms, Darboux transformations and explicit solutions. The effectiveness...

HBFTrans2
 Referenced in 7 articles
[sw07125]
 Maple package to construct Hirota bilinear form for nonlinear equations. An improved algorithm for symbolic ... computation of Hirota bilinear form of nonlinear equations by a logarithm transformation is presented...

Bilinearization
 Referenced in 5 articles
[sw15172]
 implementation for the algorithm of Hirota bilinear form of PDE in the Maple system. Based ... reliable algorithm for generating a bilinear form of a class of nonlinear partial differential equations ... PDEs) is described and a Maple package Bilinearization is established. The package will ... helpful for looking for the bilinear form of nonlinear PDEs by a logarithm transformation...

HBFGen
 Referenced in 2 articles
[sw28042]
 maple package to construct the Hirota bilinear form for nonlinear equations. A reliable algorithm ... symbolic computation of Hirota bilinear form of nonlinear equations by a logarithm transformation is restudied...

surfacesignature.lib
 Referenced in 3 articles
[sw33626]
 intersection form (cf. [1],[7]). H_2(V_e,R) is an mdimensional ... symmetric bilinear form. Let sigma(f) be the signature of s, called the signature...

scikitfem
 Referenced in 3 articles
[sw34986]
 main purpose is the transformation of bilinear forms into sparse matrices and linear forms into...

HBHGen
 Referenced in 1 article
[sw08909]
 maple package to construct the Hirota bilinear form for nonlinear equations. A reliable algorithm ... symbolic computation of Hirota bilinear form of nonlinear equations by a logarithm transformation is restudied...

Glyph
 Referenced in 1 article
[sw34870]
 algebra Cl(B) of an arbitrary bilinear form B in a vector space...

AutHyp
 Referenced in 1 article
[sw22773]
 integral lattice endowed with a hyperbolic bilinear form. The paper will be organized as follows...

MathOptInterface.jl
 Referenced in 3 articles
[sw38215]
 from integer programming with indicator constraints to bilinear semidefinite programming. We also outline an automated ... constraint. MathOptInterface has been implemented in practice, forming the foundation of a recent rewrite...

DOP
 Referenced in 1 article
[sw10739]
 bilinear operator [J. Phys. Soc. Japan 55, 2137 (1986)] and the Wronskian form...

QuBiLsMIDAS
 Referenced in 2 articles
[sw13982]
 linear (bilinear), threelineal and fourlinear (multilinear or Nlinear) algebraic forms. Thus...

OBOE
 Referenced in 2 articles
[sw35832]
 constrained model selection and hyperparameter tuning. OBOE forms a matrix of the crossvalidated errors ... learning problems. Moreover, the success of the bilinear model used by OBOE suggests that AutoML...

BARON
 Referenced in 339 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

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

CONSLAW
 Referenced in 7 articles
[sw00155]
 An improved algorithm to explicitly compute the polynomial...

Coq
 Referenced in 1856 articles
[sw00161]
 Coq is a formal proof management system. It...