Judit Robu

Available identifiers

zbMath Open robu.juditMaRDI QIDQ865644

List of research outcomes

Publication	Date of Publication	Type
Application of fixed point theorem in probabilistic metric space to quicksort algorithm	2017-10-19	Paper
Approximation of stochastic differential equations driven by step fractional Brownian motion	2012-07-12	Paper
\textit{Theorema}: Towards computer-aided mathematical theory exploration	2007-02-20	Paper
Automated Deduction in Geometry	2006-10-20	Paper
Artificial Intelligence and Symbolic Computation	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4815329	2004-09-07	Paper
Mechanical geometry theorem proving	2002-01-24	Paper
Automatted geometry theorem proving	2002-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4258708	1999-09-14	Paper

Research outcomes over time

This page was built for person: Judit Robu