Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030510534, 9783030510541
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Algebraically Closed Fields in Isabelle/HOL

2020 ◽  
pp. 204-220
Author(s):  
Paulo Emílio de Vilhena ◽  
Lawrence C. Paulson
Keyword(s):  
Closed Fields ◽  
Algebraically Closed Fields

scholarly journals Formal Proof of the Group Law for Edwards Elliptic Curves

2020 ◽  
pp. 254-269
Author(s):  
Thomas Hales ◽  
Rodrigo Raya
Keyword(s):  
Elliptic Curves ◽  
Formal Proof ◽  
Group Law

scholarly journals The Imandra Automated Reasoning System (System Description)

2020 ◽  
pp. 464-471 ◽  
Author(s):  
Grant Passmore ◽  
Simon Cruanes ◽  
Denis Ignatovich ◽  
Dave Aitken ◽  
Matt Bray ◽  
...  
Keyword(s):  
Automated Reasoning ◽  
System Description ◽  
Reasoning System

scholarly journals Implementing Superposition in iProver (System Description)

2020 ◽  
pp. 388-397
Author(s):  
André Duarte ◽  
Konstantin Korovin
Keyword(s):  
System Description

scholarly journals N-PAT: A Nested Model-Checker

2020 ◽  
pp. 369-377
Author(s):  
Hadrien Bride ◽  
Cheng-Hao Cai ◽  
Jin Song Dong ◽  
Rajeev Gore ◽  
Zhé Hóu ◽  
...  
Keyword(s):  
Model Checker ◽  
Nested Model

scholarly journals Formalization of Forcing in Isabelle/ZF

2020 ◽  
pp. 221-235
Author(s):  
Emmanuel Gunther ◽  
Miguel Pagano ◽  
Pedro Sánchez Terraf

scholarly journals Prolog Technology Reinforcement Learning Prover

2020 ◽  
pp. 489-507
Author(s):  
Zsolt Zombori ◽  
Josef Urban ◽  
Chad E. Brown
Keyword(s):  
Reinforcement Learning

scholarly journals mu-term: Verify Termination Properties Automatically (System Description)

2020 ◽  
pp. 436-447
Author(s):  
Raúl Gutiérrez ◽  
Salvador Lucas
Keyword(s):  
System Description

scholarly journals Automatically Proving and Disproving Feasibility Conditions

2020 ◽  
pp. 416-435 ◽  
Author(s):  
Raúl Gutiérrez ◽  
Salvador Lucas
Load More ...
Sign in / Sign up

Export Citation Format

Share Document