Ian Briggs

1. Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions
   2018/12/11 by Alexey Solovyev, Marek S. Baranowski, Marek Baranowski +4 · 9 citations
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Numerical Methods and Algorithms
2. Adapted poling to break the nonlinear efficiency limit in nanophotonic lithium niobate waveguides
   2023/07/21 by Pao-Kang Chen, Chen, Pao-Kang, Ian Briggs +9 · 15 citations
   Engineering · Physics and Astronomy · #Advanced Fiber Laser Technologies #FOS: Physical sciences #Optics (physics.optics) #Photonic and Optical Devices #Photorefractive and Nonlinear Optics
3. Implementation and Synthesis of Math Library Functions
   2023/11/02 by Ian Briggs, Briggs, Ian, Yash Lad +3 · 2 citations
   Computer Science · Physics and Astronomy · #Parallel Computing and Optimization Techniques #Numerical Methods and Algorithms #Model Reduction and Neural Networks