Work

Gray-Box Proving in Theorema

Year: 2024

Type: conference-paper

Source: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

DOI: 10.1109/synasc65383.2024.00026

Author: Wolfgang Windsteiger

Institution: Johannes Kepler University of Linz

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4407950624

FWCI:

Cites: 5

Cited by:

Related to: 10