# Barry M Trager

## contact information

Research Staff Member

Thomas J. Watson Research Center, Yorktown Heights, NY USA

+19149451868

Thomas J. Watson Research Center, Yorktown Heights, NY USA

+19149451868

## links

**2015**

Good reduction of plane curves

Trager, Barry

Trager, Barry

*ACM Communications in Computer Algebra**49*(*2*), 58--58, ACM, 2015
Computation of topological invariants for real projective surfaces with isolated singularities

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

Abstract

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

*Journal of Symbolic Computation**68*, 131--166, Elsevier, 2015Abstract

**2014**

Analysis and real-time prediction of local incident impact on transportation networks

Y. He, S. Blandin, B. Trager and L. Wynter

Y. He, S. Blandin, B. Trager and L. Wynter

*14th IEEE International Conference on Data Mining (ICDM), Shenzhen, China, December,*, 2014
Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry

Alexey Lvov, Luis A Lastras-Monta\~no, Barry Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein

Alexey Lvov, Luis A Lastras-Monta\~no, Barry Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein

*Formal Methods in System Design*, 1--24, Springer, 2014
Hybrid halftoning using direct multi-bit search (DMS) screen algorithm

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

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

*IS\&T/SPIE Electronic Imaging*,*pp. 90150P--90150P*, 2014**2013**

Direct binary search (DBS) algorithm with constraints.

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

Abstract

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

*Color Imaging: Displaying, Processing, Hardcopy, and Applications*,*pp. 86520K*, 2013Abstract

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

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

Abstract

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

*Image Processing: Algorithms and Systems*,*pp. 86550Z*, 2013Abstract

Direct binary search (DBS) algorithm with constraints

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

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

*IS\&T/SPIE Electronic Imaging*,*pp. 86520K--86520K*, 2013
A GPU based implementation of Direct Multi-bit Search (DMS) screen algorithm

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

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

*IS\&T/SPIE Electronic Imaging*,*pp. 86550Z--86550Z*, 2013**2012**

Ideals of curves given by points

Elisabetta Fortuna, Patrizia Gianni, Barry Trager

Elisabetta Fortuna, Patrizia Gianni, Barry Trager

*Computational Algebraic and Analytic Geometry**572*, 71--88, 2012
A GPU implementation of color digital halftoning using the Direct Binary Search algorithm

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

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

*Circuits and Systems (ISCAS), 2012 IEEE International Symposium on*,*pp. 185--188*
Direct multi-bit search (DMS) screen algorithm

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

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

*Image Processing (ICIP), 2012 19th IEEE International Conference on*,*pp. 817--820***2011**

A new class of array codes for memory storage

Luis Alfonso Lastras-Monta\~no, Patrick J Meaney, Eldee Stephens, Barry M Trager, J O'Connor, Luiz C Alves

Luis Alfonso Lastras-Monta\~no, Patrick J Meaney, Eldee Stephens, Barry M Trager, J O'Connor, Luiz C Alves

*Information Theory and Applications Workshop (ITA), 2011*,*pp. 1--10*
GPU-enabled parallel processing for image halftoning applications

B Trager, C W Wu, M Stanich, K Chandu

B Trager, C W Wu, M Stanich, K Chandu

*Proceedings of IEEE International Symposium on Circuits and Systems*,*pp. 1528--1531*, 2011**2009**

Generators of the ideal of an algebraic space curve

Elisabetta Fortuna, P Gianni, B Trager

Elisabetta Fortuna, P Gianni, B Trager

*Journal of Symbolic Computation**44*(*9*), 1234--1254, Elsevier, 2009**2008**

Overview of the IBM Blue Gene/P project

I B M Blue Gene Team

I B M Blue Gene Team

*IBM Journal of Research and Development**52*(*1/2*), 199--220, IBM CORP 1 NEW ORCHARD ROAD, ARMONK, NY 10504 USA, 2008**2005**

Irreducible decomposition of polynomial ideals

Elisabetta Fortuna, P Gianni, B Trager

Elisabetta Fortuna, P Gianni, B Trager

*Journal of Symbolic Computation**39*(*3*), 305--316, Elsevier, 2005**2003**

A reduction for regular differential systems

Manuel Bronstein, BM Trager

Manuel Bronstein, BM Trager

*CD-ROM, Proceedings of MEGA**2003***2002**

Linear differential operators for polynomial equations

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

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

*Journal of Symbolic Computation**34*(*5*), 355--398, Elsevier, 2002
Derivations and radicals of polynomial ideals over fields of arbitrary characteristic

Elisabetta Fortuna, Patrizia Gianni, B Trager

Elisabetta Fortuna, Patrizia Gianni, B Trager

*Journal of Symbolic Computation**33*(*5*), 609--625, Elsevier, 2002**2001**

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

Elisabetta Fortuna, Patrizia Gianni, Barry Trager

Elisabetta Fortuna, Patrizia Gianni, Barry Trager

*Proceedings of the 2001 international symposium on Symbolic and algebraic computation*,*pp. 116--120*
Integrated interleaving-a novel ECC architecture

M Hassner, K Abdel-Ghaffar, A Patel, R Koetter, B Trager

M Hassner, K Abdel-Ghaffar, A Patel, R Koetter, B Trager

*Magnetics, IEEE Transactions on**37*(*2*), 773--775, IEEE, 2001**1998**

Riemann surfaces, plane algebraic curves and their period matrices

Patrizia Gianni, Mika Sepp\"al\"a, Robert Silhol, Barry Trager

Patrizia Gianni, Mika Sepp\"al\"a, Robert Silhol, Barry Trager

*Journal of Symbolic Computation**26*(*6*), 789--803, Elsevier, 1998**1997**

Integral closure of Noetherian rings

Patrizia Gianni, Barry Trager

Patrizia Gianni, Barry Trager

*Proceedings of the 1997 international symposium on Symbolic and algebraic computation*,*pp. 212--216*
A reordered Schur factorization method for zero-dimensional polynomial systems with multiple roots

Robert M Corless, Patrizia M Gianni, Barry M Trager

Robert M Corless, Patrizia M Gianni, Barry M Trager

*Proceedings of the 1997 international symposium on Symbolic and algebraic computation*,*pp. 133--140***1996**

Computations with approximate ideals

P Gianni, B Trager

P Gianni, B Trager

*SNAP 96 15-17 Juillet 1996 INRIA Sophia Antipolis, France*, 16
Square-free algorithms in positive characteristic

P Gianni, B Trager

P Gianni, B Trager

*Applicable Algebra in Engineering, Communication and Computing**7*(*1*), 1--14, Springer, 1996**1995**

The singular value decomposition for polynomial systems

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

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

*Proceedings of the 1995 international symposium on Symbolic and algebraic computation*,*pp. 195--207***1994**

How to make AXIOM into a scratchpad

Richard D Jenks, Barry M Trager

Richard D Jenks, Barry M Trager

*Proceedings of the international symposium on Symbolic and algebraic computation*,*pp. 32--40*, 1994**1991**

Scratchpad's view of algebra II: A categorical view of factorization

James H Davenport, P Gianni, Barry M Trager

James H Davenport, P Gianni, Barry M Trager

*Proceedings of the 1991 international symposium on Symbolic and algebraic computation*,*pp. 32--38***1990**

THE SCRATCHPAD II TYPE SYSTEM

SM Watt RD Jenks RS Sutor, BM Trager

SM Watt RD Jenks RS Sutor, BM Trager

*Computing tools for scientific problem solving*, 63, Academic Pr, 1990
The Scratchpad II type system: Domains and subdomains

Steven M Watt, Richard D Jenks, Robert S Sutor, Barry M Trager

Steven M Watt, Richard D Jenks, Robert S Sutor, Barry M Trager

*Proceedings of the International Workshop on Scientific Computation*, 1990
Scratchpad's view of algebra I: Basic commutative algebra

James H Davenport, Barry M Trager

1990 - Springer, Springer

James H Davenport, Barry M Trager

1990 - Springer, Springer

**1989**

Gr obner bases and primary decomposition of polynomial ideals

Gianni, PATRIZIA and Trager, BARRY and Zacharias, GAIL

Gianni, PATRIZIA and Trager, BARRY and Zacharias, GAIL

*Computational Aspects of Commutative Algebra*, 15--33, 1989
Decomposition of algebras

Patrizia Gianni, Victor Miller, Barry Trager

Patrizia Gianni, Victor Miller, Barry Trager

*Symbolic and Algebraic Computation*,*pp. 300--308*, Springer, 1989
Symbolic Integration is algorithmic

M Bronstein, JH Davenport, BM Trager

M Bronstein, JH Davenport, BM Trager

*Computers \& Mathematics*, 1989**1988**

Separation of Numerators and Denominators

Erich Kaltofen, Barry Trager

Erich Kaltofen, Barry Trager

*29th Annual Symposium on Foundations of Computer Science October 24-26, 1988*,*pp. 296*
Computing with polynomials given by black boxes for their evaluations: Greatest common divisors, factorization, separation of numerators and denominators

Erich Kaltofen, Barry Trager

Erich Kaltofen, Barry Trager

*Foundations of Computer Science, 1988., 29th Annual Symposium on*,*pp. 296--305*
Gr\"obner bases and primary decomposition of polynomial ideals

Patrizia Gianni, Barry Trager, Gail Zacharias

Patrizia Gianni, Barry Trager, Gail Zacharias

*Journal of Symbolic Computation**6*(*2*), 149--167, Elsevier, 1988**1986**

Computer algebra and exact solutions to systems of polynomial equations

Trager, Barry M

Abstract

Trager, Barry M

*Accurate Scientific Computations*,*pp. 181--181*, Springer, 1986Abstract

**1985**

Gcd's and factoring multivariate polynomials using Grobner bases

Patrizia Gianni, Barry Trager

Patrizia Gianni, Barry Trager

*EUROCAL'85*,*pp. 409--410*, 1985
Scratchpad II Programming Language Manual

RD Jenks, B Trager, SM Watt, RS Sutor

RD Jenks, B Trager, SM Watt, RS Sutor

*Computer Algebra Group, IBM, Yorktown Heights, NY*, 1985
An overview of the SCRATCHPAD II language and system

A Fortenbacher, RD Jenks, M Lucks, RS Sutor, BM Trager, SM Watt

A Fortenbacher, RD Jenks, M Lucks, RS Sutor, BM Trager, SM Watt

*IBM Watson Research Center Computer Algebra Group, VOM7*, 1985
On the parallel Risch algorithm (II)

James H. Davenport, Barry M. Trager

James H. Davenport, Barry M. Trager

*ACM Transactions on Mathematical Software (TOMS)**11*(*4*), 356--362, ACM, 1985**1984**

Scratchpad

J Davenport, P Gianni, R Jenks, V Miller, S Morrison, M Rothstein, C Sundaresan, R Sutor, B Trager

J Davenport, P Gianni, R Jenks, V Miller, S Morrison, M Rothstein, C Sundaresan, R Sutor, B Trager

*Mathematical Sciences Department, IBM Thomas Watson Research Center**6*, 1984**1982**

‘Fast Recursive Boolean Function Manipulation

R Brayton, JD Cohen, GD Hachtel, BM Trager, DYY Yun

R Brayton, JD Cohen, GD Hachtel, BM Trager, DYY Yun

*International Symposium on Circuits and Systems*,*pp. 58--62*, 1982**1981**

Factorization over finitely generated fields

James H Davenport, Barry M Trager

James H Davenport, Barry M Trager

*Proceedings of the fourth ACM symposium on Symbolic and algebraic computation*,*pp. 200--205*, 1981
A language for computational algebra

Richard D Jenks, Barry M Trager

Richard D Jenks, Barry M Trager

*ACM SIGPLAN Notices**16*(*11*), 22--29, ACM, 1981**1976**

Completing nth powers of polynomials

Barry M Trager, David YY Yun

Barry M Trager, David YY Yun

*Proceedings of the third ACM symposium on Symbolic and algebraic computation*,*pp. 351--355*, 1976
Algebraic factoring and rational function integration

Barry M Trager

Barry M Trager

*Proceedings of the third ACM symposium on Symbolic and algebraic computation*,*pp. 219--226*, 1976**Year Unknown**

Incident Detection and Incident-Impacted Traffic Prediction for Urban Road Networks, Application to GrandLyon

Wynter, Laura and Blandin, Sebastien and Trager, Barry M and Yu, Yichong and Kararianakis, Yiannis and Coldefy, Jean and Marquois, Dimitri and Baudel, Thomas

Citeseer, Citeseer, 0

Abstract

Wynter, Laura and Blandin, Sebastien and Trager, Barry M and Yu, Yichong and Kararianakis, Yiannis and Coldefy, Jean and Marquois, Dimitri and Baudel, Thomas

Citeseer, Citeseer, 0

Abstract

Traffic Estimation and Prediction for Urban Road Networks, Application to GrandLyon

Wynter, Laura and Trager, Barry M and Yu, Yichong and Kararianakis, Yiannis and Jabari, Saif and Coldefy, Jean and Marquois, Dimitri and Baudel, Thomas

Citeseer, Citeseer, 0

Abstract

Wynter, Laura and Trager, Barry M and Yu, Yichong and Kararianakis, Yiannis and Jabari, Saif and Coldefy, Jean and Marquois, Dimitri and Baudel, Thomas

Citeseer, Citeseer, 0

Abstract

New Scratchpad

JH Davenport, P Gianni, RD Jenks, VS Miller, SC Morrison, M Rothstein, CJ Sundaresan, RS Sutor, BM Trager

JH Davenport, P Gianni, RD Jenks, VS Miller, SC Morrison, M Rothstein, CJ Sundaresan, RS Sutor, BM Trager

*Dep. Math. Sci., IBM TJ Watson Res. Ctr., Yorktown Hts., NY*, 0