Searching for "Theorema." – sorted by Relevance.
155 documents found, showing 1 through 10.
Next 10 →
-
Mathematical Knowledge Management in Theorema
- …Mathematical Knowledge Management in Theorema Bruno Buchberger Research Institute for Symbolic…
- Cited by 2 (0 self) – Add To MetaCart
-
A Survey on the Theorema Project
- …A Survey on the Theorema Project Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin…
- Cited by 40 (8 self) – Add To MetaCart
-
Equational Prover of Theorema
- …Equational Prover of Theorema ? Temur Kutsia Research Institute for Symbolic Computation Johannes…
- Cited by 3 (3 self) – Add To MetaCart
-
Theory Exploration with Theorema
- …Theory Exploration with Theorema Bruno Buchberger Research Institute for Symbolic Computation…
- Cited by 6 (5 self) – Add To MetaCart
-
Generation of invariants in theorema
- … of Timis¸oara November 6–9, 2003 Generation of Invariants in Theorema Laura Ildikó Kovács, Tudor Jebelean 1…
- Cited by 1 (0 self) – Add To MetaCart
-
Logicographic Symbols: A New Feature in Theorema
- …Logicographic Symbols: A New Feature in Theorema Bruno Buchberger RISC (Research Institute…
- Cited by 4 (1 self) – Add To MetaCart
-
User interface features in Theorema: A summary
- …User Interface Features in Theorema: A Summary ⋆ Florina Piroi Florina…
- Cited by 1 (0 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
-
T.: Practical Aspects of Imperative Program Verification in Theorema
- …Practical Aspects of Imperative Program Verification using Theorema Laura Ildikó Kovács, Tudor…
- Cited by 1 (1 self) – Add To MetaCart
-
Large Experimental Program Verification in the Theorema System
- … by the editor) Tudor Jebelean · Laura Kovács · Nikolaj Popov Experimental Program Verification in the Theorema…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
