| rdfs:comment
| - Les mathématiques expérimentales constituent une approche dans laquelle des calculs (essentiellement réalisés actuellement par ordinateur) sont utilisés pour explorer les propriétés d'objets mathématiques, et découvrir des relations et des régularités entre ces objets. (fr)
- Matematika percobaan (bahasa Inggris: Experimental mathematics) adalah suatu pendekatan pada matematika di mana perhitungan dengan angka digunakan untuk meneliti objek matematika dan mengidentifikasi sifat-sifat dan pola-pola. Didefinisikan sebagai "cabang matematika yang berpusat pada kodifikasi dan transmisi pandangan-pandangan dalam komunitas matematika melalui penggunaan percobaan (baik dalam artian Galilean, Baconian, Aristotelian atau Kantian) ekplorasi konjektur-konjektur dan kepercayaan-kepercayaan yang lebih informal serta analisis cermat dari data yang diperoleh dalam upaya itu." (in)
- 実験数学（じっけんすうがく、英語: experimental mathematics）は、数学的対象を調査し、特質や規則を発見するために計算を使用する数学へのアプローチである。それは、「数学の一分野で、実験的（ガリレオ的、ベーコン的、アリストテレス的、あるいはカント的）な方法で、予想やよりくだけた信念を探求し、その過程で得られたデータを慎重に解析することによって、究極的には数学界に洞察を成文化し発表することに関心を持つもの。」であると定義されている。 ポール・ハルモスは次のように述べている。「数学は演繹的な科学ではない-それは決まり文句だ。定理を証明しようとするとき、ただ仮定を並べ推理するのではない。試行錯誤、実験、推測をするのだ。その点では、実験技師の仕事と似ている。」 (ja)
- Matemática experimental é uma abordagem para a matemática em que a computação numérica é usada para investigar objetos matemáticos e identificar propriedades e padrões. Tem sido definida como "o ramo da matemática que se preocupa em última análise, com a codificação e transmissão de conhecimentos dentro da comunidade matemática através do uso da exploração experimental (quer no sentido Galileano, Baconiano, Aristotélico ou Kantiano) de conjecturas e crenças mais informais e uma análise cuidadosa dos dados adquiridos nessa busca." (pt)
- الرياضيات التجريبية (بالإنجليزية: Experimental mathematics) هي نهج للرياضيات يتم فيه استخدام الحساب لاستكشاف الأشياء الرياضية وتحديد الخصائص والأنماط. تم تعريفه على أنه «فرع الرياضيات الذي يهتم في النهاية بتدوين ونقل الرؤى داخل المجتمع الرياضي من خلال استخدام استكشاف التخمينات التجريبية (بالمعنى الجاليلي أو البيكوني أو الأرسطي أو الكانطي) للتخمينات والمعتقدات الأكثر رسمية. وتحليل دقيق للبيانات المكتسبة في هذا المسعى». (ar)
- Experimental mathematics is an approach to mathematics in which computation is used to investigate mathematical objects and identify properties and patterns. It has been defined as "that branch of mathematics that concerns itself ultimately with the codification and transmission of insights within the mathematical community through the use of experimental (in either the Galilean, Baconian, Aristotelian or Kantian sense) exploration of conjectures and more informal beliefs and a careful analysis of the data acquired in this pursuit." (en)
- Die Experimentelle Mathematik ist eine Disziplin der Mathematik, die zwischen der klassischen Mathematik und dem Rechnen mit dem Computer angesiedelt ist. Im Gegensatz zum wissenschaftlichen Rechnen, das der Lösung praktischer Probleme dient, unterstützt die experimentelle Mathematik die mathematische Forschung selbst. Der Computer ist Werkzeug zur Anwendung von Methoden der Numerischen Mathematik und der Computeralgebra. Prominente Anwendungsbeispiele sind das Vierfarbenproblem und die Keplersche Vermutung. Durch Anwendung des seit 1982 veröffentlichten LLL-Algorithmus konnten Andrew Odlyzko und Herman te Riele 1985 die Mertenssche Vermutung widerlegen. (de)
- Per matematica sperimentale si può intendere l'applicazione della pratica sperimentale del metodo scientifico alla ricerca matematica di base. Questa pratica è stata ampiamente seguita nel passato e gli standard di rigore che si sono imposti nella letteratura matematica a partire da Euclide e Archimede non devono farci ignorare che molti dei risultati della matematica sono stati scoperti con pratiche empiriche. (it)
- De experimentele wiskunde is een deelgebied van de wiskunde waarin numerieke berekeningen gebruikt worden om algemene stellingen te vinden. Het maakt gebruik van dezelfde methoden als de numerieke wiskunde, echter niet met het doel een getalsmatig resultaat te vinden, maar om een algemene regel te vinden of te ondersteunen. In tegenstelling tot de "gewone" formele wiskunde kan experimentele wiskunde nooit gebruikt worden om een wiskundige stelling te bewijzen. Ze kan echter wel gebruikt worden om te bewijzen dat een stelling onjuist is. (nl)
- Экспериментальная математика — область математики, отличающаяся использованием различных приёмов, в том числе приёмов подстановки, перемещения, доказательств от обратного, в том числе с использованием электронно-вычислительных инструментов для проверки, подтверждения старых и получения новых фактов (теорем) в математике. Все результаты, полученные в экспериментальной математике, являются строго доказанными утверждениями математики. Строго говоря, любые доказательства, выкладки, вычисления и т. д. являются экспериментами с целью получения новых законов (теорем). Однако в экспериментальной математике для проведения экспериментов используется современная вычислительная техника, позволяющая осуществлять эксперименты, недоступные при ручном счете. Основным методом экспериментальной математики я (ru)
- Експериментальна математика — галузь математики, що відрізняється використанням різних прийомів, зокрема прийомів підстановки, переміщення, доведень від супротивного, зокрема з використанням електронно-обчислювальних засобів для перевірки, підтвердження старих і одержання нових фактів (теорем). Всі результати, отримані в експериментальній математиці, є строго доведеними твердженнями математики. Строго кажучи, будь-які доведення, розрахунки, обчислення тощо є експериментами з метою отримання нових законів (теорем). Однак в експериментальній математиці для проведення експериментів використовується сучасна обчислювальна техніка, що дозволяє здійснювати експерименти, недоступні за ручних обчислень. Основним методом експериментальної математики є доказові обчислення, в ході яких результати обчи (uk)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)