Open AccessAn efficient algorithm for testing the truth of assertions for real numbers expressed in relational signatures
Author(s) -
Александр Николаевич Коварцев
Publication year - 2014
Publication title -
kompʹûternaâ optika
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.491
H-Index - 29
eISSN - 2412-6179
pISSN - 0134-2452
DOI - 10.18287/0134-2452-2014-38-3-550-554
Subject(s) - assertion , algorithm , computer science , transcendental number , algebraic number , contrast (vision) , truth value , theoretical computer science , mathematics , artificial intelligence , programming language , mathematical analysis