scientific article; zbMATH DE number 1222429

MaRDI QIDQ4217954zbMATH OpenFDO

Authors Stéphane Fèvre, Dongming Wang

Publication date 11 November 1998

zbMATH Keywords

algebraic computingautomated theorem provingClifford algebraic reductiongeometry theorem provingterm-rewriting

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Software, source code, etc. for problems pertaining to geometry (51-04) Software, source code, etc. for problems pertaining to differential geometry (53-04) Grammars and rewriting systems (68Q42) Symbolic computation and algebraic computation (68W30)

Cited in

(9)

• Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem
• A review and prospect of readable machine proofs for geometry theorems
• A symbolic transformation language and its application to a multiscale method
• Rewriting input expressions in complex algebraic geometry provers
• scientific article; zbMATH DE number 1189078 (Why is no real title available?)
• scientific article; zbMATH DE number 1303337 (Why is no real title available?)
• scientific article; zbMATH DE number 6984221 (Why is no real title available?)
• scientific article; zbMATH DE number 1389649 (Why is no real title available?)
• scientific article; zbMATH DE number 1421057 (Why is no real title available?)

Describes a project that uses

Uses Software

• Maple
• OCaml

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4217954)