Connecting the 3D DGS Calques3D with the CAS Maple (Q974253): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4531856 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A software tool for the investigation of plane loci / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic determination of envelopes and other derived curves within a graphic environment / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3798768 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4531857 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3994509 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4531855 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4321740 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new approach for automatic theorem proving in real geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4896914 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023355 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Wu's method and its application to perspective viewing / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the application of Buchberger's algorithm to automated geometry theorem proving / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4001538 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3783551 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computational Science and Its Applications – ICCSA 2004 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic discovery of theorems in elementary geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4737717 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A bridge between dynamic geometry and computer algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: 3D extension of Steiner chains problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system / rank
 
Normal rank
Property / cites work
 
Property / cites work: Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated Deduction in Geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023140 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3700870 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3700869 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4823900 / rank
 
Normal rank

Latest revision as of 20:37, 2 July 2024

scientific article
Language Label Description Also known as
English
Connecting the 3D DGS Calques3D with the CAS Maple
scientific article

    Statements

    Connecting the 3D DGS Calques3D with the CAS Maple (English)
    0 references
    27 May 2010
    0 references
    3D dynamic geometry systems
    0 references
    computer algebra systems
    0 references
    mechanical theorem proving in geometry
    0 references
    Gröbner bases
    0 references
    Wu's method
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers