Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 11 of 11
Full-Text Articles in Physical Sciences and Mathematics
Tr-2014005: Fast Approximation Algorithms For Computations With Cauchy Matrices And Extensions, Victor Y. Pan
Tr-2014005: Fast Approximation Algorithms For Computations With Cauchy Matrices And Extensions, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.
Tr-2014003: On The Complexity Of Two-Agent Justification Logic, Antonis Achilleos
Tr-2014003: On The Complexity Of Two-Agent Justification Logic, Antonis Achilleos
Computer Science Technical Reports
No abstract provided.
Tr-2014006: New Algorithms In The Frobenius Matrix Algebra For Polynomial Root-Finding, Victor Y. Pan, Ai-Long Zheng
Tr-2014006: New Algorithms In The Frobenius Matrix Algebra For Polynomial Root-Finding, Victor Y. Pan, Ai-Long Zheng
Computer Science Technical Reports
No abstract provided.
Tr-2014008: Supporting Genp And Low-Rank Approximation With Random Multipliers, Victor Y. Pan, Guoliang Qian, Xiaodong Yan
Tr-2014008: Supporting Genp And Low-Rank Approximation With Random Multipliers, Victor Y. Pan, Guoliang Qian, Xiaodong Yan
Computer Science Technical Reports
No abstract provided.
Tr-2014009: Estimating The Norms Of Random Circulant And Toeplitz Matrices And Their Inverses Ii, Victor Y. Pan, Guoliang Qian, John Svadlenka, Liang Zhao
Tr-2014009: Estimating The Norms Of Random Circulant And Toeplitz Matrices And Their Inverses Ii, Victor Y. Pan, Guoliang Qian, John Svadlenka, Liang Zhao
Computer Science Technical Reports
No abstract provided.
Tr-2014010: Intuitionistic Epistemic Logic, Sergei Artemov, Tudor Protopopescu
Tr-2014010: Intuitionistic Epistemic Logic, Sergei Artemov, Tudor Protopopescu
Computer Science Technical Reports
No abstract provided.
Tr-2014001: Computer-Aided Reasoning About Knowledge And Justifications, Natalia Novak
Tr-2014001: Computer-Aided Reasoning About Knowledge And Justifications, Natalia Novak
Computer Science Technical Reports
No abstract provided.
Tr-2014002: Proof Complexity And Quantitative Epistemology, Natalia Novak
Tr-2014002: Proof Complexity And Quantitative Epistemology, Natalia Novak
Computer Science Technical Reports
No abstract provided.
Tr-2014004: Justification Logics And Realization, Melvin Fitting
Tr-2014004: Justification Logics And Realization, Melvin Fitting
Computer Science Technical Reports
No abstract provided.
Tr-2014007: Real Polynomial Root-Finding By Means Of Matrix And Polynomial Iterations, Victor Y. Pan
Tr-2014007: Real Polynomial Root-Finding By Means Of Matrix And Polynomial Iterations, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.
Tr-2014011: Real Polynomial Root-Finding: New Advances, Victor Y. Pan
Tr-2014011: Real Polynomial Root-Finding: New Advances, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.