Komputerowo wspomagana geometria: weryfikacja, automatyzacja, wizualizacja

• Autorzy: Żynel, M.

Warianty tytułu

EN

Computer aided geometry: verification, automatization, visualization

• Języki publikacji: PL

Abstrakty

PL

Wizualizacja nie zawsze jest wystarczającym narzędziem w geometrii, czasem pojawia się potrzeba weryfikacji logicznej poprawności rozumowania. Większość zagadnień dotyczących skończonych geometrii ma czysto kombinatoryczny charakter. Uzasadnia to zastosowanie w geometrii komputerowych systemów weryfikacji oraz automatyzacji dowodzenia.

EN

Sometimes visualization is not sufficient in geometry and verification of logical correctness of a reasoning is necessary. Most problems concerning finite geometry are of purely combinatorial nature, so that reasonings could be automated. This justifies the application of the proof-checkers and provers in geometry.

Słowa kluczowe

PL

geometria; wspomaganie komputerowe

• Czasopismo: Zeszyty Naukowe. Geometria i Grafika Inżynierska / Politechnika Śląska
• Rocznik: 1998
• Tom: z. 2
• Strony: 153-167
• Opis fizyczny: Bibliogr. 8 poz.

Twórcy

autor

Żynel, M.

• Instytut Matematyki Uniwerstetu w Białymstoku