Tudor Jebelean

Bio: Tudor Jebelean is an academic researcher from Research Institute for Symbolic Computation. The author has contributed to research in topics: Theorema & Mathematical proof. The author has an hindex of 13, co-authored 69 publications receiving 742 citations. Previous affiliations of Tudor Jebelean include Johannes Kepler University of Linz.

A survey of the Theorema project

Abstract: The Theorems project aims at extending current computer algebra systems by facilities jor supporting mathematical proving. The present early-prototype version of the Theorems software system is implemented in Mathetnatica 3.0. The system consists of a general higher-order predicate logic prover and a collection of special provers that call each other depending on the particular proof situations. The individual provers imitate the proof style of human mathematicians and aim at producing human-readable proofs in natuml language presented in nested cells that facilitate studying the computer-generated proofs at various levels of detail. The special provers are intimately connected with the junctors that build up the various mathematical domains. 1 The Objectives of the Theorems Project The Tlaeorema project aims at providing a uniform (logic and software) frame for computing, solving, and proving. In a simplified view, given a “knowledge base” K of formulae (and a logical / computational derivation mechanism L),

A generalization of the binary GCD algorithm

Abstract: A generalization of the binary algorithm for operation at ‘word level” by using a new concept of ‘modular conjugates” computes the GCD of multiprecision integers two times faster than Lehmer–Euclid method. Most importantly, however, the new algorithm is suitable for systolic parallelization, in ‘least-significant digits jirst” pipelined manner and for aggregation with other systolic algorithms for the arithmetic of multiprecision rational numbers.

An algorithm for automated generation of invariants for loops with conditionals

Abstract: We present an algorithm that generates automatically (algebraic) invariant properties of a loop with conditionals. In the proposed algorithm program analysis is performed in order to transform the code into a form for which algebraic and combinatorial techniques can be applied to obtain invariant properties. These invariants are then used for verifying partial correctness of imperative programs in the Theorema system (www.theorema.org). The application of the method is demonstrated in few examples.

Handbook of Applied Cryptography

Abstract: From the Publisher: A valuable reference for the novice as well as for the expert who needs a wider scope of coverage within the area of cryptography, this book provides easy and rapid access of information and includes more than 200 algorithms and protocols; more than 200 tables and figures; more than 1,000 numbered definitions, facts, examples, notes, and remarks; and over 1,250 significant references, including brief comments on each paper.

A Basis for a Mathematical Theory of Computation

Abstract: Publisher Summary This chapter discusses the mathematical theory of computation. Computation essentially explores how machines can be made to carry out intellectual processes. Any intellectual process that can be carried out mechanically can be performed by a general purpose digital computer. There are three established directions of mathematical research that are relevant to the science of computation—namely, numerical analysis, theory of computability, and theory of finite automata. The chapter explores what practical results can be expected from a suitable mathematical theory. Further, the chapter presents several descriptive formalisms with a few examples of their use and theories that enable to prove the equivalence of computations expressed in these formalisms. A few mathematical results about the properties of the formalisms are also presented.

Logic in Computer Science.

Abstract: Now, we come to offer you the right catalogues of book to open. logic in computer science is one of the literary work in this world in suitable to be reading material. That's not only this book gives reference, but also it will show you the amazing benefits of reading a book. Developing your countless minds is needed; moreover you are kind of people with great curiosity. So, the book is very appropriate for you.

Modern Computer Arithmetic

Abstract: Modern Computer Arithmetic focuses on arbitrary-precision algorithms for efficiently performing arithmetic operations such as addition, multiplication and division, and their connections to topics such as modular arithmetic, greatest common divisors, the Fast Fourier Transform (FFT), and the computation of elementary and special functions. Brent and Zimmermann present algorithms that are ready to implement in your favorite language, while keeping a high-level description and avoiding too low-level or machine-dependent details. The book is intended for anyone interested in the design and implementation of efficient high-precision algorithms for computer arithmetic, and more generally efficient multiple-precision numerical algorithms. It may also be used in a graduate course in mathematics or computer science, for which exercises are included. These vary considerably in difficulty, from easy to small research projects, and expand on topics discussed in the text. Solutions are available from the authors.