Algebraic factoring and rational function integration. - Barry M. Trager (SYMSACC, 1976)

Completing nth powers of polynomials. - Barry M. Trager; David Y. Y. Yun (SYMSACC, 1976)

Integration of simple radical extensions. - Barry M. Trager (EUROSAM, 1979)

New Algorithms for Polynomial Square-Free Decomposition Over the Integers. - Paul S. Wang; Barry M. Trager (SIAM J. Comput., 1979)

Factorization over finitely generated fields. - James H. Davenport; Barry M. Trager (SYMSACC, 1981)

A language for computational algebra. - Richard D. Jenks; Barry M. Trager (ACM SIGPLAN Notices, 1981)

Integration of algebraic functions. - Barry M. Trager (1984)

Computer Algebra and Exact Solutions to Systems of Polynomial Equations (Abstract). - Barry M. Trager (Accurate Scientific Computations, 1985)

GCD's and Factoring Multivariate Polynominals Using Gröbner Bases. - Patrizia M. Gianni; Barry M. Trager (European Conference on Computer Algebra (2), 1985)

On the Parallel Risch Algorithm (II). - James H. Davenport; Barry M. Trager (ACM Trans. Math. Softw., 1985)

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 (FOCS, 1988)

Decomposition of Algebras. - Patrizia M. Gianni; Victor Miller; Barry M. Trager (ISSAC, 1988)

Gröbner Bases and Primary Decomposition of Polynomial Ideals. - Patrizia M. Gianni; Barry M. Trager; Gail Zacharias (J. Symb. Comput., 1988)

Scratchpad's View of Algebra I: Basic Commutative Algebra. - James H. Davenport; Barry M. Trager (DISCO, 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 II: A Categorical View of Factorization. - James H. Davenport; Patrizia M. Gianni; Barry M. Trager (ISSAC, 1991)

How to Make AXIOM into a Scratchpad. - Richard D. Jenks; Barry M. Trager (ISSAC, 1994)

The Singular Value Decomposition for Polynomial Systems. - Robert M. Corless; Patrizia M. Gianni; Barry M. Trager; Stephen M. Watt (ISSAC, 1995)

Square-free algorithms in positive characteristic. - Patrizia M. Gianni; Barry M. Trager (Appl. Algebra Eng. Commun. Comput., 1995)

A Reordered Schur Factorization Method for Zero-dimensional Polynomial Systems with Multiple Roots. - Robert M. Corless; Patrizia M. Gianni; Barry M. Trager (ISSAC, 1997)

Integral Closure of Noetherian Rings. - Patrizia M. Gianni; Barry M. Trager (ISSAC, 1997)

Riemann Surfaces, Plane Algebraic Curves and Their Period Matrices. - Patrizia M. Gianni; Mika Seppälä; Robert Silhol; Barry M. Trager (J. Symb. Comput., 1998)

Computation of the radical of polynomial ideals over fields of arbitrary characteristic. - Elisabetta Fortuna; Patrizia M. Gianni; Barry M. Trager (ISSAC, 2001)

Linear Differential Operators for Polynomial Equations. - Olivier Cormier; Michael F. Singer; Barry M. Trager; Felix Ulmer (J. Symb. Comput., 2002)

Derivations and Radicals of Polynomial Ideals over Fields of Arbitrary Characteristic. - Elisabetta Fortuna; Patrizia M. Gianni; Barry M. Trager (J. Symb. Comput., 2002)

Irreducible decomposition of polynomial ideals. - Elisabetta Fortuna; Patrizia M. Gianni; Barry M. Trager (J. Symb. Comput., 2005)

Generators of the ideal of an algebraic space curve. - Elisabetta Fortuna; Patrizia M. Gianni; Barry M. Trager (J. Symb. Comput., 2009)

GPU-enabled parallel processing for image halftoning applications. - Barry M. Trager; Chai Wah Wu; Mikel Stanich; Kartheek Chandu (ISCAS, 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 (ITA, 2011)

Direct multi-bit search (DMS) screen algorithm. - Kartheek Chandu; Mikel Stanich; Chai Wah Wu; Barry M. Trager (ICIP, 2012)

A GPU implementation of color digital halftoning using the Direct Binary Search algorithm. - Kartheek Chandu; Mikel Stanich; Barry M. Trager; Chai Wah Wu (ISCAS, 2012)

Direct binary search (DBS) algorithm with constraints. - Kartheek Chandu; Mikel Stanich; Chai Wah Wu; Barry M. Trager (Color Imaging: Displaying, Processing, Hardcopy, and Applications, 2013)

A GPU based implementation of direct multi-bit search (DMS) screen algorithm. - Barry M. Trager; Kartheek Chandu; Chai Wah Wu; Mikel Stanich (Image Processing: Algorithms and Systems, 2013)

Hybrid halftoning using direct multi-bit search (DMS) screen algorithm. - Kartheek Chandu; Mikel Stanich; Chai Wah Wu; Barry M. Trager (Color Imaging: Displaying, Processing, Hardcopy, and Applications, 2014)

A Riesz energy based approach to generating dispersed dot patterns for halftoning applications. - Chai Wah Wu; Barry M. Trager; Kartheek Chandu; Mikel Stanich (Color Imaging: Displaying, Processing, Hardcopy, and Applications, 2014)

Analysis and Real-Time Prediction of Local Incident Impact on Transportation Networks. - Yuye He; Sebastien Blandin; Laura Wynter; Barry M. Trager (ICDM Workshops, 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)

Good reduction of plane curves. - Barry M. Trager (ACM Commun. Comput. Algebra, 2015)

Computation of topological invariants for real projective surfaces with isolated singularities. - Elisabetta Fortuna; Patrizia M. Gianni; Barry M. Trager (J. Symb. Comput., 2015)

CertRL: formalizing convergence proofs for value and policy iteration in Coq. - Koundinya Vajjha; Avraham Shinnar; Barry M. Trager; Vasily Pestun; Nathan Fulton (CPP, 2021)

General Probability in Coq. - Avraham Shinnar; Barry M. Trager (DSN Workshops, 2022)

Formalization of a Stochastic Approximation Theorem. - Koundinya Vajjha; Barry M. Trager; Avraham Shinnar; Vasily Pestun (ITP, 2022)

Towards a Unification of Logic and Information Theory. - Luis A. Lastras; Barry M. Trager; Jonathan Lenchner; Wojciech Szpankowski; Chai Wah Wu; Mark S. Squillante; Alexander Gray 001 (CoRR, 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)

Breaking through the classical Shannon entropy limit: A new frontier through logical semantics. - Luis A. Lastras; Barry M. Trager; Jonathan Lenchner; Wojciech Szpankowski; Chai Wah Wu; Mark S. Squillante; Alexander Gray 001 (CoRR, 2025)