
MeshDGP
 Referenced in 1 article
[sw24999]
 Gaussian Curvature Based, Discrete Exterior Calculus: Trivial Connection, Geodistance, Conformal Flow, Geodistance: Biharmonic, Diffusion, Commute...

SOLAR
 Referenced in 19 articles
[sw00888]
 tableau calculus. The ability to find nontrivial consequences of an axiom set is useful ... answering and nonmonotonic reasoning. SOL is a connection tableau calculus which is complete for finding...

Distal
 Referenced in 2 articles
[sw17451]
 ends up in several thousands of nontrivial lines of Java or C++. Distal ... deals with low level issues such as connection management, threading and (de)serialization...

robot_arm
 Referenced in 1 article
[sw13300]
 continuously sample one configuration from each connected component of the constrained configuration spaces ... problem that in itself is nontrivial. We demonstrate the simplicity and the low complexity...

CoCoA
 Referenced in 631 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

GAP
 Referenced in 2876 articles
[sw00320]
 GAP is a system for computational discrete algebra...

LEDA
 Referenced in 261 articles
[sw00509]
 In the core computer science areas  data structures...

Macaulay2
 Referenced in 1692 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 2917 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

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

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

nauty
 Referenced in 561 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

PARI/GP
 Referenced in 595 articles
[sw00680]
 PARI/GP is a widely used Computer Algebra System...

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

SINGULAR
 Referenced in 1408 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

deal.ii
 Referenced in 560 articles
[sw03516]
 deal.II is a C++ program library targeted at...

PLINK
 Referenced in 61 articles
[sw04581]
 PLINK is a free, opensource whole genome...

UG
 Referenced in 190 articles
[sw04596]
 UG  a flexible software toolbox for solving partial...

DLMF
 Referenced in 2331 articles
[sw04968]
 NIST digital library of mathematical functions. The National...

OEIS
 Referenced in 3479 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...