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

Source URL: www.lsi.upc.edu

• Mathematics
• Theoretical computer science
• Automated theorem proving
• Algebra
• Logic in computer science
• Algebraic structures
• Semiring
• Boolean satisfiability problem
• DPLL algorithm
• Unit propagation
• Maximum satisfiability problem
• Resolution

Semiring-Based Constraint Satisfaction and Optimization STEFANO BISTARELLI, UGO MONTANARI, AND FRANCESCA ROSSI University of Pisa, Pisa, Italy

Source URL: pdfs.semanticscholar.org

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

Source URL: www.math.uni-frankfurt.de

773 Documenta Math. Quadratic and Symmetric Bilinear Forms on Modules with Unique Base over a Semiring

Source URL: documenta.sagemath.org

• Algebra
• Mathematics
• Algebraic structures
• Linear algebra
• Quadratic forms
• Ring theory
• Abstract algebra
• Bilinear form
• Semiring
• Module
• Ring
• Symmetric bilinear form

IN DEFENSE OF “MINDLESS ROTE” Ethan Akin Mathematics Department The City College 137 Street and Convent Avenue

Source URL: www.nonpartisaneducation.org

• Mathematics
• Elementary arithmetic
• Mathematics education
• Binary operations
• Multiplication
• Mathematical notation
• Addition
• Multiplication table
• Fraction
• Arithmetic
• Semiring
• Division

Formal Methods in Manufacturing

Source URL: www.control.tu-berlin.de

• Algebraic structures
• Abstract algebra
• Ring theory
• Semiring
• Idempotence
• Idempotent
• Algebra over a field
• Monoid
• Semilattice
• Lattice
• Max-plus algebra
• Ring

Proving Type Class Laws for Haskell Andreas Arvidsson, Moa Johansson, and Robin Touche Department of Computer Science and Engineering, Chalmers University of Technology , moa.johansson@chalmers.

Source URL: www.cse.chalmers.se

• Algebraic structures
• Semigroup theory
• Functional programming
• Type theory
• Automated theorem proving
• Monoid
• Monad
• Type class
• Semiring
• IP
• Haskell
• Free monoid

773 Documenta Math. Quadratic and Symmetric Bilinear Forms on Modules with Unique Base over a Semiring

Source URL: www.math.uiuc.edu

• Algebraic structures
• Linear algebra
• Ring theory
• Quadratic forms
• Abstract algebra
• Bilinear form
• Semiring
• Module
• Ring
• Symmetric bilinear form
• Associative algebra
• Tensor product

PDF Document

Source URL: thomas.deselaers.de

• Statistical classification
• Support vector machines
• Machine learning
• Computational linguistics
• Hinge loss
• Speech recognition
• Finite-state transducer
• Semiring
• Valuation
• Loss function
• Pattern recognition

TRANSITIVE CLOSURE AND RELATED SEMIRING PROPERTIES VIA ELIMINANTS S. Kamal Abdali∗ Computer Science and Engineering Department Univesity of Petroleum and Minerals Dhahran, Saudi Arabia

Source URL: geomete.com