
Magma
 Referenced in 3137 articles
[sw00540]
 package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics. It provides ... fields, modules, algebras, schemes, curves, graphs, designs, codes and many others. Magma also supports...

cubicaltt
 Referenced in 39 articles
[sw22723]
 Cubical type theory. Code library. Experimental implementation of Cubical Type Theory...

Book3264Examples
 Referenced in 84 articles
[sw27519]
 intersection theory. This package consists almost entirely of example code for the main text ... Intersection Theory in Algebraic Geometry’ by Eisenbud and Harris. Most of the example code relies...

mftoolbox
 Referenced in 574 articles
[sw23743]
 associated with the book Functions of Matrices: Theory and Computation and contains implementations of many ... development of more sophisticated implementations. The codes are ”plain vanilla” versions; they contain the core...

Adinkras
 Referenced in 26 articles
[sw09383]
 Adinkras has already shown connections with coding theory and Clifford algebras. Furthermore, adinkras offer many...

Qextension
 Referenced in 21 articles
[sw11094]
 developed software in the area of Coding Theory. Using it, codes with given properties...

RIM_DOM.F90
 Referenced in 36 articles
[sw25510]
 integrals with boundaryonly discretizationtheory and Fortran code. A set of boundary integrals ... singular domain integrals. A selfcontained Fortran code is listed and described for numerical implementation ... boundary integrals. The main feature of the theory is that only the boundary ... presented formulations and the included code...

Agda
 Referenced in 199 articles
[sw09689]
 assist in the development of your code). Agda is also a proof assistant ... proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed...

Fluid flow phenomena
 Referenced in 66 articles
[sw15481]
 concrete links between theory and practice, offering a large number of codes which allow ... dynamics.par A wellbalanced mix between the theory and the wide range of applications makes...

POLSYS_PLP
 Referenced in 18 articles
[sw01238]
 POLSYS_PLP. A partitioned linear product homotopy code for solving polynomial systems of equations ... been rapid evolution of both theory and codes. Homotopy (continuation) methods are a principal tool...

Wirtinger Flow
 Referenced in 101 articles
[sw34175]
 terms of computational and data resources. In theory, a variation on this scheme leads ... physically realizable model based on coded diffraction patterns. We illustrate the effectiveness of our methods...

Code_Aster
 Referenced in 56 articles
[sw06676]
 Code_Aster is mainly a solver for mechanics, based on the theory of Finite elements ... software for solid mechanics, Code_Aster compiles specific research in various fields : fatigue, damage, fracture...

MADM
 Referenced in 128 articles
[sw06484]
 Decision Making in Manufacturing Environment Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods ... various realworld application examples. Also, computer codes for AHP, TOPSIS, DEA, PROMETHEE, ELECTRE, COPRAS ... Decision Making in Manufacturing Environment Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods...

CVC4
 Referenced in 116 articles
[sw09485]
 large number of builtin logical theories and their combination. CVC4 is the fourth ... Lite, CVC3) but does not directly incorporate code from any previous version. A joint project...

BerkeleyGW
 Referenced in 8 articles
[sw17734]
 conjunction with many densityfunctional theory codes for groundstate properties, including PARATEC, PARSEC, Quantum...

BEMECH
 Referenced in 114 articles
[sw10847]
 solid mechanics, beginning with basic theory and then explaining the numerical implementation ... stateoftheart BEM computer code, available for the first time...

CSparse
 Referenced in 216 articles
[sw20382]
 depth knowledge of the underlying theory, algorithms, and data structures found in sparse matrix software ... sparse solver packages and write code to interface applications to those packages. The book also...

OpenLB
 Referenced in 26 articles
[sw08549]
 lattice Boltzmann theory stepbystep. Thanks to this, the code is an excellent framework...

cvc3
 Referenced in 85 articles
[sw04886]
 automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. CVC3 is the last offspring ... system. In particular, it builds on the code base of CVC Lite, its most recent...

EnviroStat
 Referenced in 25 articles
[sw11048]
 analysis of environmental spacetime processes. Companion code to the book ... third part presents the fully general multivariate theory that may be used to design networks ... theory in practice. With the help of software, more specifically R codes, values at ungauged ... monitoring sites are selected. The mathematical theory for the suggested methods is explained...