Maple-based introductory visual guide to Gröbner bases
Bibliographic record
Abstract
In 1975 the Consejo Superior de Investigaciones Científicas (the main Spanish institution for scientific research) published the monograph [14] by the second author (by the way, father and Ph.D. advisor of the first author). Its title could be translated as "Geometric Interpretation of Ideal Theory" (nowadays Ideal Theory is not normally used, in favour of Commutative Algebra). It somehow illustrated the geometric ideas underlying the basics of the classic books of the period (like [2, 11, 16]) and was a success: although written in Spanish, the edition was sold out.Of course there are much more modern books on ideals and varieties than [2, 11, 16], such as the famous [7] or [8], that illustrate the theory with images. Moreover, there are introductory works to Gröbner bases such as [3, 9, 12, 13, 15], as well as books on the topic like [1], and articles about applications, like the early [4]. Even a summary in English of the original Ph.D. Thesis by Bruno Buchberger is available [5]. Nevertheless, we believe that there is a place for a visual guide to Gröbner bases, as there was a place for [14]. For instance, statistical packages are probably the pieces of mathematical software best known by non-mathematicians, and they are frequently used as black boxes by users with a slight knowledge of the theory behind. Meanwhile, Gröbner bases, the most common exact method behind non-linear polynomial systems (algebraic systems) solving, although incorporated to all computer algebra systems, are only known by a relatively small ratio of the members of the scientific community, most of them mathematicians. This article presents in an intuitive and visual way an illustrative selection of ideals and their Gröbner bases, together with the plots of the (real part) of their corresponding algebraic varieties, computed and plotted with Maple [6, 10]. A minimum amount of theoretical details is given. We believe that exact algebraic systems solving could also be used as a black box by non-mathematicians just understanding the basic ideas underlying commutative algebra and computer algebra.
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
How this classification was reachedexpand
Full frame machine prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. The Gemma side is a direct model label for every work in the frame, read from the title-only record. The Codex side is a classifier learned from the 10,348 direct Codex labels and calibrated to design-weighted sample rates; fields without enough sample support carry no Codex call. Candidate is the union of the two sides; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels.
Distilled classifier scores by category (both heads)
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.001 | 0.006 |
| Meta-epidemiology (narrow) | 0.002 | 0.001 |
| Meta-epidemiology (broad) | 0.001 | 0.001 |
| Bibliometrics | 0.004 | 0.004 |
| Science and technology studies | 0.001 | 0.001 |
| Scholarly communication | 0.003 | 0.005 |
| Open science | 0.002 | 0.002 |
| Research integrity | 0.001 | 0.003 |
| Insufficient payload (model declined to judge) | 0.385 | 0.227 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from itClassification
machine, unvalidatedMachine predicted; a candidate call from one source (direct Gemma or distilled Codex), not a consensus.
How this classification was reached, model by model and score by score, is at the end of the page under "How this classification was reached".