Tudor Jebelean

Available identifiers

zbMath Open jebelean.tudorMaRDI QIDQ485836

List of research outcomes

Publication	Date of Publication	Type
Experiments with automated reasoning in the class	2023-06-02	Paper
A heuristic prover for elementary analysis in \textit{Theorema}	2022-04-22	Paper
\textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema}	2022-03-31	Paper
Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema	2021-12-08	Paper
Synthesis of sorting algorithms using multisets in \textit{Theorema}	2021-02-26	Paper
Theorema 2.0: Computer-Assisted Natural-Style Mathematics	2019-09-18	Paper
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques	2018-06-14	Paper
Proof–Based Synthesis of Sorting Algorithms for Trees	2016-04-13	Paper
Synthesis of list algorithms by mechanical proving	2015-01-14	Paper
Sound and Complete Verification Condition Generator for Functional Recursive Programs	2012-09-14	Paper
Using computer algebra techniques for the specification, verification and synthesis of recursive programs	2009-06-18	Paper
Combining logical and algebraic techniques for natural style proving in elementary analysis	2009-06-18	Paper
Functional–Based Synthesis of a Systolic Array for GCD Computation	2009-03-11	Paper
\textit{Theorema}: Towards computer-aided mathematical theory exploration	2007-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q3416386	2007-01-22	Paper
Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)	2006-01-03	Paper
https://portal.mardi4nfdi.de/entity/Q5699474	2005-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q5699558	2005-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4815318	2004-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4815327	2004-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4459895	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4537118	2002-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q4780211	2002-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q2751543	2002-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q2751547	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q4226993	1999-05-30	Paper
https://portal.mardi4nfdi.de/entity/Q4234183	1999-03-16	Paper
https://portal.mardi4nfdi.de/entity/Q4226984	1999-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4895370	1997-03-25	Paper
Bidirectional exact integer division	1997-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4895475	1996-11-12	Paper
A double-digit Lehmer-Euclid algorithm for finding the GCD of long integers	1996-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q4294264	1994-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4294242	1994-05-24	Paper
https://portal.mardi4nfdi.de/entity/Q4294265	1994-05-24	Paper
An algorithm for exact division	1993-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4712220	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3789043	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3678647	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3340180	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3340181	1984-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tudor Jebelean