Confluence (abstract Rewriting) - Examples of Confluent Systems

Examples of Confluent Systems

  • Reduction of polynomials modulo an ideal is a confluent rewrite system provided one works with a Gröbner basis.
  • Matsumoto's theorem follows from confluence of the braid relations.

Read more about this topic:  Confluence (abstract Rewriting)

Famous quotes containing the words examples of, examples and/or systems:

    There are many examples of women that have excelled in learning, and even in war, but this is no reason we should bring ‘em all up to Latin and Greek or else military discipline, instead of needle-work and housewifry.
    Bernard Mandeville (1670–1733)

    There are many examples of women that have excelled in learning, and even in war, but this is no reason we should bring ‘em all up to Latin and Greek or else military discipline, instead of needle-work and housewifry.
    Bernard Mandeville (1670–1733)

    The skylines lit up at dead of night, the air- conditioning systems cooling empty hotels in the desert and artificial light in the middle of the day all have something both demented and admirable about them. The mindless luxury of a rich civilization, and yet of a civilization perhaps as scared to see the lights go out as was the hunter in his primitive night.
    Jean Baudrillard (b. 1929)