Theorema: Towards computer-aided mathematical theory exploration B Buchberger, A Crǎciun, T Jebelean, L Kovács, T Kutsia, K Nakagawa, ... Journal of applied logic 4 (4), 470-504, 2006 | 223 | 2006 |
Proving and constraint solving in computational origami T Ida, D Ţepeneu, B Buchberger, J Robu Artificial Intelligence and Symbolic Computation: 7th International …, 2004 | 26 | 2004 |
Geometry theorem proving in the frame of the Theorema project J Robu Talk at: 4th International Workshop on Automated Deduction in Geometry (ADG …, 2002 | 17 | 2002 |
Computational origami construction of a regular heptagon with automated proof of its correctness J Robu, T Ida, D Ţepeneu, H Takahashi, B Buchberger Automated Deduction in Geometry: 5th International Workshop, ADG 2004 …, 2006 | 7 | 2006 |
Automated geometric theorem proving J Robu RISC, Johannes Kepler University, Linz, Austria, 2002 | 7 | 2002 |
Automated proof of geometry theorems involving order relation in the frame of the theorema project J Robu KEPT, 307-315, 2007 | 4 | 2007 |
Automated Geometry Theorem Proving: Solutions Using the" Theorema" System J Robu Presa Universitară Clujeană, 2007 | 2 | 2007 |
F 1302: THEOREMA: Proving, Solving and Computing in General Domains B Buchberger, T Jebelean, W Windsteiger, T Kutsia, K Nakagawa, J Robu, ... Special Research Program (SFB) F 13, 148-170, 0 | 1 | |
Approximation of stochastic differential equations driven by step fractional Brownian motion J Robu, A Soós Zoltán Csörnyei (Ed.), 84, 2012 | | 2012 |
Automated Proving in Axiomatic Geometry J Robu MaCS’06 6th Joint Conference on Mathematics and Computer Science, 78, 2006 | | 2006 |
Mechanical Proof of Some Non-constructive Geometry Problems Using Algebraic Methods J Robu Fifth Joint Conference on Mathematics and Computer Science, 88, 2004 | | 2004 |
F 1302: Solving and Proving in General Domains}} B Buchberger, T Jebelean, W Windsteiger, T Kutsia, K Nakagawa, J Robu, ... Special Research Program (SFB) F 013, Numerical and Symbolic Scientific …, 2002 | | 2002 |
Eidesstattliche Erklärung J Robu | | |
Application of fixed point theorem in probabilistic metric space to quicksort algorithm J Robu, A Soós | | |
Solving locus problems in the frame of the Theorema project J Robu | | |