Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire anglais - français

mechanical theorem proving

démonstration automatique de théorèmes

informatique et traitement des données - iate.europa.eu

▷

Ritt-wu’s decomposition algorithm ∗... Keywords Wu’s method, mechanical theorem proving, prover, elementary geometry, degenerate conditions, Ritt-Wu’s principle, algebraic variety, ideal, ascending chain, the dimension theorem, Morley’s...

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Formal verification of a partial-order reduction technique for model checkingMechanical theorem proving and model checking are the two main methods of formal verification, each with its own strengths and weaknesses....

PDF: citeseerx.ist.psu.edu

In: journal of automated reasoning, 10:173-189, 1993, automated reasoning in differential geometry and mechanics using the characteristic set method1 part ii. mechanical theorem provingAbstractWe clarify the formulation problem of mechanical theorem proving in differential geometry and mechanics and propose two formulations....

PDF: www.mmrc.iss.ac.cn

Mechanical theorem proving in geometryMechanical theorem proving in geometry plays an important role in the research of automated reasoning....

PDF: www.iaesjournal.com