Pith. sign in

REVIEW 3 major objections 4 minor 53 references

Tropical geometry

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Tropical varieties are piecewise-linear combinatorial shadows of algebraic varieties, built from max-plus polynomials and linked by valuations.

desk verdict A useful teaching survey whose Section 4 states the Fundamental Theorem of Tropical Geometry without the necessary closure, and that error should be fixed before the chapter is used. read the letter →

arxiv 1908.07012 v1 pith:YC2EHNTL submitted 2019-08-19 math.AG math.CO

Ralph Morrison This is my paper · ORCID
classification math.AGmath.CO MSC 14T0514H5052B20
keywords tropicalgeometrymax-plussemiringNewtonpolytopedualitytheoremcurvessurfacestropicalizationvaluation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This survey chapter sets out the standard picture of tropical geometry: redefine arithmetic so that addition means taking a maximum and multiplication means ordinary addition, and polynomial equations define piecewise-linear objects called tropical varieties. Its central claim is that these objects are not arbitrary polyhedral complexes: a tropical curve is the planar dual of the subdivision of its Newton polygon induced by the polynomial's coefficients, and the same duality organizes tropical surfaces and intersection curves in higher dimensions. The survey then presents tropicalization, the valuation-based bridge that sends algebraic varieties over algebraically closed valued fields to tropical varieties. If the exposition is right, a reader comes away able to convert algebraic curve and surface problems into concrete combinatorial drawings and to know which classical theorems, such as Bezout's theorem, survive in this tropical setting.

What carries the argument

The load-bearing machinery is the pair consisting of the Duality Theorem and tropicalization. The Duality Theorem converts a tropical polynomial's coefficients into a height function on the lattice points of its Newton polytope, producing an induced subdivision whose planar or polyhedral dual is exactly the tropical hypersurface; this one mechanism lets the survey draw tropical curves from triangulations without ever writing a polynomial, count smooth curves, and read off skeleta. Tropicalization is the valuation map $-\operatorname{val}$ applied coordinate-wise to algebraic varieties over a valued field, together with the coefficient-wise tropicalization of polynomials; the Fundamental Theorem identifies the closure of $-\operatorname{val}(V(I))$ with the common vanishing locus of all tropicalized polynomials in the ideal. Stable intersection, defined by perturbing one curve and taking a limit, is the auxiliary device that makes tropical intersection theory well behaved in non-transversal cases.

What would settle it

Find a regular unimodular triangulation of the degree-4 triangle whose dual tropical curve has the lollipop graph as its skeleton. The survey, following [2] and [7], asserts that no such curve exists and that only four of the five genus-3 graphs are troplanar; one example would disprove that classification.

Watch

Extended reading notes

Core claim

The paper's core discovery, presented as a survey, is that tropical varieties are exactly the combinatorial objects encoded by Newton polytope subdivisions. A tropical polynomial $p(x_1,\ldots,x_n)$ is evaluated as $\max_{(i_1,\ldots,i_n)}(c_{i_1\cdots i_n} + i_1x_1 + \cdots + i_nx_n)$, and its tropical variety is the locus where this maximum is achieved at least twice. The Duality Theorem, cited from [39, Proposition 3.1.6], asserts that for a tropical plane curve this locus is dual to the subdivision of the Newton polygon induced by the coefficients: vertices, edges, rays, and regions of the curve correspond respectively to polygons, interior edges, boundary edges, and lattice points of the subdivision. Weighted edges satisfy a balancing condition, and smoothness of the curve is equivalent to the subdivision being a unimodular triangulation. The same principle extends to tropical surfaces via Newton polytopes and to intersection curves via Cayley polytopes and stable intersections. The Fundamental Theorem of Tropical Geometry, cited from [39, Theorem 3.2.3], states that over an algebraically closed nontrivially valued field the image of an algebraic variety under coordinate-wise valuation equals, up to closure, the intersection of the tropicalizations of its defining polynomials; this is what makes tropical geometry a faithful shadow of algebraic geometry rather than a formal imitation.

Load-bearing premise

The exposition relies on the Duality Theorem and the Fundamental Theorem of Tropical Geometry as cited from [39]; if either cited theorem has additional hypotheses that fail in the broad settings the survey claims, the survey's blanket statements about tropical curves, surfaces, and tropicalization would overstate what is established.

Editorial extensions

If this is right

  • Every tropical plane curve can be drawn from a regular subdivision of its Newton polygon, and every regular unimodular triangulation of a lattice polygon yields a smooth tropical curve, so curve drawing becomes a purely discrete-geometric activity.
  • Tropical Bezout's theorem holds: two tropical plane curves of degrees $d$ and $e$ have exactly $d\cdot e$ intersection points counted with multiplicity, with the stable intersection repairing non-transversal cases.
  • The classification of tropical plane curve skeleta is finite in each genus: there are exactly 2, 4, 13, and 37 troplanar graphs of genus 2 through 5, with only four of the five genus-3 graphs realized (the lollipop graph is excluded).
  • Tropicalization gives a lifting theorem: when two tropical varieties intersect in the expected dimension, their intersection points lift to algebraic intersection points with the expected multiplicities, and the classical count of 28 bitangents of a quartic is recoverable from the seven tropical bitangent classes.
  • Smooth tropical surfaces obey explicit enumerative formulas: a smooth tropical surface of degree $d$ has $d^3$ vertices, $4d^2$ rays, and Euler characteristic $\frac{(d-1)(d-2)(d-3)}6 + 1$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the Duality Theorem is as robust as the survey states, then computational questions about algebraic curves could be approached by enumerating regular triangulations of lattice polygons, making tropical geometry a practical front end for problems that are hard in classical coordinates.
  • The survey works in the max convention while several cited sources use the min convention; the translation between the two is a sign change, and any reader who combines results across conventions must track whether a tropical variety or its negation is being described.
  • The genus-by-genus growth of troplanar graph counts (2, 4, 13, 37, 151, 672) suggests the class of tropically planar graphs is sparse among all trivalent genus-$g$ graphs, and one could test whether the proportion tends to zero as $g$ grows by extending the survey's enumeration algorithm to higher genus.
  • The non-uniqueness of tropical decompositions highlighted in Example 8 suggests that any tropical analogue of unique factorization must come with extra structure, and the tropical schemes direction mentioned in the survey is the natural place to look for a canonical decomposition.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. This paper is an expository survey of tropical geometry aimed at an advanced undergraduate audience. It introduces the max-plus (tropical) semiring and tropical linear algebra, then develops tropical polynomials and tropical varieties. The core of the survey covers duality between tropical plane curves and regular subdivisions of Newton polygons, tropical Bézout theorems, weighted and smooth curves, skeletons and troplanar metric graphs, and the analogous duality and enumeration results for tropical surfaces in three dimensions. The final section connects algebraic geometry and tropical geometry through fields with valuations, defines tropicalization of a variety, and discusses lifting of tropical intersections. The paper does not claim new theorems; its contribution is pedagogical, with worked examples, exercises, challenge problems, and pointers to computational software such as Gfan, Macaulay2, polymake, and TOPCOM.

Significance. If corrected, the paper would be a useful expository chapter: it organizes a large body of standard material into a coherent narrative, gives many concrete examples, and points readers to the primary literature, especially Maclagan-Sturmfels [39]. The exercises and research projects are well calibrated for an undergraduate audience, and the references to computational tools are a genuine strength. The mathematical content is standard and, except for the issues below, accurately attributed. However, the misstatement of the Fundamental Theorem of Tropical Geometry in Section 4 is not merely cosmetic: it concerns the central bridge between algebraic and tropical geometry, and it is contradicted by the paper's own Example 16. The incomplete statements of Theorems 3 and 4 also need correction before the survey can be relied upon.

major comments (3)
  1. [§4.2, Theorem 9 and Example 16] The Fundamental Theorem of Tropical Geometry as stated in Eq. (34) is false without a Euclidean closure on the left-hand side. The paragraph immediately before Theorem 9 correctly says the two sets agree only up to closure, and Example 16 itself demonstrates the failure: for I=<x+ty+2>, -val(V(I)) equals T(x⊕(-1⊙y)⊕0)∩Q^2, a proper dense subset of the tropical line. As written, Theorem 9 tells the reader that every point of the tropical variety is the valuation image of an algebraic point, which is false. The subsequent definition Trop(X)=-val(V(I)) and the lifting discussion in Section 4.3 depend on this equality. The theorem should be corrected so that Trop(X) denotes the Euclidean closure of -val(V(I)), matching Maclagan-Sturmfels Theorem 3.2.3.
  2. [§2.3, Theorems 3 and 4] The statements of tropical Bézout in Eqs. (10) and (12) are incomplete: each displayed conclusion is just the sum of multiplicities with no right-hand side. The theorems should conclude that the sum equals d·e, as the surrounding discussion and Exercise 7 clearly intend. As printed, the displayed statements do not assert the claimed equality.
  3. [§4.2, Example 16] The case analysis in Example 16 has reversed inequalities and a wrong extremum. With the max convention, the correct cases for a point (A,B) in -val(V(I)) are A=B-1≥0, A=0≥B-1, and B-1=0≥A, and the conclusion should be that the maximum of {A,B-1,0} is attained at least twice, not the minimum. As printed, the listed cases do not lie in T(x⊕(-1⊙y)⊕0), so the containment -val(V(I))⊂T(...) is not established by the given argument.
minor comments (4)
  1. [§1.2, Challenge Problem 2] In the factorization formula (2), the exponent on the second factor is written as µ1 again; it should be (x⊕α2)^µ2.
  2. [§4.3, Example 17] Example 17 uses f both for a polynomial and for a coefficient (dx+ey+f), and the list of valuations repeats val(a) and omits val(f) at the end; this should be cleaned up.
  3. [§3.1, Example 13] The sentence 'The one-dimensional pieces of the surface from from Example 13' has a duplicated 'from', and Eq. (20) in Example 15 contains an extra closing parenthesis.
  4. [§2.2, Definition of smooth] In the sentence defining smooth curves, 'a tropical curve is smooth if its dual subdivision is a unimodular triangulation' only applies to plane curves with the stated valence condition; the text already says this, but a cross-reference to the higher-dimensional definition in Section 3.1 would improve clarity.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: an expository survey whose load-bearing results are quoted from external published sources rather than derived from its own assumptions.

full rationale

The paper is a survey of standard tropical geometry. Its definitions (tropical arithmetic, vanishing, tropical varieties) are direct and self-contained, and its load-bearing results—the Duality Theorem, tropical Bezout, the Fundamental Theorem of Tropical Geometry, and the troplanar graph counts—are quoted from external published sources such as Maclagan–Sturmfels [39], Richter-Gebert–Sturmfels–Theobald [49], Baker–Len–Morrison–Pflueger–Ren [2], and Brodsky–Joswig–Morrison–Sturmfels [7]. Some of these are authored by the present author, but they are independent peer-reviewed publications and are cited as literature rather than derived from the survey itself. No fitted parameter is relabeled as a prediction, and no theorem is defined in terms of the conclusion it is used to support. The only notable issue, Theorem 9's omission of the Euclidean closure mentioned in the preceding paragraph, is a mathematical accuracy concern rather than a circularity: it does not reduce the theorem to its own input by construction.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The survey introduces no free parameters or new entities. Its dependence on unproved external theorems is captured in the axioms: the duality theorem for tropical hypersurfaces, the fundamental theorem of tropical geometry, and the structure theorem for tropical varieties are all cited from the literature, not proved in the chapter.

assumptions (3)
  • domain assumption Duality theorem for tropical hypersurfaces: the tropical curve or surface defined by a polynomial is dual to the regular subdivision of its Newton polytope induced by the coefficients.
    Quoted as Theorem 1 from [39, Proposition 3.1.6] and used throughout Sections 2 and 3 without proof.
  • domain assumption Fundamental Theorem of Tropical Geometry: for an algebraically closed field with a nontrivial valuation, the set -val(V(I)) equals the intersection of tropicalizations of polynomials in I, up to closure.
    Stated as Theorem 9, cited to [39, Theorem 3.2.3]; this is the bridge between algebraic and tropical geometry in Section 4.
  • domain assumption Structure theorem for tropical varieties: every tropical variety is a weighted, balanced polyhedral fan of pure dimension.
    Mentioned in the footnote to Challenge Problem 3 and cited to [39, Theorem 3.3.5]; used to justify the balancing condition for tropical curves.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Tropical geometry." pith.science (2026). https://pith.science/paper/YC2EHNTL

@misc{pith2026190807012,
  author       = {Pith},
  title        = {Pith review of: Tropical geometry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YC2EHNTL}},
  note         = {Machine review of arXiv:1908.07012}
}
read the original abstract

Tropical mathematics redefines the rules of arithmetic by replacing addition with taking a maximum, and by replacing multiplication with addition. After briefly discussing a tropical version of linear algebra, we study polynomials build with these new operations. These equations define piecewise-linear geometric objects called tropical varieties. We explore these tropical varieties in two and three dimensions, building up discrete tools for studying them and determining their geometric properties. We then discuss the relationship between tropical geometry and algebraic geometry, which considers shapes defined by usual polynomial equations.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

53 extracted references · 53 canonical work pages

  1. [39]

    Graduate Studies in Mathe- matics, 161

    Maclagan, D., Sturmfels, B.: Introduction to tropical geometry. Graduate Studies in Mathe- matics, 161. American Mathematical Society, Providence, RI (2015) 40 Ralph Morrison

    work page 2015

  2. [1]

    A., Moll, V

    Amdeberhan, T., Medina, L. A., Moll, V . H.: Asymptotic valuations of sequences satisfying first order recurrences. Proc. Amer. Math. Soc. 137, no. 3 (2009)

    work page 2009

  3. [2]

    Baker, M., Len, Y ., Morrison, R., Pflueger, N., Ren, Q.: Bitangents of tropical plane quartic curves. Math. Z. 282, no. 3-4 (2016)

    work page 2016

  4. [3]

    Baker, M., Norine, S.: Riemann-Roch and Abel-Jacobi theory on a finite graph. Adv. Math. 215 no. 2 (2007)

    work page 2007

  5. [4]

    Chemical Applications of Graph Theory (A.T

    Balaban, A.T.: Enumeration of cyclic graphs. Chemical Applications of Graph Theory (A.T. Balaban, ed.) 63?105, Academic Press (1976)

    work page 1976

  6. [5]

    Bashelor, A., Ksir, A., Traves, W.: Enumerative algebraic geometry of conics. Amer. Math. Monthly 115, no. 8 (2008)

    work page 2008

  7. [6]

    Brannetti, S., Melo, M., Viviani, F.: On the tropical Torelli map. Adv. Math., 226(3) (2011)

    work page 2011

  8. [7]

    Sturmfels, B.: Moduli of tropical plane curves

    Brodsky, S., Joswig, M., Morrison, R. Sturmfels, B.: Moduli of tropical plane curves. Res. Math. Sci. 2, Art. 4 (2015)

    work page 2015

Show all 53 references
  1. [8]

    Springer Monographs in Mathemat- ics

    Butkovi ˘c, P.: Max-linear systems: theory and algorithms. Springer Monographs in Mathemat- ics. Springer-Verlag London, Ltd., London (2010)

    2010

  2. [9]

    Cartwright, D., Dudzik, A., Manjunath, M., Yao, Y .: Embeddings and immersions of tropical curves. Collect. Math. 67, no. 1 (2016)

    2016

  3. [10]

    Discrete and Computational Geom- etry 47, no

    Castryck, W.: Moving out the edges of a lattice polygon. Discrete and Computational Geom- etry 47, no. 3 (2012)

    2012

  4. [11]

    Algebra and Number Theory3 (2009)

    Castryck, W., V oight, J.: On nondegeneracy of curves. Algebra and Number Theory3 (2009)

    2009

  5. [12]

    Algebra Number Theory, 6(6) (2012)

    Chan, M.: Combinatorics of the tropical Torelli map. Algebra Number Theory, 6(6) (2012)

    2012

  6. [13]

    Chan, M.: Tropical hyperelliptic curves. J. Algebraic Combin. 37, no. 2 (2013) Tropical Geometry 39

    2013

  7. [14]

    Combinatorial algebraic geometry, 65–86, Fields Inst

    Chan, M., Jiradilok, P.: Theta characteristics of tropical K4-curves. Combinatorial algebraic geometry, 65–86, Fields Inst. Commun., 80, Fields Inst. Res. Math. Sci., Toronto, ON (2017)

    2017

  8. [15]

    Cools, F., Draisma, J.: On metric graphs with prescribed gonality. J. Combin. Theory Ser. A 156 (2018)

    2018

  9. [16]

    An introduction to chip-firing

    Corry, S., Perkinson, D: Divisors and sandpiles. An introduction to chip-firing. American Mathematical Society, Providence, RI (2018)

    2018

  10. [17]

    A., Little, J., O’Shea, D.: Ideals, varieties, and algorithms

    Cox, D. A., Little, J., O’Shea, D.: Ideals, varieties, and algorithms. An introduction to compu- tational algebraic geometry and commutative algebra. Fourth edition. Undergraduate Texts in Mathematics. Springer, Cham, xvi+646 pp. (2015)

    2015

  11. [18]

    G., Erds, P: On a combinatorial problem

    de Bruijn, N. G., Erds, P: On a combinatorial problem. Nederl. Akad. Wetensch., Proc. 51 (1948)

    1948

  12. [19]

    Structures for algorithms and applica- tions

    De Loera, J.A., Rambau, J., Santos, F.: Triangulations. Structures for algorithms and applica- tions. Algorithms and Computation in Mathematics, 25. Springer-Verlag, Berlin (2010)

    2010

  13. [20]

    Evelyn, C. J. A., Money-Coutts, G. B.,Tyrrell, J. A.: The seven circles theorem and other new theorems. Stacey International, London (1974)

    1974

  14. [21]

    ACM Transactions on Graphics (TOG) 8, No

    Farouki, R.T., Neff, C., O’Conner, M.A.: Automatic parsing of degenerate quadric-surface intersections. ACM Transactions on Graphics (TOG) 8, No. 3 (1989)

    1989

  15. [22]

    Gathmann, A., Kerber, M.: A Riemann-Roch theorem in tropical geometry. Math. Z. 259, no. 1 (2008)

    2008

  16. [23]

    Polytopes- combinatorics and computation (Oberwolfach, 1997), 43?73, DMV Sem., 29, Birkhuser, Basel (2000)

    Gawrilow, E., Joswig, M.: polymake: a framework for analyzing convex polytopes. Polytopes- combinatorics and computation (Oberwolfach, 1997), 43?73, DMV Sem., 29, Birkhuser, Basel (2000)

    2000

  17. [24]

    Duke Math

    Giansiracusa, J., Giansiracusa, N.: Equations of tropical varieties. Duke Math. J. 165, no. 18, 3379–3433 (2016)

    2016

  18. [25]

    E.: Macaulay2, a software system for research in algebraic geome- try

    Grayson, D., Stillman, M. E.: Macaulay2, a software system for research in algebraic geome- try. Available athttp://www.math.uiuc.edu/Macaulay2/

  19. [26]

    arXiv preprint arXiv:1802.02440 (2018)

    Hahn, M.A., Markwig, H., Ren, Y ., Tyomkin, I.: Tropicalized quartics and canonical embed- dings for tropical curves of genus 3. arXiv preprint arXiv:1802.02440 (2018)

    2018 arXiv

  20. [27]

    Graduate Texts in Mathematics, No

    Hartshorne, R.: Algebraic geometry. Graduate Texts in Mathematics, No. 52. Springer-Verlag, New York-Heidelberg xvi+496 pp. (1977)

    1977

  21. [28]

    (German) Math

    Hilbert, D.: Ueber die Theorie der algebraischen Formen. (German) Math. Ann. 36, no. 4 (1890)

  22. [29]

    Available at http://home.imf.au.dk/jensen/software/gfan/gfan.html

    Jensen, A.: Gfan, a software system for Gr ¨obner fans and tropical varieties. Available at http://home.imf.au.dk/jensen/software/gfan/gfan.html

  23. [30]

    Surveys in combinatorics, 2003 (Bangor), 277–307, London Math

    Kaibel, V ., Ziegler, G.M.: Counting lattice triangulations. Surveys in combinatorics, 2003 (Bangor), 277–307, London Math. Soc. Lecture Note Ser., 307, Cambridge Univ. Press, Cam- bridge, (2003)

    2003

  24. [31]

    Koelman, R.: The number of moduli of families of curves on toric surfaces. Ph.D. thesis, Katholieke Universiteit Nijmegen (1991)

    1991

  25. [32]

    Canadian J

    Lagarias, J.C., Ziegler, G.M.: Bounds for lattice polytopes containing a fixed number of inte- rior points in a sublattice. Canadian J. Math. 43 (1991)

    1991

  26. [33]

    Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (ISSAC 2014)

    Le Gall, Franois: Powers of tensors and fast matrix multiplication. Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (ISSAC 2014)

    2014

  27. [34]

    arXiv preprint arXiv:1708.04480 (2018)

    Len, Y ., Markwig, H..: Lifting tropical bitangents. arXiv preprint arXiv:1708.04480 (2018)

    2018 arXiv

  28. [35]

    arXiv preprint arXiv:1806.01334 (2018)

    Len, Y ., Satriano., M.: Lifting tropical self intersections. arXiv preprint arXiv:1806.01334 (2018)

    2018 arXiv

  29. [36]

    Fibonacci Quart

    Lengyel, T.: On the divisibility by 2 of the Stirling numbers of the second kind. Fibonacci Quart. 32, no. 3 (1994)

    1994

  30. [37]

    M.: Linear and rational factorization of tropical polynomials

    Lin, B., Tran, N. M.: Linear and rational factorization of tropical polynomials. arXiv preprint arXiv:1707.03332 (2017)

    2017 arXiv

  31. [38]

    Maclagan, D., Rinc ´on, F.: Tropical ideals. Compos. Math. 154, no. 3 (2018)

    2018

  32. [40]

    A., Rowland, E.: p-regularity of the p-adic valuation of the Fibonacci sequence

    Medina, L. A., Rowland, E.: p-regularity of the p-adic valuation of the Fibonacci sequence. Fibonacci Quart. 53, no. 3 (2015)

    2015

  33. [41]

    Curves and abelian varieties, 203–230, Contemp

    Mikhalkin, G., Zharkov, I.: Tropical curves, their Jacobians and theta functions. Curves and abelian varieties, 203–230, Contemp. Math., 465, Amer. Math. Soc., Providence, RI (2008)

    2008

  34. [42]

    arXiv preprint arXiv:1708.00571 (2017)

    Morrison, R.: Tropical hyperelliptic curves in the plane. arXiv preprint arXiv:1708.00571 (2017)

    2017 arXiv

  35. [43]

    Morrison, R: Tropical images of intersection points. Collect. Math. 66, no. 2 (2015)

    2015

  36. [44]

    Osserman, B., Payne, S.: Lifting tropical intersections. Doc. Math. 18 (2013)

    2013

  37. [45]

    Tropical and non- Archimedean geometry, 15–44, Contemp

    Osserman, B., Rabinoff, J.: Lifting nonproper tropical intersections. Tropical and non- Archimedean geometry, 15–44, Contemp. Math., 605, Centre Rech. Math. Proc., Amer. Math. Soc., Providence, RI, (2013)

    2013

  38. [46]

    A.: Geometrisches zur Zahlenlehre, Sitzenber

    Pick, G. A.: Geometrisches zur Zahlenlehre, Sitzenber. Lotos (Prague) 19 (1899)

  39. [47]

    Idempotency (Bristol, 1994), 50–69, Publ

    Pin, J.: Tropical semirings. Idempotency (Bristol, 1994), 50–69, Publ. Newton Inst., 11, Cam- bridge Univ. Press, Cambridge (1998)

    1998

  40. [48]

    (French) J

    Pl ¨ucker, J.: Solution d’une question fondamentale concernant la thorie gnrale des courbes. (French) J. Reine Angew. Math. 12 (1834)

  41. [49]

    Idempotent mathematics and mathematical physics, 289–317, Contemp

    Richter-Gebert, J., Sturmfels, B., Theobald, T.: First steps in tropical geometry. Idempotent mathematics and mathematical physics, 289–317, Contemp. Math., 377, Amer. Math. Soc., Providence, RI (2005)

    2005

  42. [50]

    and Gao, Xiao-Shan and Takayama, Nobuki, eds.), World Scientific, pp

    Rambau, J.: TOPCOM: Triangulations of Point Configurations and Oriented Matroids, Mathe- matical Software - ICMS 2002 (Cohen, Arjeh M. and Gao, Xiao-Shan and Takayama, Nobuki, eds.), World Scientific, pp. 330-340 (2002)

    2002

  43. [51]

    Scott, P.R.: On convex lattice polygons. Bull. Austral. Math. Soc. 15 (1976)

    1976

  44. [52]

    Mathematical foun- dations of computer science, 1988 (Carlsbad, 1988), 107–120, Lecture Notes in Comput

    Simon, I.: Recognizable sets with multiplicities in the tropical semiring. Mathematical foun- dations of computer science, 1988 (Carlsbad, 1988), 107–120, Lecture Notes in Comput. Sci., 324, Springer, Berlin, (1988)

    1988

  45. [53]

    Strassen, V .: Gaussian Elimination is not Optimal. Numer. Math.13 (1969)

    1969

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.