AceFEMManual
Joint work with Andre Lieutier Dassault Systemes Domain Theory and Differential Calculus Abbas Edalat Imperial College ae Oxford.
University of Stuttgart A Statistics Propagation Approach to Enable Cost-Based Optimization of Statement Sequences Tobias Kraft, Holger Schwarz, Bernhard.
Interactive mathematica
Reliable Computing 17 Pp 192 208
Id Solve
Saxena
Mathematics and Algorithms
Structure and interpretation of computer programs 2nd edition
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs Mohamed Zaki, Ghiath Al Sammane, Sofiene Tahar, Guy Bois FMCAD'07.
Verification of Mixed-Signal Systems with Range Based Signal Representations Michael Kärgel, Markus Olbrich, Erich Barke.
State estimation with fleeting data. 05/12/20152 > Plan 1.Introduction 2.Approach used: fleeting data and tubes 3.Demo 4.Conclusion.