Open AccessAutomated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator
Author(s) -
Antti Valmari
Publication year - 2021
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5220/0010493103240331
Subject(s) - operator (biology) , absolute (philosophy) , computer science , value (mathematics) , calculus (dental) , mathematics , machine learning , epistemology , medicine , biochemistry , chemistry , philosophy , dentistry , repressor , transcription factor , gene
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom