home.social

Search

89 results for “chrisrackauckas”

  1. @chrisrackauckas The excellent blog post above explains in detail why implicit ODE solvers are considered more robust than explicit ODE solvers (because they do better on linear problems) and why this is NOT true for all problems (roughly speaking, nonlinear problems can behave differently for linear problems; see the blog post for a better explanation which does not fit here).

    An extreme example are exponential integrators, which have perfect stability for linear problems (because they use the analytical solution of linear ODEs). Nevertheless, exponential integrators still suffer from stability problems for nonlinear problems.

    #NumericalAnalysis #ODEsolver #NumericalIntegration #ExponentialIntegrator

  2. Join us for a Dyad Modeling Livestream today - this time at 1pm ET / 10 am PT! Michael Tiller will joining us today to model a hybrid-EV powertrain!

    Tune in on YouTube and send us your thoughts in the chat!

    youtube.com/watch?v=qLfV4K2Y4NE

  3. New fastest explicit non-stiff ODE solver? That's right, we now have something beating the pants off of the high order explicit RK methods! Check out the new symbolic-numeric optimized Taylor methods available in DifferentialEquations.jl! It uses a mix of Taylor-Mode AD, a symbolic post-processing trick, and a new order adaptivity algorithm to give a new level of performance.

    See the paper: arxiv.org/abs/2602.04086

  4. New fastest explicit non-stiff ODE solver? That's right, we now have something beating the pants off of the high order explicit RK methods! Check out the new symbolic-numeric optimized Taylor methods available in DifferentialEquations.jl! It uses a mix of Taylor-Mode AD, a symbolic post-processing trick, and a new order adaptivity algorithm to give a new level of performance.

    See the paper: arxiv.org/abs/2602.04086

    #julialang #diffeq #sciml

  5. New fastest explicit non-stiff ODE solver? That's right, we now have something beating the pants off of the high order explicit RK methods! Check out the new symbolic-numeric optimized Taylor methods available in DifferentialEquations.jl! It uses a mix of Taylor-Mode AD, a symbolic post-processing trick, and a new order adaptivity algorithm to give a new level of performance.

    See the paper: arxiv.org/abs/2602.04086

    #julialang #diffeq #sciml

  6. New fastest explicit non-stiff ODE solver? That's right, we now have something beating the pants off of the high order explicit RK methods! Check out the new symbolic-numeric optimized Taylor methods available in DifferentialEquations.jl! It uses a mix of Taylor-Mode AD, a symbolic post-processing trick, and a new order adaptivity algorithm to give a new level of performance.

    See the paper: arxiv.org/abs/2602.04086

    #julialang #diffeq #sciml

  7. New fastest explicit non-stiff ODE solver? That's right, we now have something beating the pants off of the high order explicit RK methods! Check out the new symbolic-numeric optimized Taylor methods available in DifferentialEquations.jl! It uses a mix of Taylor-Mode AD, a symbolic post-processing trick, and a new order adaptivity algorithm to give a new level of performance.

    See the paper: arxiv.org/abs/2602.04086

    #julialang #diffeq #sciml

  8. Is your software stack ready? The differential equation solvers are able to to not only target CPUs, GPUs, and IPUs with good performance, but quantum computers as well through the QuDiffEq.jl backend without changing your code. Check out this work where a group of researchers tested its accuracy for modeling power systems dynamics, showing its correctness and readiness for real-world DAEs!

    arxiv.org/abs/2306.01961

  9. Introducing SymbolicSMT.jl for symbolic constraint solving and theorem proving! Built on Z3, test the feasibility of symbolic expressions built using Symbolics.jl. Given Constraints([x > 0, y > 0, x^2 + y^2 <= 1]), ask issatisfiable? isprovable?

    sciml.ai/news/2025/09/15/symbo

  10. Earn money working on open source software ! New project just posted: help make wrappers to connect Symbolics.jl to SymPy. $300 bounty. Information for signing up for the small grants program are contained in the link:

    sciml.ai/small_grants/#create_

  11. Physics-Informed Neural Surrogates for Mesh-Invariant Modeling of High-Speed Flows at !

    High-speed flight simulation is computationally brutal. A single CFD run can take hours on a cluster. That's fine for final validation, but not for early design exploration or real-time decision-making.

    Neural surrogate that predicts aerodynamic behavior 595x faster than CFD while maintaining ~1% relative error.

    Paper: lnkd.in/efe2Q_T9

  12. Sundials.jl v5.0: Update to SUNDIALS v7 and Improved DAE Initialization

    A major update that brings significant improvements to differential-algebraic equation (DAE) solving and upgrades to the latest Sundials C library

    sciml.ai/news/2025/09/17/sundi

  13. Can Agentic AI turn single purpose code into reusable modular code? Dyad's specialized AI can!

    Watch our latest video on AI-assisted model restructuring and physics enhancement:
    youtube.com/watch?v=0RdA-t9_Voc

    Learn more: help.juliahub.com/dyad/stable/

    #ModelingAndSimulation #AIAgent #JuliaLang #SciML #Dyad #SystemsEngineering #Modelica

  14. Can Agentic AI turn single purpose code into reusable modular code? Dyad's specialized AI can!

    Watch our latest video on AI-assisted model restructuring and physics enhancement:
    youtube.com/watch?v=0RdA-t9_Voc

    Learn more: help.juliahub.com/dyad/stable/

  15. Can Agentic AI turn single purpose code into reusable modular code? Dyad's specialized AI can!

    Watch our latest video on AI-assisted model restructuring and physics enhancement:
    youtube.com/watch?v=0RdA-t9_Voc

    Learn more: help.juliahub.com/dyad/stable/

    #ModelingAndSimulation #AIAgent #JuliaLang #SciML #Dyad #SystemsEngineering #Modelica

  16. Can Agentic AI turn single purpose code into reusable modular code? Dyad's specialized AI can!

    Watch our latest video on AI-assisted model restructuring and physics enhancement:
    youtube.com/watch?v=0RdA-t9_Voc

    Learn more: help.juliahub.com/dyad/stable/

    #ModelingAndSimulation #AIAgent #JuliaLang #SciML #Dyad #SystemsEngineering #Modelica

  17. Can Agentic AI turn single purpose code into reusable modular code? Dyad's specialized AI can!

    Watch our latest video on AI-assisted model restructuring and physics enhancement:
    youtube.com/watch?v=0RdA-t9_Voc

    Learn more: help.juliahub.com/dyad/stable/

    #ModelingAndSimulation #AIAgent #JuliaLang #SciML #Dyad #SystemsEngineering #Modelica

  18. #Dyad #SciML tutorial! Use Dyad's graphical/textual #acausal system to build models from validated model components and transform into your #digitaltwin!

    #Dyad = component-based modeling tool (e.g. #Modelica, #Amesim, #Simulink) + AI/ML autocomplete!

    youtube.com/watch?v=ttQIE3UMCFU

  19. tutorial! Use Dyad's graphical/textual system to build models from validated model components and transform into your !

    = component-based modeling tool (e.g. , , ) + AI/ML autocomplete!

    youtube.com/watch?v=ttQIE3UMCFU

  20. #Dyad #SciML tutorial! Use Dyad's graphical/textual #acausal system to build models from validated model components and transform into your #digitaltwin!

    #Dyad = component-based modeling tool (e.g. #Modelica, #Amesim, #Simulink) + AI/ML autocomplete!

    youtube.com/watch?v=ttQIE3UMCFU

  21. #Dyad #SciML tutorial! Use Dyad's graphical/textual #acausal system to build models from validated model components and transform into your #digitaltwin!

    #Dyad = component-based modeling tool (e.g. #Modelica, #Amesim, #Simulink) + AI/ML autocomplete!

    youtube.com/watch?v=ttQIE3UMCFU

  22. #Dyad #SciML tutorial! Use Dyad's graphical/textual #acausal system to build models from validated model components and transform into your #digitaltwin!

    #Dyad = component-based modeling tool (e.g. #Modelica, #Amesim, #Simulink) + AI/ML autocomplete!

    youtube.com/watch?v=ttQIE3UMCFU