Digital Math
Constructive science unlocking the grand challenges in science, education and industry

DigiMat - online digital math education
from school to pro

Get started with DigiMat - Digital Math online education!

DigiMat Overview

DigiMat unifies math and programming in a unique way. Creativity, motivation and industrial impact are key elements. The program spans all levels, from pre-school to top academic and professional.

The method is based on world-leading mathematics research at KTH and Chalmers, together with didactic research at Stockholm University. Computation is the leading principle and music and visual art is part of the pedagogical concept.

By learning a few basic algorithms anyone can understand and carry out advances programming and physics simulations. Get started!

Paradigm-shift in fluid mechanics enabling massive energy savings

Revolutionary aeroscience: Reliable simulation with Euler* More info - and run and modify the simulations yourself in your web browser!

We organized panel debate on digitalization as solution for reproducibility crisis

https://digimat.tech/paneldebate-kth/Together with the EU Open Science Unit, Swedish Parliament, etc. Digital Math as a solution to the crisis. Try our interactive, reproducible, modifiable Modern Scientific paper yourself in your web browser!

About Us

We present the Digital Math framework as the foundation for modern science based on constructive digital mathematical computation. The computed result (coefficient vector, FEM function, plot, etc.) is a mathematical theorem, and the mathematical Open Source code, here in the FEniCS framework, and computation is the mathematical proof. We can also derive additional constructive proofs from the FEniCS and FEM formulation, such as stability.

Based on the Digital Math framework and the FEniCS realization, we present our Direct FEM Simulation (DFS) methodology together with predictions of the most advanced benchmarks available, unlocking the grand challenge of turbulence and aerodynamics.

Digital Math represents digitalization of mathematics, society, industry and society in the form of automated and easily understandable computation of mathematical models in the Open Source FEniCS framework with world-leading performance and recognized at the highest level of science and industry together with an effective pedagogical concept with combined abstract theory and mathematical interactive programming in a cloud-HPC web-interface.

With our computational framework you can predict and understand the grand challenges of science and technology.

Disclaimer

This site is the Digital Math research environment. Johan Jansson is also leading the commercial Open Source spin-off Icarus Digital Math, supported by IVA, KTH Innovation, Vinnova, etc. Any commercial activities will be denoted by "Icarus".

Img

Breakthrough predictive mathematical simulation

References

Johan Jansson (jjan@kth.se), Massimiliano Leoni, Måns Andersson, Patricia Lopez Sanchez, Mats Stading, Ridgway Scott, Claes Johnson, Predictive Real Unified Continuum modeling of multi-physics in the Digital Math framework, Digital Math: Human workshop, 2020

Johan Jansson, Docent lecture "Digital Math", KTH, 2020

Johan Jansson et. al., Time-resolved adaptive direct fem simulation of high-lift aircraft configurations. Springer Brief: Numerical simulation of the aerodynamics of high-lift configurations, 2017.

Johan Hoffman, Johan Jansson, Claes Johnson, New Theory of Flight, Journal of Mathematical Fluid Mechanics, 2015

Johan Hoffman, Johan Jansson, Niclas Jansson, Rodrigo Vilela de Abreu, Claes Johnson, Computability and Adaptivity in CFD, Encyclopedia of Computational Mechanics, 2016

Johan Hoffman, Johan Jansson, Niclas Jansson, FEniCS-HPC: Automated predictive high-performance finite element computing with applications in aerodynamics, Lecture Notes in Computer Science, 2016

Johan Hoffman, Claes Johnson, Resolution of D'Alembert's paradox, Journal of Mathematical Fluid Mechanics, 2011

Johan Hoffman, Claes Johnson, Computational Turbulent Incompressible Flow, Springer, 2007

Claes Johnson, Johan Jansson, Secret of Flight Web Site, 2012- (older format)

Claes Johnson, Johan Jansson, Secret of Flight Web Site, 2020- (new format, to appear)

A. Logg, K.-A. Mardal, G. Wells, et. al., ``Automated solution of differential equations by the finite element method'', Lecture Notes in Computational Science and Engineering, 84 (2012), pp. 1-736. (2 chapters in ``the FEniCS book'')

Our projects

FEniCS - Automated solution of partial differential equations

ELISE - electrification of aviation

DigiMat - pervasive Digital Math education

Digital Math: Aero - predictive aerodynamics.

Digital Math: Human - predictive virtual medicine.

Digital Math: Heart - predictive heart simulation.

Digital Math: Swallow - predictive swallowing and food tech simulation.

<

ENABLE - EU H2020 Marie Curie project for prediction of advanced metal machining.

<

Secret of Flight - "No one understands how a plane flies - Sci. Am. 2020." But we do! Learn you too!

Commercialization of Digital Math - Open Science - Open Source

Our team

Johan Jansson - Docent and Associate Professor KTH and BCAM

Linda Barman - Lecturer KTH

Susanne Kjällander - Docent and Associate Professor Stockholm University

Sofia Frankenberg - Docent and Associate Professor Stockholm University

Claes Johnson - Prof. Em. KTH and Chalmers

Ridgway Scott - Prof. Em. University of Chicago

Tamara Dancheva - PhD student BCAM and KTH

Massimiliano Leoni - PhD student BCAM and KTH

Ezhilmathi Krishnasany - PhD student BCAM

Rahul Kumar - Post Doc BCAM

Mini Hariharan - Innovation Consultant MPWR Sweden

David Kamensky - Assistant Professor University of California San Diego

Alberto Paganini - Assistant Professor University of Leicester

Måns Andersson - Research Engineer KTH

Elin Johansson - Creative Director Icarus Digital Math

Ninja Agborn - Art Director Icarus Digital Math

Take our online courses!

Read more about our breakthrough predictive technology, take our courses, and meet our highly merited Team who are passionate about Digital Math.

jjan@kth.se

The Digital Math research environment has been supported and funded by:

IVA

Vinnova

KTH

BCAM

EU

Severo Ochoa Center of Excellence Award

News

Our ELISE electric aviation project highlighted as success, Swedish government planning specific focus!


Our Vinnova project ELISE spearheading electric aviation highlighted as a success, where we have developed a paradigm-shift in predictive aerodynamics simulation in collaboration with e.g. NASA (https://lnkd.in/gnBcU5Qp) for robust and efficient certification and design. Now the Swedish government is planning a specific focus in this direction!

Article in Dagens Industri.

Ezhilmathi Krishnasamy ("Mathi") publishes his PhD thesis!


Many congratulations to Ezhilmathi Krishasamy ("Mathi") for publishing his PhD thesis, supervised by Johan Jansson.

Mathi is now continuing his academic career as a Post-Doc at the University of Luxembourg.

Digital Math / DigiMat exhibition at World Expo 2020


Digital Math will exhibit at the World Expo 2020 in Dubai with Vinnova!

The exhibition will be showcasing the DigiMat online education project supported by Vinnova, with example applications of predictive Real Flight Simulation of electric aircraft in the ELISE project: https://expo2020.se/

The DigiMat online education platform is launched!


http://digimat.tech/digimat

DigiMat is mathematics education for the digital world from basic school level : through top academic, professional level and teachers.

DigiMat is a unified program with varying depth and scope over all levels with computation as leading principle, where all mathematical objects are constructed by computation according to computer programs as mathematics expressed in symbolic form.

Try our prototypes and learn predictive Real Flight Simulation!

Img

Welcome to Digital Math


The new Digital Math framwork is launched!

Reproducibility and Replicability in Science


The report "Reproducibility and Replicability in Science" by the US National Academies of Sciences, Engineering and Medicine is just out, it's of key importance for our scientific work. Here's an article on the report, and the report itself:

https://physicsworld.com/a/science-needs-to-improve-the-transparency-of-research-results-says-report/
https://www.nap.edu/read/25303/chapter/1

Lorena Barba is a prominent US scientist, driving forward several Open Source initiatives such as NumFOCUS, and one of the authors of the report.

Here's a quote from the article:

Barba told Physics World. “What we are calling for is changing those norms to give importance to the full set of digital objects that are part of a scientific study and acknowledging that the scientific paper is insufficient today in its methods section to include all of the information needed for another researcher to confirm the results or build from those results.”

What Lorena is saying is that if a scientific paper is not reproducible, then it cannot really be considered a scientific publication. Here's another article on this:

https://twitter.com/LorenaABarba/status/1125813611308494848
https://www.theatlantic.com/science/archive/2018/04/the-scientific-paper-is-obsolete/556676/

This is also mirrored in the Swedish guidelines for Open Access in Science:

https://www.vr.se/download/18.2412c5311624176023d25590/1555426972107/Proposal-nat-guidelines-open-access_VR_2015.pdf

There is a crisis of reproducibility in science today:

https://www.nature.com/news/1-500-scientists-lift-the-lid-on-reproducibility-1.19970

One of the most cited papers in recent years is the paper "Why most published research findings are false":

https://scholar.google.se/scholar?hl=sv&as_sdt=0%2C5&q=Why+Most+Published+Research+Findings+Are+False&btnG=

The Digital Math framework as the foundation for modern science based on constructive digital mathematical computation, is a solution to the crisis. The computed result (coefficient vector, FEM function, plot, etc.) is a mathematical theorem, and the mathematical Open Source code, here in the FEniCS framework, and computation is the mathematical proof.

Based on the Digital Math framework and the Unicorn/FEniCS realization, we present our Direct FEM Simulation (DFS) methodology together with predictions of the most advanced benchmarks available, unlocking the grand challenge of turbulence and aerodybamics.