- Algorithms for Normal Forms for Matrices of Polynomials and Ore Polynomials Howard Cheng Wed 10 June 2020
- On the Worst-Case Complexity of Integer Gaussian Elimination Xin Gui Fang George Havas Wed 10 June 2020
- The inverse of a matrix polynomial C.E. Langenhop Wed 10 June 2020
- A deterministic algorithm for inverting a polynomial matrix Wei Zhou George Labahn Arne Storjohann Wed 10 June 2020
- Effective algorithms for parametrizing linear control systems over Ore algebras F. Chyzak A. Quadrat D. Robertz Wed 10 June 2020
- OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems Frédéric Chyzak Alban Quadrat Daniel Robertz Wed 10 June 2020
- The Use of Maple in Computation of Generalized Transfer Functions for Nonlinear Systems M. Ondera Wed 10 June 2020
- Computing the Hermite Form of a Matrix of Ore Polynomials Mark Giesbrecht Myung Sub Kim Tue 09 June 2020
- Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory (Extended Version) Yannick Forster Dominik Kirst Dominik Wehr Tue 09 June 2020
- Programming language foundations in Agda Wen Kokke Jeremy G. Siek Philip Wadler Tue 09 June 2020
- On Gødel incompleteness and finite combinatorics Akihiro Kanamori Kenneth McAloon Sat 06 June 2020
- Axiomatic Theories of Truth Stanford Encyclopedia of Philosophy Fri 05 June 2020
- The Axiomatization of Arithmetic Hao Wang Fri 05 June 2020
- Philosophy of Mathematics Stanford Encyclopedia of Philosophy Fri 05 June 2020
- Application of logic to combinatorial sequences and their recurrence relations Eldar Fischer Tomer Kotek Johann A. Makowsky Thu 04 June 2020
- Linear Equations in Non-Commutative Fields Oystein Ore Thu 04 June 2020
- Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators Alin Bostan Frédéric Chyzak Bruno Salvy Ziming Li Wed 03 June 2020
- Inherent ambiguity of minimal linear grammars Maurice Gross Wed 03 June 2020
- Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition George E. Collins Wed 03 June 2020
- Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition--Preliminary Report George E. Collins Wed 03 June 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 11:39:05,
Build Time: N/A
