Barry Trager

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Breaking through the classical Shannon entropy limit: A new frontier through logical semantics	2024	Luis Lastras Barry Trager Jonathan Lenchner Wojciech Szpankowski Chai Wah Wu Mark S. Squillante Alexander Gray
+	Towards a Unification of Logic and Information Theory	2023	Luis Lastras Barry Trager Jonathan Lenchner Wojtek Szpankowski Chai Wah Wu Mark S. Squillante Alex Gray
+	Transformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code	2023	Brando Miranda Avi Shinnar Vasily Pestun Barry Trager
+ PDF Chat	Formalization of a Stochastic Approximation Theorem	2022	Koundinya Vajjha Barry Trager Avraham Shinnar Vasily Pestun
+ PDF Chat	Integration of Algebraic Functions	2022	Barry Trager
+	Formalization of a Stochastic Approximation Theorem	2022	Koundinya Vajjha Barry Trager Avraham Shinnar Vasily Pestun
+	Comments on Integration of Algebraic Functions	2022	Barry Trager
+ PDF Chat	CertRL: formalizing convergence proofs for value and policy iteration in Coq	2021	Koundinya Vajjha Avraham Shinnar Barry Trager Vasily Pestun Nathan Fulton
+	Computational Aspects of Commutative Algebra and Algebraic Geometry (Dagstuhl Seminar 9722)	2021	Eberhard Becker Wolfram Decker David Eisenbud H. W. Lenstra Barry Trager
+	CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq.	2020	Koundinya Vajjha Avraham Shinnar Vasily Pestun Barry Trager Nathan Fulton
+	CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq	2020	Koundinya Vajjha Avraham Shinnar Vasily Pestun Barry Trager Nathan Fulton
+	Computation of topological invariants for real projective surfaces with isolated singularities	2014	Elisabetta Fortuna P. Gianni Barry Trager
+	Ideals of curves given by points	2012	Elisabetta Fortuna P. Gianni Barry Trager
+ PDF Chat	Ideals of curves given by points	2012	Elisabetta Fortuna P. Gianni Barry Trager
+	Effective constructions on real curves and surfaces	2011	Elisabetta Fortuna Patrizia Gianni Domenico Luminati Barry Trager
+	Generators of the ideal of an algebraic space curve	2009	Elisabetta Fortuna P. Gianni Barry Trager
+	Irreducible decomposition of polynomial ideals	2005	Elisabetta Fortuna P. Gianni Barry Trager
+	A reduction for regular differential systems	2003	Manuel Bronstein Barry Trager
+	Linear Differential Operators for Polynomial Equations	2002	Olivier Cormier Michael F. Singer Barry Trager Félix Ulmer
+	Derivations and Radicals of Polynomial Ideals over Fields of Arbitrary Characteristic	2002	Elisabetta Fortuna P. Gianni Barry Trager
+	Degree reduction under specialization	2001	Elisabetta Fortuna Patrizia Gianni Barry Trager
+	Computation of the radical of polynomial ideals over fields of arbitrary characteristic	2001	Elisabetta Fortuna Patrizia Gianni Barry Trager
+	Riemann Surfaces, Plane Algebraic Curves and Their Period Matrices	1998	P. Gianni M. Seppälä Robert Silhol Barry Trager
+ PDF Chat	Integral closure of Noetherian rings	1997	Patrizia Gianni Barry Trager
+	A reordered Schur factorization method for zero-dimensional polynomial systems with multiple roots	1997	Robert M. Corless Patrizia Gianni Barry Trager
+	Gröbner bases and primary decomposition of polynomial ideals	1988	Patrizia Gianni Barry Trager Gail Zacharias
+	On the parallel Risch Algorithm (II)	1985	James H. Davenport Barry Trager
+	New Algorithms for Polynomial Square-Free Decomposition over the Integers	1979	Paul S. Wang Barry Trager
+	Integration of simple radical extensions	1979	Barry Trager
+	Algebraic factoring and rational function integration	1976	Barry Trager
+	Completing nth powers of polynomials	1976	Barry Trager David Y. Y. Yun

Common Coauthors

Coauthor	Papers Together
Elisabetta Fortuna	9
P. Gianni	7
Vasily Pestun	6
Patrizia Gianni	6
Koundinya Vajjha	5
Avraham Shinnar	5
Nathan Fulton	3
Alex Gray	2
Jonathan Lenchner	2
Mark S. Squillante	2
Luis Lastras	2
Chai Wah Wu	2
Gail Zacharias	1
Domenico Luminati	1
Robert Silhol	1
Michael F. Singer	1
Olivier Cormier	1
Wolfram Decker	1
H. W. Lenstra	1
Félix Ulmer	1
David Y. Y. Yun	1
M. Seppälä	1
Brando Miranda	1
Wojtek Szpankowski	1
Avi Shinnar	1
Wojciech Szpankowski	1
David Eisenbud	1
James H. Davenport	1
Paul S. Wang	1
Robert M. Corless	1
Eberhard Becker	1
Manuel Bronstein	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Gröbner bases and primary decomposition of polynomial ideals	1988	Patrizia Gianni Barry Trager Gail Zacharias	4
+ PDF Chat	Constructions in algebra	1974	A. Seidenberg	3
+ PDF Chat	The problem of integration in finite terms	1969	Robert H. Risch	3
+	Über B. Buchbergers verfahren, systeme algebraischer gleichungen zu lösen	1978	W. Trinks	2
+	Galois properties of torsion points on abelian varieties	1980	Nicholas M. Katz	2
+	Jacobian matrices and constructions in algebra	1991	Wolmer V. Vasconcelos	2
+	On the complexity of computing grobner bases for zero-dimensional polynomial ideals	1990	Erich Kaltofen Lakshman Yagati	2
+	Direct methods for primary decomposition	1992	David Eisenbud Craig Huneke Wolmer V. Vasconcelos	2
+ PDF Chat	Integration of Algebraic Functions	2022	Barry Trager	2
+ PDF Chat	A separation logic for concurrent randomized programs	2019	Joseph Tassarotti Robert Harper	2
+	Gröbner Bases: A Computational Approach to Commutative Algebra	2011	Thomas Becker Volker Weispfenning Heinz Kredel	2
+	Yet another ideal decomposition algorithm	1997	Massimo Caboara Pasqualina Conti Carlo Traverse	2
+	Properties of Gröbner bases under specializations	1989	Patrizia Gianni	2
+	Linear Differential Operators for Polynomial Equations	2002	Olivier Cormier Michael F. Singer Barry Trager Félix Ulmer	2
+ PDF Chat	On Euclid's Algorithm and the Computation of Polynomial Greatest Common Divisors	1971	Warren S. Brown	2
+	Hurwitz Schemes and Irreducibility of Moduli of Algebraic Curves	1969	William Fulton	2
+	Algebraic factoring and rational function integration	1976	Barry Trager	2
+ PDF Chat	Symbolic integration	1971	Joel Moses	2
+ PDF Chat	Applications of Metric Coinduction	2009	Dexter Kozen Nicholas Ruozzi	2
+	An Algorithm for Computing an Integral Basis in an Algebraic Function Field	1994	Mark van Hoeij	2
+	An algorithm for the computation of the radical of an ideal in the ring of polynomials	1991	Térésa Krick Alessandro Logar	2
+ PDF Chat	The Calculation of Multivariate Polynomial Resultants	1971	George E. Collins	2
+	Construction of rational functions on a curve	1970	J. Coates	2
+	On the Integration of Algebraic Functions	1981	James H. Davenport	2
+ PDF Chat	Sur l'intégration des fractions rationnelles	1872	Ch. Hermite	2
+	The Calculation of Radical Ideals in Positive Characteristic	2002	Gregor Kemper	2
+ PDF Chat	Commutative algebra with a view toward algebraic geometry	1996	David Eisenbud	2
+	Algebraic Theory of Numbers	1940	Hermann Weyl	1
+	Computing in the jacobian of a plane algebraic curve	1994	Emil Volcheck	1
+	Adjoints and Max Noether’s Fundamentalsatz	2004	William Fulton	1
+	Algorithms for the integration of algebraic functions	1979	James H. Davenport	1
+	Construction of the integral closure of a finite integral domain	1970	A. Seidenberg	1
+	Solving systems of algebraic equations by using gröbner bases	1989	Michael Kalkbrener	1
+	An introduction to differential algebra	1957	Irving Kaplansky	1
+ PDF Chat	Algorithmic Algebraic Number Theory	1989	Michael Pohst Hans Zassenhaus	1
+	Normalization of rings	2010	Gert–Martin Greuel Santiago Laplagne Frank Seelisch	1
+	Introduction to the theory of linear differential equations	1936	Edgar Girard Croker Poole	1
+	Algebraic Geometry I Complex Projective Varieties	1981	David Mumford	1
+	A Classical Invitation to Algebraic Numbers and Class Fields	1978	Harvey Cohn	1
+ PDF Chat	Hyman Bass and ubiquity: Gorenstein rings	1999	Craig Huneke	1
+	Computing Riemann–Roch Spaces in Algebraic Function Fields and Related Topics	2002	Florian Heß	1
+ PDF Chat	Analysis of zero clusters in multivariate polynomial systems	1996	Hans J. Stetter	1
+	Sur la factorisation absolue des polynômes	1997	Jean-François Ragot	1
+ PDF Chat	Neighborhoods of algebraic sets	1983	Alan H. Durfee	1
+	On Flatness of Generic Projections	1994	Abdallah Assi	1
+	On Lucky Primes	1993	Hans‐Gert Gräbe	1
+	Good Reduction of Abelian Varieties	1968	Jean-Pierre Serre John Tate	1
+ PDF Chat	Constructive aspects of Noetherian rings	1974	Fred Richman	1
+	Algorithms to compute the topology of orientable real algebraic surfaces	2003	Elisabetta Fortuna P. Gianni Paola Parenti Carlo Enrico Traverso	1
+ PDF Chat	Sur les groupes des équations linéaires	1884	Henri Poincaré	1