- Referenced in 2 articles
- analysis of finite quasigroups, semigroups and related structures This paper presents a new software called ... construction and analysis of non-associative finite algebraic structures as well as associative systems. This...
- Referenced in 2720 articles
- Computer algebra system (CAS). Magma is a large...
- Referenced in 11547 articles
- MATLAB® is a high-level language and interactive...
- Referenced in 148 articles
- SERBA: a B.I.E. program with linear elements for...
- Referenced in 310 articles
- Our current automated deduction system Otter is designed...
- Referenced in 1424 articles
- The Abaqus Unified FEA product suite offers powerful...
- Referenced in 195 articles
- SATO: A Solver for Propositional Satisfiability: The Davis...
- Referenced in 353 articles
- MOSEK is a tool for solving mathematical optimization...
- Referenced in 152 articles
- NETGEN: An advancing front 2D/3D-mesh generator based on...