Searching for authors named "Florina Piroi" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
User interface features in Theorema: A summary
- …User Interface Features in Theorema: A Summary ⋆ Florina Piroi Florina.Piroi…
- Cited by 1 (0 self) – Add To MetaCart
-
Deduction and Presentation in ρLog
- … of Sciences Linz, Austria Florina Piroi 2,4 Research Institute for Symbolic Computation Johannes Kepler…
- Add To MetaCart
-
Rule-based programming with Mathematica
- …Rule-Based Programming with Mathematica Mircea Marin 1⋆ and Florina Piroi 2⋆⋆ 1 Johann Radon…
- Cited by 2 (2 self) – Add To MetaCart
-
An Environment for Building Mathematical Knowledge Libraries
- …An Environment for Building Mathematical Knowledge Libraries Florina Piroi and Bruno Buchberger…
- Cited by 5 (2 self) – Add To MetaCart
-
The theorema environment for interactive proof development. Contributed talk at
- …The Theorema Environment for Interactive Proof Development Florina Piroi 1 and Temur Kutsia ⋆2 1…
- Cited by 1 (0 self) – Add To MetaCart
-
Rule-based Deduction and Views in Mathematica
- …Rule-based Deduction and Views in Mathematica Mircea Marin 1# and Florina Piroi 2## 1 Johann…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 6.
