Mechanical proof of planimetric theorems of rational type

DOI10.1134/S0361768814020066zbMATH Open1323.68463OpenAlexW2009415488MaRDI QIDQ2017773FDOQ2017773

Nikolay N. Osipov

Publication date: 23 March 2015

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768814020066

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to geometry (51-04)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• An algorithm for solving a family of fourth-degree Diophantine equations that satisfy Runge's condition
• Title not available (Why is that?)

Uses Software

• Maple
• geom

This page was built for publication: Mechanical proof of planimetric theorems of rational type

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