B. Trager

发表

Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation

Barry M. Trager, B. Trager, 2006, ISSAC 2006.

A reduction for regular differential systems

M. Bronstein, B. Trager, 2003 .

Formalization of a Stochastic Approximation Theorem

Avraham Shinnar, V. Pestun, B. Trager, 2022, ITP.

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

James H. Davenport, Patrizia M. Gianni, Barry M. Trager, 1991, ISSAC '91.

Scratchpad's View of Algebra I: Basic Commutative Algebra

James H. Davenport, Barry M. Trager, J. Davenport, 1990, DISCO.

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

Chai Wah Wu, Barry M. Trager, Kartheek Chandu, 2012, 2012 IEEE International Symposium on Circuits and Systems.

GPU-enabled parallel processing for image halftoning applications

Chai Wah Wu, Barry M. Trager, Kartheek Chandu, 2011, 2011 IEEE International Symposium of Circuits and Systems (ISCAS).

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

Nathan Fulton, Avraham Shinnar, Koundinya Vajjha, 2020, CPP.

General Probability in Coq

Avraham Shinnar, B. Trager, 2022, 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).

Riemann Surfaces, Plane Algebraic Curves and Their Period Matrices

Mika Seppälä, Patrizia M. Gianni, Barry M. Trager, 1998, Journal of symbolic computation.

Gröbner Bases and Primary Decomposition of Polynomial Ideals

Patrizia M. Gianni, Barry M. Trager, Gail Zacharias, 1988, J. Symb. Comput..

Integral closure of Noetherian rings

Patrizia M. Gianni, Barry M. Trager, P. Gianni, 1997, ISSAC.

The singular value decomposition for polynomial systems

Stephen M. Watt, Robert M. Corless, Patrizia M. Gianni, 1995, ISSAC '95.

Computation of topological invariants for real projective surfaces with isolated singularities

Patrizia M. Gianni, Barry M. Trager, Elisabetta Fortuna, 2015, J. Symb. Comput..

Algebraic factoring and rational function integration

Barry M. Trager, B. Trager, 1976, SYMSAC '76.

Decomposition of Algebras

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

Linear Differential Operators for Polynomial Equations

Michael F. Singer, Barry M. Trager, Felix Ulmer, 2002, J. Symb. Comput..

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

Barry M. Trager, Luis Alfonso Lastras-Montaño, Viresh Paruthi, 2014, Formal Methods Syst. Des..

A reordered Schur factorization method for zero-dimensional polynomial systems with multiple roots

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

Computing with polynomials given by black boxes for their evaluations: greatest common divisors, factorization, separation of numerators and denominators

Erich Kaltofen, Barry M. Trager, E. Kaltofen, 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

A language for computational algebra

B. Trager, R. Jenks, 1981, SYMSAC '81.

Integration of algebraic functions

Barry M. Trager, B. Trager, 1984 .

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

Yuye He, Laura Wynter, Barry M. Trager, 2014, 2014 IEEE International Conference on Data Mining Workshop.

Square-free algorithms in positive characteristic

Patrizia M. Gianni, Barry M. Trager, P. Gianni, 2005, Applicable Algebra in Engineering, Communication and Computing.

How to make AXIOM into a scratchpad

Barry M. Trager, Richard D. Jenks, B. Trager, 1994, ISSAC '94.

Irreducible decomposition of polynomial ideals

Patrizia M. Gianni, Barry M. Trager, Elisabetta Fortuna, 2005, J. Symb. Comput..

Ideals of curves given by points

P. Gianni, E. Fortuna, E. Fortuna, 2012, 1202.6493.