Showing 1 - 2 results of 2 for search 'Tudor Jebelean', query time: 0.02s Refine Results
  1. 1
    Proof–Based Synthesis of Sorting Algorithms Using Multisets in Theorema

    Proof–Based Synthesis of Sorting Algorithms Using Multisets in Theorema by Isabela Drămnesc, Tudor Jebelean

    Published 2019-09-01
    Get full text
    Article
  2. 2
    Theorema 2.0: Computer-Assisted Natural-Style Mathematics

    Theorema 2.0: Computer-Assisted Natural-Style Mathematics by Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger

    Published 2016-01-01
    Get full text
    Article

Search Tools: