Media Summary: Dr. Rackauckas is a Research Affiliate and Co-PI of the This workshop brings together four speakers on different topics in In everyday language, a thing is of many types (a dog, for example, is of type mammal but also of type pet). In formal logic, types ...
Symbolic Numeric Programming In Julia - Detailed Analysis & Overview
Dr. Rackauckas is a Research Affiliate and Co-PI of the This workshop brings together four speakers on different topics in In everyday language, a thing is of many types (a dog, for example, is of type mammal but also of type pet). In formal logic, types ... This talk was part of SciMLCon 2022! For more information, check out For more information on the ... This talk was given as part of JuliaCon 2021. Abstract: Symbolics. Presentation for the 31st AAS/AIAA Space Flight Mechanics Meeting on February 1-3, 2021.