Barry M. Trager

52 papers A* 1B 12C 2Misc 1Journal 20Unranked 15

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