Results 271 to 280 of about 3,165,122 (307)
Some of the next articles are maybe not open access.
The Fundamental Theorem of Algebra and Linear Algebra
The American Mathematical Monthly, 2003The first widely accepted proof of the Fundamental Theorem of Algebra was published by Gaus in 1799 in his Ph.D. thesis, although to current standards this proof has gaps. Argand gave a proof (with only small gaps) in 1814 which was based on a flawed proof of d’Alembert of 1746. Many more proofs followed, including three more proofs by Gaus. For a more
openaire +2 more sources
Reports Math. Log., 1995
The notion of equivalential algebra was introduced by J. K. Kabziński and A. Wroński as an algebraic counterpart of the equivalential fragment of intuitionistic logic. In earlier work [Equivalential algebras, Ph.D. Thesis, Jag. Univ. Kraków; Algebra Univers. 35, No.
openaire +2 more sources
The notion of equivalential algebra was introduced by J. K. Kabziński and A. Wroński as an algebraic counterpart of the equivalential fragment of intuitionistic logic. In earlier work [Equivalential algebras, Ph.D. Thesis, Jag. Univ. Kraków; Algebra Univers. 35, No.
openaire +2 more sources
Variational algorithms for linear algebra
Science Bulletin, 2021Ying Li, Suguru Endo, Xiaosi Xu
exaly
A survey of numerical linear algebra methods utilizing mixed-precision arithmetic
International Journal of High Performance Computing Applications, 2021Nicholas Higham +2 more
exaly
Application-Inspired Linear Algebra
Springer Undergraduate Texts in Mathematics and Technology, 2022Heather Moon, Thomas J Asaki
exaly
Linnea: Automatic Generation of Efficient Linear Algebra Programs
ACM Transactions on Mathematical Software, 2021Christos Psarras +2 more
exaly
BLASFEO: Basic Linear Algebra Subroutines for Embedded Optimization
ACM Transactions on Mathematical Software, 2018Moritz Diehl +2 more
exaly