Automated reasoning in reduction rings using the Theorema system (Q3454553)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automated reasoning in reduction rings using the Theorema system |
scientific article; zbMATH DE number 6513559
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automated reasoning in reduction rings using the Theorema system |
scientific article; zbMATH DE number 6513559 |
Statements
Automated Reasoning in Reduction Rings Using the Theorema System (English)
0 references
25 November 2015
0 references
Gröbner bases
0 references
reduction rings
0 references
mathematical theory exploration
0 references
automated reasoning
0 references
formalized mathematics
0 references
0.8864814639091492
0 references
0.7557668685913086
0 references
0.7504754066467285
0 references
0.7480757236480713
0 references
