Barry M. Trager

According to our database, Barry M. Trager authored at least 44 papers between 1976 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Transformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code.

Brando Miranda, Avi Shinnar, Vasily Pestun, Barry M. Trager

CoRR, 2023

Towards a Unification of Logic and Information Theory.

Luis A. Lastras, Barry M. Trager, Jonathan Lenchner, Wojtek Szpankowski, Chai Wah Wu, Mark S. Squillante, Alex Gray

CoRR, 2023

2022

Formalization of a Stochastic Approximation Theorem.

Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

General Probability in Coq.

Avraham Shinnar, Barry M. Trager

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

2021

CertRL: formalizing convergence proofs for value and policy iteration in Coq.

Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2015

Computation of topological invariants for real projective surfaces with isolated singularities.

Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager

J. Symb. Comput., 2015

Good reduction of plane curves.

Barry M. Trager

ACM Commun. Comput. Algebra, 2015

2014

Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry.

Alexey Lvov, Luis Alfonso Lastras-Montaño, Barry M. Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein

Formal Methods Syst. Des., 2014

Analysis and Real-Time Prediction of Local Incident Impact on Transportation Networks.

Yuye He, Sebastien Blandin, Laura Wynter, Barry M. Trager

Proceedings of the 2014 IEEE International Conference on Data Mining Workshops, 2014

A Riesz energy based approach to generating dispersed dot patterns for halftoning applications.

Chai Wah Wu, Barry M. Trager, Kartheek Chandu, Mikel Stanich

Proceedings of the Color Imaging XIX: Displaying, 2014

Hybrid halftoning using direct multi-bit search (DMS) screen algorithm.

Kartheek Chandu, Mikel Stanich, Chai Wah Wu, Barry M. Trager

Proceedings of the Color Imaging XIX: Displaying, 2014

2013

A GPU based implementation of direct multi-bit search (DMS) screen algorithm.

Barry M. Trager, Kartheek Chandu, Chai Wah Wu, Mikel Stanich

Proceedings of the Image Processing: Algorithms and Systems XI, 2013

Direct binary search (DBS) algorithm with constraints.

Kartheek Chandu, Mikel Stanich, Chai Wah Wu, Barry M. Trager

Proceedings of the Color Imaging XVIII: Displaying, 2013

2012

A GPU implementation of color digital halftoning using the Direct Binary Search algorithm.

Kartheek Chandu, Mikel Stanich, Barry M. Trager, Chai Wah Wu

Proceedings of the 2012 IEEE International Symposium on Circuits and Systems, 2012

Direct multi-bit search (DMS) screen algorithm.

Kartheek Chandu, Mikel Stanich, Chai Wah Wu, Barry M. Trager

Proceedings of the 19th IEEE International Conference on Image Processing, 2012

2011

A new class of array codes for memory storage.

Luis Alfonso Lastras-Montaño, Patrick J. Meaney, Eldee Stephens, Barry M. Trager, James A. O'Connor, Luiz C. Alves

Proceedings of the Information Theory and Applications Workshop, 2011

GPU-enabled parallel processing for image halftoning applications.

Barry M. Trager, Chai Wah Wu, Mikel Stanich, Kartheek Chandu

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2011), 2011

2009

Generators of the ideal of an algebraic space curve.

Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager

J. Symb. Comput., 2009

2005

Irreducible decomposition of polynomial ideals.

Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager

J. Symb. Comput., 2005

2002

Derivations and Radicals of Polynomial Ideals over Fields of Arbitrary Characteristic.

Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager

J. Symb. Comput., 2002

Linear Differential Operators for Polynomial Equations.

Olivier Cormier, Michael F. Singer, Barry M. Trager, Felix Ulmer

J. Symb. Comput., 2002

2001

Computation of the radical of polynomial ideals over fields of arbitrary characteristic.

Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager

Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001

1998

Riemann Surfaces, Plane Algebraic Curves and Their Period Matrices.

Patrizia M. Gianni, Mika Seppälä, Robert Silhol, Barry M. Trager

J. Symb. Comput., 1998

1997

Integral Closure of Noetherian Rings.

Patrizia M. Gianni, Barry M. Trager

Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997

A Reordered Schur Factorization Method for Zero-dimensional Polynomial Systems with Multiple Roots.

Robert M. Corless, Patrizia M. Gianni, Barry M. Trager

Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997

1995

Square-free algorithms in positive characteristic.

Patrizia M. Gianni, Barry M. Trager

Appl. Algebra Eng. Commun. Comput., 1995

The Singular Value Decomposition for Polynomial Systems.

Robert M. Corless, Patrizia M. Gianni, Barry M. Trager, Stephen M. Watt

Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, 1995

1994

How to Make AXIOM into a Scratchpad.

Richard D. Jenks, Barry M. Trager

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994

1991

Scratchpad's View of Algebra II: A Categorical View of Factorization.

James H. Davenport, Patrizia M. Gianni, Barry M. Trager

Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991

1990

Computing with Polynomials Given By Black Boxes for Their Evaluations: Greatest Common Divisors, Factorization, Separation of Numerators and Denominators.

Erich L. Kaltofen, Barry M. Trager

J. Symb. Comput., 1990

Scratchpad's View of Algebra I: Basic Commutative Algebra.

James H. Davenport, Barry M. Trager

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

1988

Gröbner Bases and Primary Decomposition of Polynomial Ideals.

Patrizia M. Gianni, Barry M. Trager, Gail Zacharias

J. Symb. Comput., 1988

Decomposition of Algebras.

Patrizia M. Gianni, Victor Miller, Barry M. Trager

Proceedings of the Symbolic and Algebraic Computation, 1988

Computing with Polynomials Given By Black Boxes for Their Evaluation: Greatest Common Divisors, Factorization, Separation of Numerators and Denominators

Erich L. Kaltofen, Barry M. Trager

Proceedings of the 29th Annual Symposium on Foundations of Computer Science, 1988

1985

On the Parallel Risch Algorithm (II).

James H. Davenport, Barry M. Trager

ACM Trans. Math. Softw., 1985

GCD's and Factoring Multivariate Polynominals Using Gröbner Bases.

Patrizia M. Gianni, Barry M. Trager

Proceedings of the EUROCAL '85, 1985

Computer Algebra and Exact Solutions to Systems of Polynomial Equations (Abstract).

Barry M. Trager

Proceedings of the Accurate Scientific Computations, 1985

1984

Integration of algebraic functions.

Barry M. Trager

PhD thesis, 1984

1981

A language for computational algebra.

Richard D. Jenks, Barry M. Trager

ACM SIGPLAN Notices, 1981

Factorization over finitely generated fields.

James H. Davenport, Barry M. Trager

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1981

1979

New Algorithms for Polynomial Square-Free Decomposition Over the Integers.

Paul S. Wang, Barry M. Trager

SIAM J. Comput., 1979

Integration of simple radical extensions.

Barry M. Trager

Proceedings of the Symbolic and Algebraic Computation, 1979

1976

Completing nth powers of polynomials.

Barry M. Trager, David Y. Y. Yun

Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976

Algebraic factoring and rational function integration.

Barry M. Trager

Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976