I present the existence and uniqueness theorem for first-order ordinary differential equations. For an introduction to differential equations, see my video: ...
This video answers the following questions: What are differential equations? What does it mean if a function is a solution of a differential equation? Why ar...
This is an excellent tool to learn how to solve math problems. Students type the story problem. And the software is giving the answer in step-by-step solution. All the steps and explanations help students to understand how to look at a problem, see the key words, and reach to solutions. I think this can help parents to help their children in math as well.
On November 11, 1675, German mathematician and polymath Gottfried Wilhelm Leibniz demonstrates integral calculus for the first time to find the area under the graph of y = ƒ(x).
On August 21, 1789, French mathematician Augustin-Louis Cauchy was born. He is considered one of the greatest mathematicians during the nineteenth century. There are 16 concepts and theorems named for Cauchy, more than for any other mathematician. Cauchy was one of the most prolific mathematicians of all times. Cauchy wrote 789 papers, a quantity exceeded only by Euler and Cayley, which brought precision and rigor to mathematics.
This interactive tutorial will teach you how to use the sequent calculus, a simple set of rules with which you can use to show the truth of statements in first order logic. It is geared towards anyone with some background in writing software for computers, with knowledge of basic boolean logic.
U. Menne. (2017)cite arxiv:1705.05253Comment: The present text is a version with additional references but without figures of a note compiled for the Notices of the American Mathematical Society. (v4: considerably expanded introduction, 6 pages).
L. Schröder, and T. Mossakowski. Journal of Logic and Computation, 14 (4):
571--619(2004)Earlier version appeared in Martin Wirsing, Dirk Pattinson, and Rolf Hennicker (eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS vol. 2755, Springer, Berlin, 2003, pp. 425-441.
T. Mossakowski, and A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), volume 8412 of Lecture Notes in Computer Science, page 441-456. Springer-Verlag Berlin Heidelberg, (2014)
D. Lücke, and T. Mossakowski. Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), volume 222 of Frontiers in Artificial Intelligence and Applications, page 175-185. IOS Press; Amsterdam; http://www.iospress.nl, (2010)
D. Hausmann, T. Mossakowski, and L. Schröder. Algebra and Coalgebra in Computer Science, volume 3629 of Lecture Notes in Computer Science, page 232-246. Springer; Berlin, (2005)
M. Codescu, and T. Mossakowski. Algebra and Coalgebra in Computer Science, CALCO'11, volume 6859 of Lecture Notes in Computer Science, page 145-160. Springer, (2011)
D. Hestenes. Clifford Algebras and their Applications in Mathematical Physics, volume 55 of Fundamental Theories of Physics, Springer Netherlands, (1993)
G. Sobczyk. Clifford Algebras and their Applications in Mathematical Physics, volume 47 of Fundamental Theories of Physics, Springer Netherlands, (1992)
M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, volume 8802 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)
A. Rizk, and M. Fidler. In Proc. of the 2nd EuroFGI International Conference on Network Control and Optimization (NETCOOP), page 53-61. Springer, (2008)
T. Cogumbreiro, F. Martins, and V. Vasconcelos. Proceedings of Places08 - Programming Language Approaches to Concurrency and Communication-cEntric Software, (2008)
V. Damjanovic. 1st Workshop on Knowledge Reuse and Re-engineering over the Semantic Web (KRRSW 2008), (2008)in conjunction with the 5th European Semantic Web Conference (ESWC 2008), Tenerife, Canary Islands.