Barry M. Trager

Publication Activity (10 Years)

Years Active: 1976-2023
Publications (10 Years): 9

Top Venues

CoRR

Color Imaging: Displaying, Processing, Hardcopy, and Applications

Image Processing: Algorithms and Systems

ITP

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Luis A. Lastras, Barry M. Trager, Jonathan Lenchner, Wojtek Szpankowski, Chai Wah Wu, Mark S. Squillante, Alex Gray
Towards a Unification of Logic and Information Theory. CoRR (2023)
Brando Miranda, Avi Shinnar, Vasily Pestun, Barry M. Trager
Transformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code. CoRR (2023)
Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun
Formalization of a Stochastic Approximation Theorem. ITP (2022)
Avraham Shinnar, Barry M. Trager
General Probability in Coq. DSN Workshops (2022)
Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun
Formalization of a Stochastic Approximation Theorem. CoRR (2022)
Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton
CertRL: formalizing convergence proofs for value and policy iteration in Coq. CPP (2021)
Koundinya Vajjha, Avraham Shinnar, Vasily Pestun, Barry M. Trager, Nathan Fulton
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq. CoRR (2020)
Barry M. Trager
Good reduction of plane curves. ACM Commun. Comput. Algebra 49 (2) (2015)
Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager
Computation of topological invariants for real projective surfaces with isolated singularities. J. Symb. Comput. 68 (2015)
Yuye He, Sebastien Blandin, Laura Wynter, Barry M. Trager
Analysis and Real-Time Prediction of Local Incident Impact on Transportation Networks. ICDM Workshops (2014)
Alexey Lvov, Luis Alfonso Lastras-Montaño, Barry M. Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein
Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry. Formal Methods Syst. Des. 45 (2) (2014)
Chai Wah Wu, Barry M. Trager, Kartheek Chandu, Mikel Stanich
A Riesz energy based approach to generating dispersed dot patterns for halftoning applications. Color Imaging: Displaying, Processing, Hardcopy, and Applications (2014)
Kartheek Chandu, Mikel Stanich, Chai Wah Wu, Barry M. Trager
Hybrid halftoning using direct multi-bit search (DMS) screen algorithm. Color Imaging: Displaying, Processing, Hardcopy, and Applications (2014)
Barry M. Trager, Kartheek Chandu, Chai Wah Wu, Mikel Stanich
A GPU based implementation of direct multi-bit search (DMS) screen algorithm. Image Processing: Algorithms and Systems (2013)
Kartheek Chandu, Mikel Stanich, Chai Wah Wu, Barry M. Trager
Direct binary search (DBS) algorithm with constraints. Color Imaging: Displaying, Processing, Hardcopy, and Applications (2013)
Kartheek Chandu, Mikel Stanich, Chai Wah Wu, Barry M. Trager
Direct multi-bit search (DMS) screen algorithm. ICIP (2012)
Kartheek Chandu, Mikel Stanich, Barry M. Trager, Chai Wah Wu
A GPU implementation of color digital halftoning using the Direct Binary Search algorithm. ISCAS (2012)
Barry M. Trager, Chai Wah Wu, Mikel Stanich, Kartheek Chandu
GPU-enabled parallel processing for image halftoning applications. ISCAS (2011)
Luis Alfonso Lastras-Montaño, Patrick J. Meaney, Eldee Stephens, Barry M. Trager, James A. O'Connor, Luiz C. Alves
A new class of array codes for memory storage. ITA (2011)
Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager
Generators of the ideal of an algebraic space curve. J. Symb. Comput. 44 (9) (2009)
Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager
Irreducible decomposition of polynomial ideals. J. Symb. Comput. 39 (3-4) (2005)
Olivier Cormier, Michael F. Singer, Barry M. Trager, Felix Ulmer
Linear Differential Operators for Polynomial Equations. J. Symb. Comput. 34 (5) (2002)
Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager
Derivations and Radicals of Polynomial Ideals over Fields of Arbitrary Characteristic. J. Symb. Comput. 33 (5) (2002)
Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager
Computation of the radical of polynomial ideals over fields of arbitrary characteristic. ISSAC (2001)
Patrizia M. Gianni, Mika Seppälä, Robert Silhol, Barry M. Trager
Riemann Surfaces, Plane Algebraic Curves and Their Period Matrices. J. Symb. Comput. 26 (6) (1998)
Robert M. Corless, Patrizia M. Gianni, Barry M. Trager
A Reordered Schur Factorization Method for Zero-dimensional Polynomial Systems with Multiple Roots. ISSAC (1997)
Patrizia M. Gianni, Barry M. Trager
Integral Closure of Noetherian Rings. ISSAC (1997)
Patrizia M. Gianni, Barry M. Trager
Square-free algorithms in positive characteristic. Appl. Algebra Eng. Commun. Comput. 7 (1) (1995)
Robert M. Corless, Patrizia M. Gianni, Barry M. Trager, Stephen M. Watt
The Singular Value Decomposition for Polynomial Systems. ISSAC (1995)
Richard D. Jenks, Barry M. Trager
How to Make AXIOM into a Scratchpad. ISSAC (1994)
James H. Davenport, Patrizia M. Gianni, Barry M. Trager
Scratchpad's View of Algebra II: A Categorical View of Factorization. ISSAC (1991)
Erich Kaltofen, Barry M. Trager
Computing with Polynomials Given By Black Boxes for Their Evaluations: Greatest Common Divisors, Factorization, Separation of Numerators and Denominators. J. Symb. Comput. 9 (3) (1990)
James H. Davenport, Barry M. Trager
Scratchpad's View of Algebra I: Basic Commutative Algebra. DISCO (1990)
Erich Kaltofen, Barry M. Trager
Computing with Polynomials Given By Black Boxes for Their Evaluation: Greatest Common Divisors, Factorization, Separation of Numerators and Denominators FOCS (1988)
Patrizia M. Gianni, Barry M. Trager, Gail Zacharias
Gröbner Bases and Primary Decomposition of Polynomial Ideals. J. Symb. Comput. 6 (2/3) (1988)
Patrizia M. Gianni, Victor Miller, Barry M. Trager
Decomposition of Algebras. ISSAC (1988)
Barry M. Trager
Computer Algebra and Exact Solutions to Systems of Polynomial Equations (Abstract). Accurate Scientific Computations (1985)
James H. Davenport, Barry M. Trager
On the Parallel Risch Algorithm (II). ACM Trans. Math. Softw. 11 (4) (1985)
Patrizia M. Gianni, Barry M. Trager
GCD's and Factoring Multivariate Polynominals Using Gröbner Bases. European Conference on Computer Algebra (2) (1985)
James H. Davenport, Barry M. Trager
Factorization over finitely generated fields. SYMSACC (1981)
Richard D. Jenks, Barry M. Trager
A language for computational algebra. SYMSACC (1981)
Richard D. Jenks, Barry M. Trager
A language for computational algebra. ACM SIGPLAN Notices 16 (11) (1981)
Barry M. Trager
Integration of simple radical extensions. EUROSAM (1979)
Paul S. Wang, Barry M. Trager
New Algorithms for Polynomial Square-Free Decomposition Over the Integers. SIAM J. Comput. 8 (3) (1979)
Barry M. Trager
Algebraic factoring and rational function integration. SYMSACC (1976)
Barry M. Trager, David Y. Y. Yun
Completing nth powers of polynomials. SYMSACC (1976)

Barry M. Trager.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Barry M. Trager