Experimental mathematics
http://dbpedia.org/resource/Experimental_mathematics an entity of type: Field108569998
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.
rdf:langString
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."
rdf:langString
実験数学（じっけんすうがく、英語: experimental mathematics）は、数学的対象を調査し、特質や規則を発見するために計算を使用する数学へのアプローチである。それは、「数学の一分野で、実験的（ガリレオ的、ベーコン的、アリストテレス的、あるいはカント的）な方法で、予想やよりくだけた信念を探求し、その過程で得られたデータを慎重に解析することによって、究極的には数学界に洞察を成文化し発表することに関心を持つもの。」であると定義されている。 ポール・ハルモスは次のように述べている。「数学は演繹的な科学ではない-それは決まり文句だ。定理を証明しようとするとき、ただ仮定を並べ推理するのではない。試行錯誤、実験、推測をするのだ。その点では、実験技師の仕事と似ている。」
rdf:langString
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."
rdf:langString
الرياضيات التجريبية (بالإنجليزية: Experimental mathematics) هي نهج للرياضيات يتم فيه استخدام الحساب لاستكشاف الأشياء الرياضية وتحديد الخصائص والأنماط. تم تعريفه على أنه «فرع الرياضيات الذي يهتم في النهاية بتدوين ونقل الرؤى داخل المجتمع الرياضي من خلال استخدام استكشاف التخمينات التجريبية (بالمعنى الجاليلي أو البيكوني أو الأرسطي أو الكانطي) للتخمينات والمعتقدات الأكثر رسمية. وتحليل دقيق للبيانات المكتسبة في هذا المسعى».
rdf:langString
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."
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
Экспериментальная математика — область математики, отличающаяся использованием различных приёмов, в том числе приёмов подстановки, перемещения, доказательств от обратного, в том числе с использованием электронно-вычислительных инструментов для проверки, подтверждения старых и получения новых фактов (теорем) в математике. Все результаты, полученные в экспериментальной математике, являются строго доказанными утверждениями математики. Строго говоря, любые доказательства, выкладки, вычисления и т. д. являются экспериментами с целью получения новых законов (теорем). Однако в экспериментальной математике для проведения экспериментов используется современная вычислительная техника, позволяющая осуществлять эксперименты, недоступные при ручном счете. Основным методом экспериментальной математики я
rdf:langString
Експериментальна математика — галузь математики, що відрізняється використанням різних прийомів, зокрема прийомів підстановки, переміщення, доведень від супротивного, зокрема з використанням електронно-обчислювальних засобів для перевірки, підтвердження старих і одержання нових фактів (теорем). Всі результати, отримані в експериментальній математиці, є строго доведеними твердженнями математики. Строго кажучи, будь-які доведення, розрахунки, обчислення тощо є експериментами з метою отримання нових законів (теорем). Однак в експериментальній математиці для проведення експериментів використовується сучасна обчислювальна техніка, що дозволяє здійснювати експерименти, недоступні за ручних обчислень. Основним методом експериментальної математики є доказові обчислення, в ході яких результати обчи
rdf:langString
rdf:langString
Experimental mathematics
rdf:langString
رياضيات تجريبية
rdf:langString
Experimentelle Mathematik
rdf:langString
Matematika percobaan
rdf:langString
Matematica sperimentale
rdf:langString
Mathématiques expérimentales
rdf:langString
実験数学
rdf:langString
Experimentele wiskunde
rdf:langString
Matemática experimental
rdf:langString
Экспериментальная математика
rdf:langString
Експериментальна математика
xsd:integer
256363
xsd:integer
1112121815
rdf:langString
الرياضيات التجريبية (بالإنجليزية: Experimental mathematics) هي نهج للرياضيات يتم فيه استخدام الحساب لاستكشاف الأشياء الرياضية وتحديد الخصائص والأنماط. تم تعريفه على أنه «فرع الرياضيات الذي يهتم في النهاية بتدوين ونقل الرؤى داخل المجتمع الرياضي من خلال استخدام استكشاف التخمينات التجريبية (بالمعنى الجاليلي أو البيكوني أو الأرسطي أو الكانطي) للتخمينات والمعتقدات الأكثر رسمية. وتحليل دقيق للبيانات المكتسبة في هذا المسعى». كما عبر بول هالموس: «الرياضيات ليست علمًا استنتاجيًا، إنها كليشيهات. عندما تحاول إثبات نظرية، فأنت لا تسرد الفرضيات فقط، ثم تبدأ في التفكير. ما تفعله هو التجربة والخطأ، والتجريب، التخمين. تريد معرفة الحقائق، وما تفعله في هذا الصدد مشابه لما يفعله فني المختبر.»
rdf:langString
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. Zur Förderung des Fachgebietes und seiner Methodik wurde 1992 die Zeitschrift Experimental Mathematics gegründet. Das Journal of Experimental Algorithmics erschien erstmals 1996 als papierlose Publikation der Association for Computing Machinery. Der britische Numeriker Lloyd Nicholas Trefethen rief unter dem Titel 100-Digit Challenge im Februar 2002 einen Wettbewerb zur Lösung von zehn extrem schwierigen Berechnungsproblemen aus dem Bereich Scientific Computing aus. Deren Lösung mit möglichst großer Genauigkeit erforderte sowohl mathematische Findigkeit als auch die Beherrschung fortgeschrittenster numerischer Verfahren. Nach großer Beteiligung wurden die variantenreichen Lösungswege mit den erzielten Lösungen veröffentlicht und zeigten die unerwartete Leistungsfähigkeit der vereinten Bemühungen.
rdf:langString
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." As expressed by Paul Halmos: "Mathematics is not a deductive science—that's a cliché. When you try to prove a theorem, you don't just list the hypotheses, and then start to reason. What you do is trial and error, experimentation, guesswork. You want to find out what the facts are, and what you do is in that respect similar to what a laboratory technician does."
rdf:langString
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.
rdf:langString
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."
rdf:langString
実験数学（じっけんすうがく、英語: experimental mathematics）は、数学的対象を調査し、特質や規則を発見するために計算を使用する数学へのアプローチである。それは、「数学の一分野で、実験的（ガリレオ的、ベーコン的、アリストテレス的、あるいはカント的）な方法で、予想やよりくだけた信念を探求し、その過程で得られたデータを慎重に解析することによって、究極的には数学界に洞察を成文化し発表することに関心を持つもの。」であると定義されている。 ポール・ハルモスは次のように述べている。「数学は演繹的な科学ではない-それは決まり文句だ。定理を証明しようとするとき、ただ仮定を並べ推理するのではない。試行錯誤、実験、推測をするのだ。その点では、実験技師の仕事と似ている。」
rdf:langString
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. Attualmente si tende a restringere il significato del termine alle sperimentazioni che fanno uso del computer per esaminare grandi quantità di situazioni e per effettuare calcoli numerici e simbolici pesanti da effettuare manualmente.
rdf:langString
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. Wetenschappers en ingenieurs gebruiken weleens een informeel soort experimentele wiskunde waarbij een stelling die men zich herinnert of meent te herinneren "gecontroleerd" wordt door een paar getalsmatige voorbeelden door te rekenen.
rdf:langString
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."
rdf:langString
Экспериментальная математика — область математики, отличающаяся использованием различных приёмов, в том числе приёмов подстановки, перемещения, доказательств от обратного, в том числе с использованием электронно-вычислительных инструментов для проверки, подтверждения старых и получения новых фактов (теорем) в математике. Все результаты, полученные в экспериментальной математике, являются строго доказанными утверждениями математики. Строго говоря, любые доказательства, выкладки, вычисления и т. д. являются экспериментами с целью получения новых законов (теорем). Однако в экспериментальной математике для проведения экспериментов используется современная вычислительная техника, позволяющая осуществлять эксперименты, недоступные при ручном счете. Основным методом экспериментальной математики являются доказательные вычисления, в ходе которых результаты вычислений используются для строгого доказательства математических фактов. Пол Ричард Халмош писал: «Математика не является дедуктивной наукой — это клише. Если вы пытаетесь доказать теорему, вам недостаточно перечислить посылки, а затем начать рассуждения. Что вы делаете, это пробы и ошибки, эксперименты и угадывания. Вам нужно обнаружить, что это за факт, и то, что вы делаете, похоже на работу экспериментатора в лаборатории».
rdf:langString
Експериментальна математика — галузь математики, що відрізняється використанням різних прийомів, зокрема прийомів підстановки, переміщення, доведень від супротивного, зокрема з використанням електронно-обчислювальних засобів для перевірки, підтвердження старих і одержання нових фактів (теорем). Всі результати, отримані в експериментальній математиці, є строго доведеними твердженнями математики. Строго кажучи, будь-які доведення, розрахунки, обчислення тощо є експериментами з метою отримання нових законів (теорем). Однак в експериментальній математиці для проведення експериментів використовується сучасна обчислювальна техніка, що дозволяє здійснювати експерименти, недоступні за ручних обчислень. Основним методом експериментальної математики є доказові обчислення, в ході яких результати обчислень використовуються для строгого доведення математичних фактів. Пол Річард Халмош писав: «Математика не є дедуктивною наукою — це кліше. Якщо ви намагаєтеся довести теорему, вам недостатньо перерахувати засновки, а потім почати міркування. Ви робите проби і помилки, експериментуєте і вгадуєте. Вам потрібно виявити, що це за факт, і те, що ви робите, схоже на роботу експериментатора в лабораторії.»
xsd:nonNegativeInteger
15489