Barry M Trager  Barry M Trager photo       

contact information

Research Staff Member
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  +1dash914dash945dash1868

links



2015

Good reduction of plane curves
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
Journal of Symbolic Computation68, 131--166, Elsevier, 2015
Abstract


2014

Analysis and real-time prediction of local incident impact on transportation networks
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
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
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
Color Imaging: Displaying, Processing, Hardcopy, and Applications, pp. 86520K, 2013
Abstract

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
Image Processing: Algorithms and Systems, pp. 86550Z, 2013
Abstract

Direct binary search (DBS) algorithm with constraints
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
IS\&T/SPIE Electronic Imaging, pp. 86550Z--86550Z, 2013


2012

Ideals of curves given by points
Elisabetta Fortuna, Patrizia Gianni, Barry Trager
Computational Algebraic and Analytic Geometry572, 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
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
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
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
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
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
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
Journal of Symbolic Computation 39(3), 305--316, Elsevier, 2005


2003

A reduction for regular differential systems
Manuel Bronstein, BM Trager
CD-ROM, Proceedings of MEGA2003


2002

Linear differential operators for polynomial equations
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
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
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
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
Journal of Symbolic Computation 26(6), 789--803, Elsevier, 1998


1997

Integral closure of Noetherian rings
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
Proceedings of the 1997 international symposium on Symbolic and algebraic computation, pp. 133--140


1996

Computations with approximate ideals
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
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
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
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
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
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
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


1989

Gr obner bases and primary decomposition of polynomial ideals
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
Symbolic and Algebraic Computation, pp. 300--308, Springer, 1989

Symbolic Integration is algorithmic
M Bronstein, JH Davenport, BM Trager
Computers \& Mathematics, 1989


1988

Separation of Numerators and Denominators
Erich Kaltofen, Barry Trager
29th Annual Symposium on Foundations of Computer Science October 24-26, 1988, pp. 296


Gr\"obner bases and primary decomposition of polynomial ideals
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
Accurate Scientific Computations, pp. 181--181, Springer, 1986
Abstract


1985

Gcd's and factoring multivariate polynomials using Grobner bases
Patrizia Gianni, Barry Trager
EUROCAL'85, pp. 409--410, 1985

Scratchpad II Programming Language Manual
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
IBM Watson Research Center Computer Algebra Group, VOM7, 1985

On the parallel Risch algorithm (II)
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
Mathematical Sciences Department, IBM Thomas Watson Research Center6, 1984



1982

‘Fast Recursive Boolean Function Manipulation
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
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
ACM SIGPLAN Notices 16(11), 22--29, ACM, 1981


1976

Completing nth powers of polynomials
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
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

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

New Scratchpad
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