Barry M. Trager - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 42 from 42

2022

General Probability in CoqAvraham Shinnar, Barry M. Trager. dsn 2022: 70-71 [doi]

Formalization of a Stochastic Approximation TheoremKoundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun. itp 2022: [doi]

2021

CertRL: formalizing convergence proofs for value and policy iteration in CoqKoundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton. CPP 2021: 18-31 [doi]

2015

Computation of topological invariants for real projective surfaces with isolated singularitiesElisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager. JSC, 68:131-166, 2015. [doi]

Good reduction of plane curvesBarry M. Trager. cca, 49(2):58, 2015. [doi]

2014

2013

Direct binary search (DBS) algorithm with constraintsKartheek Chandu, Mikel Stanich, Chai Wah Wu, Barry M. Trager. clrimg 2013: [doi]

A GPU based implementation of direct multi-bit search (DMS) screen algorithmBarry M. Trager, Kartheek Chandu, Chai Wah Wu, Mikel Stanich. ipas 2013: [doi]

2012

Direct multi-bit search (DMS) screen algorithmKartheek Chandu, Mikel Stanich, Chai Wah Wu, Barry M. Trager. icip 2012: 817-820 [doi]

A GPU implementation of color digital halftoning using the Direct Binary Search algorithmKartheek Chandu, Mikel Stanich, Barry M. Trager, Chai Wah Wu. iscas 2012: 185-188 [doi]

2011

A new class of array codes for memory storageLuis Alfonso Lastras-Montaño, Patrick J. Meaney, Eldee Stephens, Barry M. Trager, James A. O'Connor, Luiz C. Alves. ita 2011: 223-232 [doi]

GPU-enabled parallel processing for image halftoning applicationsBarry M. Trager, Chai Wah Wu, Mikel Stanich, Kartheek Chandu. iscas 2011: 1528-1531 [doi]

2009

Generators of the ideal of an algebraic space curveElisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager. JSC, 44(9):1234-1254, 2009. [doi]

2005

Irreducible decomposition of polynomial idealsElisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager. JSC, 39(3-4):305-316, 2005. [doi]

2002

Linear Differential Operators for Polynomial EquationsOlivier Cormier, Michael F. Singer, Barry M. Trager, Felix Ulmer. JSC, 34(5):355-398, 2002. [doi]

Derivations and Radicals of Polynomial Ideals over Fields of Arbitrary CharacteristicElisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager. JSC, 33(5):609-625, 2002. [doi]

2001

Computation of the radical of polynomial ideals over fields of arbitrary characteristicElisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager. issac 2001: 116-120 [doi]

1998

Riemann Surfaces, Plane Algebraic Curves and Their Period MatricesPatrizia M. Gianni, Mika Seppälä, Robert Silhol, Barry M. Trager. JSC, 26(6):789-803, 1998.

1997

A Reordered Schur Factorization Method for Zero-dimensional Polynomial Systems with Multiple RootsRobert M. Corless, Patrizia M. Gianni, Barry M. Trager. issac 1997: 133-140

Integral Closure of Noetherian RingsPatrizia M. Gianni, Barry M. Trager. issac 1997: 212-216

1995

The Singular Value Decomposition for Polynomial SystemsRobert M. Corless, Patrizia M. Gianni, Barry M. Trager, Stephen M. Watt. issac 1995: 195-207 [doi]

Square-Free Algorithm in Positive CharacteristicPatrizia M. Gianni, Barry M. Trager. aaecc, 7(1):1-14, 1995. [doi]

1994

How to Make AXIOM into a ScratchpadRichard D. Jenks, Barry M. Trager. issac 1994: 32-40 [doi]

1991

Scratchpad s View of Algebra II: A Categorical View of FactorizationJames H. Davenport, Patrizia M. Gianni, Barry M. Trager. issac 1991: 32-38 [doi]

1990

Scratchpad s View of Algebra I: Basic Commutative AlgebraJames H. Davenport, Barry M. Trager. disco 1990: 40-54

Computing with Polynomials Given By Black Boxes for Their Evaluations: Greatest Common Divisors, Factorization, Separation of Numerators and DenominatorsErich Kaltofen, Barry M. Trager. JSC, 9(3):301-320, 1990.

1988

Decomposition of AlgebrasPatrizia M. Gianni, Victor Miller, Barry M. Trager. issac 1989: 300-308

Gröbner Bases and Primary Decomposition of Polynomial IdealsPatrizia M. Gianni, Barry M. Trager, Gail Zacharias. JSC, 6(2/3):149-167, 1988.

Computing with Polynomials Given By Black Boxes for Their Evaluation: Greatest Common Divisors, Factorization, Separation of Numerators and DenominatorsErich Kaltofen, Barry M. Trager. focs 1988: 296-305

1985

On the Parallel Risch Algorithm (II)James H. Davenport, Barry M. Trager. TOMS, 11(4):356-362, 1985. [doi]

GCD s and Factoring Multivariate Polynominals Using Gröbner BasesPatrizia M. Gianni, Barry M. Trager. eurocal 1985: 409-410

Computer Algebra and Exact Solutions to Systems of Polynomial Equations (Abstract)Barry M. Trager. ACCURATE 1986: 181

1984

Integration of algebraic functionsBarry M. Trager. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 1984. [doi]

1981

Factorization over finitely generated fieldsJames H. Davenport, Barry M. Trager. issac 1981: 200-205 [doi]

A language for computational algebraRichard D. Jenks, Barry M. Trager. issac 1981: 6-13 [doi]

A language for computational algebraRichard D. Jenks, Barry M. Trager. SIGPLAN, 16(11):22-29, 1981. [doi]

1979

Integration of simple radical extensionsBarry M. Trager. eurosam 1979: 408-414

New Algorithms for Polynomial Square-Free Decomposition Over the IntegersPaul S. Wang, Barry M. Trager. SICOMP, 8(3):300-305, 1979.

1976

Algebraic factoring and rational function integrationBarry M. Trager. issac 1976: 219-226 [doi]

Completing nth powers of polynomialsBarry M. Trager, David Y. Y. Yun. issac 1976: 351-355 [doi]

Sign in or sign up to see more results.

runs on WebDSL