Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Salvador Lucas
Using Representation Theorems for Proving Polynomials Non-Negative
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Search Techniques for Rational Polynomial Orders
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Collaborative Representation Using Non-Negative Samples for Image Classification
Sensors
Instrumentation
Information Systems
Electronic Engineering
Biochemistry
Analytical Chemistry
Molecular Physics,
Electrical
Atomic
Medicine
Optics
Proving Theorems by Program Transformation
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Some Renewal Theorems for Non-Negative Independent Random Variables
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Proving Non-Termination Using Max-SMT
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Non-Negative Representation Learning Algorithm for Selecting Neighbors
Machine Learning
Artificial Intelligence
Software
Representation Theorems for Closure Spaces
Colloquium Mathematicum
Mathematics
Tableau-Based Theorem Proving for Representation and Reasoning.
Non-Negative Hereditary Polynomials in a Free *−algebra
Mathematische Zeitschrift
Mathematics
Symmetric Polynomials for 2D Shape Representation
