Singular
E852920
Singular is a specialized computer algebra system focused on polynomial computations, ideal theory, and algebraic geometry.
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
computer algebra system
ⓘ
free software ⓘ |
| focusesOn |
algebraic geometry
ⓘ
ideal theory ⓘ polynomial computations ⓘ |
| hasDocumentation |
reference manual
ⓘ
tutorials ⓘ user manual ⓘ |
| hasFeature |
command-line interface
ⓘ
extensible library of algorithms ⓘ high-level programming language ⓘ interfaces to other systems ⓘ procedural language for user extensions ⓘ |
| hasMainApplicationArea |
algebraic geometry
ⓘ
commutative algebra ⓘ singularity theory ⓘ |
| isDesignedFor |
local rings
ⓘ
polynomial rings ⓘ power series rings ⓘ |
| isOptimizedFor |
large polynomial systems
ⓘ
symbolic computation efficiency ⓘ |
| isUsedBy |
mathematicians
ⓘ
researchers in algebraic geometry ⓘ researchers in commutative algebra ⓘ researchers in singularity theory ⓘ |
| isUsedFor |
algorithmic experimentation
ⓘ
research in pure mathematics ⓘ teaching computer algebra ⓘ |
| license | GPL-compatible free software license ⓘ |
| supports |
maps of modules
ⓘ
matrices ⓘ modules ⓘ non-commutative polynomial rings ⓘ |
| supportsComputationOf |
Gröbner bases
GENERATED
ⓘ
algebraic varieties GENERATED ⓘ free resolutions GENERATED ⓘ modules over polynomial rings GENERATED ⓘ primary decompositions GENERATED ⓘ singularities GENERATED ⓘ standard bases GENERATED ⓘ syzygies GENERATED ⓘ |
| supportsInterface |
integration with other CAS via libraries
ⓘ
programmatic use via APIs ⓘ |
| supportsOperatingSystem |
Linux
ⓘ
Windows NERFINISHED ⓘ macOS NERFINISHED ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.