An algorithm for exact division

von Jebelean, Tudor
Veröffentlicht 1992

Theorema A Heuristic Prover for Elementary Analysis in Theorema

von Jebelean, Tudor
Veröffentlicht in CICM (14. : 2021 : Online) Intelligent Computer Mathematics (2021)

Systolic algorithms in computer algebra state of the project

von Buchberger, Bruno
Veröffentlicht 1992

AlCons: Deductive Synthesis of Sorting Algorithms in Theorema

von Drämnesc, Isabela
Veröffentlicht in ICTAC (18. : 2021 : Online) Theoretical aspects of computing - ICTAC 2021 (2021)

Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema

von Dramnesc, Isabela
Veröffentlicht in MACIS (8. : 2019 : Gebze) Mathematical aspects of computer and information sciences (2020)

Parallel rational arithmetic for computer algebra systems : motivating experiments

von Buchberger, Bruno
Veröffentlicht 1992

The papers presented at the 2nd International Workshop on Symbolic and Numeric Algorithms on Scientific Computing, October 4 - 6, 2000, Timişoara, Romania

Veröffentlicht 2000

Symbolic and numeric algorithms for scientific computing

Veröffentlicht 2004

Symbolic and numeric algorithms for scientific computing

Symbolic and numeric algorithms for scientific computing

Veröffentlicht 2004