Formal Methods in Manufacturing

First Page		Document Content
Date: 2015-03-26 12:20:58 Algebraic structures Abstract algebra Ring theory Semiring Idempotence Idempotent Algebra over a field Monoid Semilattice Lattice Max-plus algebra Ring		Formal Methods in Manufacturing Add to Reading List Source URL: www.control.tu-berlin.de Download Document from Source Website File Size: 1,14 MB Share Document on Facebook

	Semiring-Induced Propositional Logic: Definition and Basic Algorithms ∗ † Javier Larrosa, Albert Oliveras and Enric Rodr´ıguez-Carbonell Technical University of Catalonia Barcelona, Spain larrosa,oliveras,erodri@ls DocID: 1xUWe - View Document
	Semiring-Based Constraint Satisfaction and Optimization STEFANO BISTARELLI, UGO MONTANARI, AND FRANCESCA ROSSI University of Pisa, Pisa, Italy DocID: 1sTUF - View Document
	Contemporary Mathematics First Steps in Tropical Geometry J¨ urgen Richter-Gebert, Bernd Sturmfels, and Thorsten Theobald Abstract. Tropical algebraic geometry is the geometry of the tropical semiring ( , min, +). Its DocID: 1ssot - View Document
	773 Documenta Math. Quadratic and Symmetric Bilinear Forms on Modules with Unique Base over a Semiring DocID: 1rqAw - View Document
	IN DEFENSE OF “MINDLESS ROTE” Ethan Akin Mathematics Department The City College 137 Street and Convent Avenue DocID: 1qHL7 - View Document