Results 191 to 200 of about 222,389 (210)
Some of the next articles are maybe not open access.
2018
Konrad Zuse is considered “the father of the computer” in Germany, as he built the world’s first programmable machine (the Z3) in 1941. The Z4 was almost completed in 1945, and Zuse completed it in 1950.
openaire +1 more source
Konrad Zuse is considered “the father of the computer” in Germany, as he built the world’s first programmable machine (the Z3) in 1941. The Z4 was almost completed in 1945, and Zuse completed it in 1950.
openaire +1 more source
How to Make Zuse’s Z3 a Universal Computer
IEEE Annals of the History of Computing, 1998The computing machine Z3, built by Konrad Zuse between 1938 and 1941, could execute only fixed sequences of floating point arithmetical operations (addition, subtraction, multiplication, division, and square root) coded in a punched tape. An interesting question to ask, from the viewpoint of the history of computing, is whether or not these operations ...
openaire +1 more source
2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2021
openaire +1 more source
openaire +1 more source
2010
Our main purpose is to classify the finite dimensional central simple associative division Z3-algebras over a field K of characteristic 0, and then study the existence of Z3-involutions on Z3-algebra A = Mp+q+p(D), where D is a central division algebra over a field K of characteristic 0 and p, q > 0.
openaire +1 more source
Our main purpose is to classify the finite dimensional central simple associative division Z3-algebras over a field K of characteristic 0, and then study the existence of Z3-involutions on Z3-algebra A = Mp+q+p(D), where D is a central division algebra over a field K of characteristic 0 and p, q > 0.
openaire +1 more source
Verification of programs with Z3
2010Fixing the errors in programs is usually very labor-intensive and thus an expensive task. It is also known to be prone to human error thus not fully reliable. There have been many methods of program verification developed, however they still require a lot of human input and interaction throughout the process.
openaire +1 more source