Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons™

Open Access. Powered by Scholars. Published by Universities.®

PDF

City University of New York (CUNY)

Computer Science Technical Reports

2011

Articles 1 - 9 of 9

Full-Text Articles in Physical Sciences and Mathematics

Tr-2011002: Symbolic Lifting For Structured Linear Systems Of Equations: Numerical Initialization, Nearly Optimal Boolean Cost, Variations, And Extensions, Victor Y. Pan Jan 2011

Tr-2011002: Symbolic Lifting For Structured Linear Systems Of Equations: Numerical Initialization, Nearly Optimal Boolean Cost, Variations, And Extensions, Victor Y. Pan

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2011005: First-Order Logic Of Proofs, Sergei N. Artemov, Tatiana Yavorskaya (Sidon) Jan 2011

Tr-2011005: First-Order Logic Of Proofs, Sergei N. Artemov, Tatiana Yavorskaya (Sidon)

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2011009: Solving Linear Systems Of Equations With Randomized Augmentation And Aggregation, Victor Y. Pan, Guoliang Qian Jan 2011

Tr-2011009: Solving Linear Systems Of Equations With Randomized Augmentation And Aggregation, Victor Y. Pan, Guoliang Qian

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2011010: Possible World Semantics For First Order Lp, Melvin Fitting Jan 2011

Tr-2011010: Possible World Semantics For First Order Lp, Melvin Fitting

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2011011: Randomized And Derandomized Matrix Computations Ii, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng Jan 2011

Tr-2011011: Randomized And Derandomized Matrix Computations Ii, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2011003: Partial Fraction Decomposition, Sylvester Matrices, Convolution And Newton's Iteration, Victor Y. Pan Jan 2011

Tr-2011003: Partial Fraction Decomposition, Sylvester Matrices, Convolution And Newton's Iteration, Victor Y. Pan

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2011004: Acceleration Of Newton's Polynomial Factorization: Army Of Constraints, Convolution, Sylvester Matrices, And Partial Fraction Decomposition, Victor Y. Pan Jan 2011

Tr-2011004: Acceleration Of Newton's Polynomial Factorization: Army Of Constraints, Convolution, Sylvester Matrices, And Partial Fraction Decomposition, Victor Y. Pan

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2011007: Randomized And Derandomized Matrix Computations, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng Jan 2011

Tr-2011007: Randomized And Derandomized Matrix Computations, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2011008: The Ontology Of Justifications In The Logical Setting, Sergei N. Artemov Jan 2011

Tr-2011008: The Ontology Of Justifications In The Logical Setting, Sergei N. Artemov

Computer Science Technical Reports

No abstract provided.

Go to article