swMATH143WikidataQ3681793 ScholiaQ3681793MaRDI QIDQ12911FDOQ12911
Author name not available (Why is that?)
Official website: https://sites.google.com/view/cocoa-cocoalib
Cited In (only showing first 100 items - show all)
- Hyperplane arrangements in CoCoA
- homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA
- A Singular Introduction to Commutative Algebra
- CoCoA-5.2.2 and CoCoALib
- Epsilon
- FGb
- finvar.lib
- Gb
- Ginv
- HOM4PS
- IBM Scratchpad
- Macaulay2
- Maple
- Title not available (Why is that?)
- SingSurf
- SINGULAR
- slimgb
- SNAP
- ALLTYPES
- 4ti2
- LattE
- Gfan
- PHoM
- RRQR
- Geometer's Sketchpad
- LAD
- Homology
- Kan
- MPSolve
- KSEG
- libpoly
- Symmetry in Chaos
- Frobby
- Mgfun
- ApCoCoA
- BIBasis
- EdgeIdeals
- Binomials.m2
- Cabri 3D
- Groebner
- StableBBasisNBM5
- MonomialAlgebras
- CALI
- CRACK
- Coxeter
- SEGRE
- SgpDec
- CaTS
- CUMODP
- MathLibre
- MAS
- GRIN
- Jets
- alexander
- JanetOre
- Calques 3D
- Bertini_real
- IFSGen4LaTeX
- Lugares
- GEX
- ProjectionCAD
- QPoints
- GANITH
- libnormaliz
- control.cpkg
- webDiscovery
- cisimplicial
- cimonom
- mregular
- modst.lib
- classifyCeq.lib
- Metalibm
- AlgebraicThomas
- toric.lib
- Hdepth
- Polyhedra
- QuillenSuslin
- SimplicialComplexes
- SimplicialDecomposability
- PerMuVAR
- Algorithm 931
- TiGERS
- InvolutiveBases
- Help
- Catfact
- moregroebner
- gllm
- normal.lib
- symmetry
- BoijSoederberg
- Inverse-syst
- polymake_toric
- First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems
- Efficient algorithms for geometric control of systems over rings
- CoCoALib: A C++ library for computations in commutative algebra\(\dots \) and beyond
- The design of CoCoALib
- Groebner bases in Theorema
- Normaliz 2013--2016
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
- On a class of monomial ideals
This page was built for software: CoCoA