Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stanley S. Wainer
Linear Two-Sorted Arithmetic
Computing Bounds From Arithmetical Proofs
Related publications
Many-Sorted and Single-Sorted Algebras
Algebra Universalis
Number Theory
Logic
Algebra
The Cassowary Linear Arithmetic Constraint Solving Algorithm
ACM Transactions on Computer-Human Interaction
Human-Computer Interaction
Arithmetic Sums That Determine Linear Characters on Γ(N)
Pacific Journal of Mathematics
Mathematics
On the Arithmetic and Homology of Algebras of Linear Type
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Sub-Linear Lattice-Based Zero-Knowledge Arguments for Arithmetic Circuits
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Multi-Sorted Argumentation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Erratum To: Analyzing Restricted Fragments of the Theory of Linear Arithmetic
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Effective Bounds of Linear Series on Algebraic Varieties and Arithmetic Varieties
Journal für die Reine und Angewandte Mathematik
Mathematics
Applied Mathematics
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
