Stream

Join this community to post or comment

OM SATYA TRUTH

Discussion  - 
 
LMFDB | L-FUNCTIONS & MODULAR FORMS DATABASE

|| INTERNATIONAL TEAM LAUNCHES VAST ATLAS OF MATHEMATICAL OBJECTS ||

A team of more than 80 Mathematicians from 12 countries has begun charting the terrain of rich , new Mathematical worlds , and sharing their discoveries on the Web .

The Mathematical universe is filled with both familiar and exotic items , many of which are being made available for the first time .

The L-FUNCTIONS & MODULAR FORMS DATABASE , abbreviated LMFDB , is an intricate catalog of Mathematical objects and the connections between them .

Making those relationships visible has been made possible largely by the coordinated efforts of a group of researchers developing new algorithms and performing calculations on an extensive network of computers .

The project provides a new tool for several branches of Mathematics , Physics , and Computer Science .

Just like explorers , Mathematicians seek to discover paths between apparently unrelated areas . Such discoveries can lead to breakthroughs when the connections are made explicit .

CLICK PHOTO TO READ ARTICLES & ACCESS LMFDB ➤➤

#LMFDB #mathematics #math #physics #computerscience #computing #computation #research #langlandsprogram #foundationsofmathematics #experimentation #numbertheory
An international group of Mathematicians at various institutions has released a new online resource that provides detailed maps of previously uncharted Mathematical terrain . The LMFDB is a detailed atlas of Mathematical objects that maps out the connections between them .
5
1
Samuel Aslani's profile photo
Add a comment...
 
I am trying to write a deterministic Miller Rabin python program to test the primality of large numbers and I encounter memory error when doing repeated squaring. Anyone has an suggestion to fix the memory error?
1
Aditya Kashi's profile photoNancy Schroepfer's profile photo
3 comments
 
Thanks for commenting. I figured it out. The Miller Rabin program I wrote can test the primality of a number up to 1000 digits, maybe even more.
Add a comment...

HotHardware

Discussion  - 
 
#NVIDIA  took the wraps off their #Tesla  P100 GPU-Compute accelerator this week at the GTC 2016. It's a total beast with 16GB of HBM2 per module and gobs of bandwidth - 21 TFLOPs half-precision performance. 
Yesterday, during his keynote address at GTC 2016, NVIDIA CEO Jen-Hsun Huang made a number of interesting announcements and disclosures. We saw Apple co-founder Steve “Woz” Wozniak take a virtual tour of Mars and witnessed the official unveiling of NVIDIA’s Tesla P100, which is based on the company’s bleeding-edge, GP100 GPU. GP100 leverages
2
Add a comment...
 
 
Mathematician David Hilbert is famous for his thought experiment Hilbert’s Hotel: He imagined a hotel with infinite rooms, all occupied. Could a newcomer find a room? Paradoxically, because of the nature of infinity, Hilbert’s Hotel is simultaneously completely filled and also has unlimited vacancies! Read about how this concept, long thought to be theoretical, has been observed in optical vortices. http://bit.ly/1R7jppL
8
Add a comment...
 
 
Here is an excellent example of the power of Fourier Transforms. Joseph Fourier, the father of Fourier Analysis, could never have anticipated the adoption of his mathematical techniques to revolutionize the study of the Universe. Here is one such example -

This is a derivation of the Propagator for the Path Integral Formulation for a Free Field Theory. I needed to derive this result for my research but I could not find an adequate resource showing how to use Fourier Transformations to derive the Free Propagator. After much toil, I finally got it! I encourage you to check my work! Thank you!

Fourier rocks!
1
Add a comment...

Alex Alaniz

Discussion  - 
 
Machine intelligence brings us the end of insight and certainty while Gödel/Turing is linked to quantum physics 
2
1
Marko Shiva Pavlovic (in1t3r)'s profile photo
Add a comment...

Larry Panozzo

Discussion  - 
 
There are all sorts of cool spirals. Oh hey the picture for this community is even a spiral. What spiral is your favorite?
3
Z30N(I) LuZ(I)9N0's profile photoArthur Lawrence's profile photo
2 comments
 
Thanks-I like 'em all :)
Add a comment...
 
The Swedish University of Mälardalen is looking to recruit professionals interested in obtaining advanced proficiency in Mathematics and Finance. 

The main purpose is to make you attractive for senior positions in for example stock exchanges, investment companies, banks, and financial institutions. If anyone is interested, feel free to join an informative webinar for professionals worldwide. Register here: http://bit.ly/1Wyks5F 
Is Mathematics your thing and are you looking for a future career within the international world of finance? By studying Master’s in Financial Enginee...
1
Add a comment...

OM SATYA TRUTH

Discussion  - 
 
COMPUTER VERIFIED MATHEMATICS | VOEVODSKY

|| ARTICLES | TECH PAPERS | VIDEO | IAS HoTT EBOOK ||

Voevodsky has been advocating the virtues of computer proof assistants and developing univalent foundations in order to bring the languages of Mathematics and Computer Programming closer together .

" The world of Mathematics is becoming very large , the complexity of Mathematics is becoming very high , and there is a danger of an accumulation of mistakes . "

#mathematics #computers #programming #homotopy
#typetheory #proofs #hott #ocaml #haskell #coq #agda

CONTINUE TO READ | VIEW VIDEO ➤➤
Voevodsky has been advocating the virtues of computer proof assistants and developing univalent foundations in order to bring the languages of Mathematics and Computer Programming together .
2
Add a comment...

OM SATYA TRUTH

Discussion  - 
 
RAMANUJAN MATHEMATICS | STEPHEN WOLFRAM | 04.27.2016

|| TRUTH VERSUS NARRATIVE | EXCERPT ||

Ramanujan's way of working must have seemed quite alien . For Ramanujan was in some fundamental sense an Experimental Mathematician :

Going out into the Universe of Mathematical possibilities and doing calculations to find interesting and significant facts — and only then building theories based on them .

|| SEEING WHAT IS IMPORTANT | EXCERPT ||

Ramanujan was surely a great human calculator , and impressive at knowing whether a particular Mathematical fact or relation was actually true .

But Ramanujan's greatest skill was , I think , something in a sense more mysterious : an uncanny ability to tell what was significant , and what might be deduced from it .

CLICK PHOTO TO READ COMPREHENSIVE ARTICLE & ACCESS RESOURCES ➤➤

#mathematics #ramanujan #wolfram #srinivasaramanujan #stephenwolfram #mathematica #math #computation #computing #puremathematics #numbertheory #experimentation #discovery
Ramanujan's way of working must have seemed quite alien . For Ramanujan was in some fundamental sense an Experimental Mathematician : Going out into the Universe of Mathematical possibilities and doing calculations to find interesting and significant facts — and only then building theories based on them .
2
Add a comment...

Pawel Lachowicz

Discussion  - 
 
Predicting Next Fatal Airline Crash Due to Bad Weather Conditions
Singapore, May 10, PyData Meetup’s Talk by Dr. Pawel Lachowicz

http://www.quantatrisk.com/2016/04/26/predicting-next-fatal-airline-crash-due-to-bad-weather-conditions/
Hi Guys! Just FYI, I will have an invited guest 20-min talk at PyData Singapore MeetUp on May 10, 2016 on big data analysis aimed at Prediction of the Next Fatal Airline Crash Due to Bad Weather Conditions. In short, instrument meteorological conditions (IMC) is an aviation flight category that
1
Add a comment...

LThMathematics

Discussion  - 
 
I have not been sponsored to say, I just think this is a great project :) take a look ^_^ 
1
Add a comment...
 
How to compute x from x^p = q(1 - x),
where x, q are positive, and p is a real number?
1
Andrew Miloradovsky's profile photo
Add a comment...

LThMathematics

Discussion  - 
 
Just started a collection of facts from the History of mathematics ^_^ 
4
2
Jaime Maia's profile photoMarko Shiva Pavlovic (in1t3r)'s profile photo
Add a comment...
2
1
Evelyn Mitchell's profile photoMaurici Carbo (nummolt)'s profile photoEdward NSZY's profile photo
5 comments
 
+Evelyn Mitchell Hour, minute, second, day of the week, and light in the sky. All is well explained in the google play link. Is a free app and don't have any ads or any strange payments.  There's a paid version as a Android live wallpaper.
Add a comment...

Peter Melvin

Discussion  - 
 
All Possible Rotations of all Possible Rigid Bodies

This animation is based on ``The Lindstedt Solution for a Torque Free Rigid Body'' (AAS 08-295) presented at the F. Landis Markley Astronautics Symposium, Cambridge, Maryland, July 1, 2008.

What the animation shows is the triangular configuration space where the moments of inertia of any rigid body are used to construct an equivalent rectangular parallelopiped.   There are 392 such bodies shown in the lower right rotating about their axis of major moment.  The triangular configuration space is then mirrored through the diagonal to show in the upper left the same 392 bodies rotating about their axis of minor moment.   The coning motion is controlled by a parameter in the open unit interval which is called the elliptic modulus and often denoted by k.  There are 12 values used: 0, 0.01, 0.1, 0.2, 0.3, ..., 0.9, 0.99.

The mathematical details are found in three papers available from 

//www.academia.edu/5701124/A_New_Method_for_the_Generation_of_Torque_Free_Motion_of_a_Satellite

//www.academia.edu/5684806/The_Lindstedt_Solution_for_a_Torque_Free_Rigid_Body_AAS_08-295_

or the fully edited for publication 

//www.academia.edu/5700926/The_Lindstedt_Solution_for_a_Torque_Free_Rigid_Body_JAS_1327_
1
Add a comment...

Christop Mayr

Discussion  - 
 
Hi,
I recently programmed an game for all People, who love to solve difficult number Sequences. Maybe you have some suggestions for other difficult sequences.
https://play.google.com/store/apps/details?id=com.chrissi.sequences
1
Add a comment...

Peter Melvin

Discussion  - 
 
See my Applied Math papers at
 //navalresearchlab.academia.edu/PeterMelvin
1
Add a comment...