Help Desk
Welcome to the MaRDI Community Hub. We support you in all questions concerning mathematical research data. Get in touch with our team, we are happy to help. Data culture and community integration is the responsibility of Task Area 6.
MaRDI Mathematical Data Consultant
+49 341 9732183
goergen@mardi4nfdi.de
Christiane is MaRDI's mathematical data consultant and first contact point for all math questions, both broad and specific. She knows the consortium inside out and will either directly help external inquiries herself or direct them to the appropriate experts. Christiane holds a PhD in Statistics from Warwick University and has been doing research at the Max Planck Institute for Mathematics in the Sciences (MPI MIS) for five years. She now works at the University of Leipzig.
MaRDI Dissemination Coordinator
+49 341 9959705
bacher@mardi4nfdi.de
As MaRDI's Dissemination Coordinator, Tabea supports the initiative's outreach, community integration, and workshop organization. You are welcome to contact her for all organizational matters. Additionally she is busy building bridges between MaRDI and the library communities. Tabea got her diploma in Mathematics at the University of Leipzig and works at Max Planck Institute for Mathematics in the Sciences (MPI MIS) in Leipzig.
MaRDI Consortia Contact
+49 341 9732103
krause@mardi4nfdi.de
MaRDI Consortia Contact Tabea connects Collaborative Research Centres (Sonderforschungsbereiche, SFBs) and Priority Programmes (Schwerpunktprogramme, SPPs) with the MaRDI consortium. She reaches out to these initatives individually in order to establish a network of knowledgable contact persons, to collect feedback, and to disseminate new infrastructure directly to the mathematical research community. Along with questions regarding research-data management plans and PhD networks, you may contact her for any SFB/SPP specific concerns. Tabea got her diploma in Mathematics and a masters in Logic at the University of Leipzig where she also works now.
User Guide
Our goal is to establish a Mathematics Research Data Culture and to build up a Mathematics Research Data Infrastructure. This is a very big, abstract, and complex field and new for all of us. We would like to include you - the mathematics community - in this process right from the beginning. So, we invite you to be part of our project.
To start with, we prepared some info snippets for you:
Computer algebra systems play a prominent role in formal proofing or verification within the mathematical sciences. It can also be applied to other quantitative scientific disciplines requiring a complex series of testing systems to prove a scientific statement such as: using given hypotheses, system of axioms and/or logical reasoning.
Obtaining rigorous certificates for complex proofs are of paramount importance. Thus focus of TA1 will be establishing confirmable workflows, data formats and databases for Computer Algebra that would ensure a degree of standardisation that is beneficial to developers and publishing companies within the mathematical community. Computer algebra systems play a prominent role in formal proofing or verification within the mathematical sciences. It can also be applied to other quantitative scientific disciplines requiring a complex series of testing systems to prove a scientific statement such as: using given hypotheses, system of axioms and/or logical reasoning. Obtaining rigorous certificates for complex proofs are of paramount importance.
Computer algebra systems play a prominent role in formal proofing or verification within the mathematical sciences.
Computer algebra systems play a prominent role in formal proofing or verification within the mathematical sciences. It can also be applied to other quantitative scientific disciplines requiring a complex series of testing systems to prove a scientific statement such as: using given hypotheses, system of axioms and/or logical reasoning.
Obtaining rigorous certificates for complex proofs are of paramount importance. Thus focus of TA1 will be establishing confirmable workflows, data formats and databases for Computer Algebra that would ensure a degree of standardisation that is beneficial to developers and publishing companies within the mathematical community. Computer algebra systems play a prominent role in formal proofing or verification within the mathematical sciences. It can also be applied to other quantitative scientific disciplines requiring a complex series of testing systems to prove a scientific statement such as: using given hypotheses, system of axioms and/or logical reasoning. Obtaining rigorous certificates for complex proofs are of paramount importance.
Quantitative scientific disciplines requiring a complex series of testing systems to prove a scientific statement such as: using given hypotheses, system of axioms and/or logical reasoning.
Engaging
Before I try to rest I will set down these notes in preparation for the report I must make. What I have found is so singular, and so contrary to all past experience and expectations, that it deserves a very careful description.
I reached the main landing on Venus March 18, terrestrial time; VI, 9 of the planet’s calendar. Being put in the main group under Miller, I received my equipment—watch tuned to Venus’s slightly quicker rotation—and went through the usual mask drill. After two days I was pronounced fit for duty.
Leaving the Crystal Company’s post at Terra Nova around dawn, VI, 12, I followed the southerly route which Anderson had mapped out from the air. The going was bad, for these jungles are always half impassable after a rain. It must be the moisture that gives the tangled vines and creepers that leathery toughness; a toughness so great that a knife has to work ten minutes on some of them. By noon it was dryer—the vegetation getting soft and rubbery so that the knife went through it easily—but even then I could not make much speed. These Carter oxygen masks are too heavy—just carrying one half wears an ordinary man out. A Dubois mask with sponge-reservoir instead of tubes would give just as good air at half the weight.
Our Newsletter "Math & Data Quarterly" is prepared by our partner IMAGINARY. You can unsubscribe easily at any time.