Searching for "Integrating Computer Algebra into Proof Planning." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Integrating Computer Algebra Into Proof Planning
- …INTEGRATING COMPUTER ALGEBRA INTO PROOF PLANNING Manfred Kerber School of Computer Science…
- Cited by 41 (28 self) – Add To MetaCart
-
Integrating Computer Algebra with Proof Planning
- …Integrating Computer Algebra with Proof Planning Manfred Kerber 1 , Michael Kohlhase ?2…
- Cited by 16 (7 self) – Add To MetaCart
-
Non-trivial Symbolic Computations in Proof Planning
- … approach to integrate computer algebra into proof planning. It is based on the idea to separate computation…
- Cited by 6 (3 self) – Add To MetaCart
-
Comparing approaches to the exploration of the domain of residue classes
- … and the integration of computer algebra with proof planning. Section 3 contains a summary of the exploration…
- Cited by 21 (11 self) – Add To MetaCart
-
Classifying Isomorphic Residue Classes
- … and the integration of computer algebra with proof planning. Section 3 contains a summary of the classication…
- Cited by 8 (5 self) – Add To MetaCart
-
Randomization and Heavy-Tailed Behavior in Proof Planning
- … and explains how computer algebra is integrated into the proof planning process. Section 3 introduces…
- Cited by 5 (4 self) – Add To MetaCart
-
Exploring Properties of Residue Classes
- … planning in mega. Section 4 explains how computer algebra aids during the proof planning process, Sec. 5…
- Cited by 19 (12 self) – Add To MetaCart
-
Certifying solutions to permutation group problems
- … the integration of permutation group algorithms from computer algebra with proof planning. We consider eight basic…
- Cited by 9 (0 self) – Add To MetaCart
-
MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems
- …. the integration of computer algebra with proof planning) or to negotiate a private ontology for the communication…
- Cited by 36 (11 self) – Add To MetaCart
Showing 1 through 9.
