Pages that link to "Item:Q2520686"

The following pages link to Pierre Neron (Q2520686):

Displaying 7 items.

• A certifying square root and division elimination (Q2520687) (← links)
• A Theory of Name Resolution (Q2802438) (← links)
• Axiomatizing Analog Algorithms (Q3188259) (← links)
• A Formal Proof of Square Root and Division Elimination in Embedded Programs (Q4916065) (← links)
• A Formal Proof of Square Root and Division Elimination in Embedded Programs (Q5195252) (← links)
• (Q5277892) (← links)
• Square Root and Division Elimination in PVS (Q5327364) (← links)