Results 1 - 10 of 2,452 for General Search
Sorted by:
Sorted by:
Date-newestOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
- Peer-reviewed Journals (1,009)
Refined by:
collection:
ROAD: Directory of Open Access Scholarly Resources
resource type:
Conference Proceedings
resource type:
Conference Proceedings
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Conference Proceeding
|
|
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in GeometryQuaresma, Pedro ; Graziani, Pierluigi ; Nicoletti, Stefano M.Electronic proceedings in theoretical computer science, 2024, Vol.398, p.85-100Full text available |
| 2 |
Material Type: Conference Proceeding
|
|
Open Source Prover in the AtticKovács, Zoltán ; Vujic, AlexanderElectronic proceedings in theoretical computer science, 2024, Vol.398, p.53-61Full text available |
| 3 |
Material Type: Conference Proceeding
|
|
3D Space Trajectories and beyond: Abstract Art Creation with 3D PrintingDana-Picard, Thierry ; Tejera, Matias ; Ulbrich, EvaElectronic proceedings in theoretical computer science, 2024, Vol.398, p.142-152Full text available |
| 4 |
Material Type: Conference Proceeding
|
|
The Locus Story of a Rocking Camel in a Medical Center in the City of FreistadtKäferböck, Anna ; Kovács, ZoltánElectronic proceedings in theoretical computer science, 2024, Vol.398, p.132-141Full text available |
| 5 |
Material Type: Conference Proceeding
|
|
Towards Automatic Transformations of Coq Proof ScriptsMagaud, NicolasElectronic proceedings in theoretical computer science, 2024, Vol.398, p.4-10Full text available |
| 6 |
Material Type: Conference Proceeding
|
|
Towards Automated Readable Proofs of Ruler and Compass ConstructionsMarinković, Vesna ; Šukilović, Tijana ; Marić, FilipElectronic proceedings in theoretical computer science, 2024, Vol.398, p.11-20Full text available |
| 7 |
Material Type: Conference Proceeding
|
|
Using GXWeb for Theorem Proving and Mathematical ModellingTodd, Philip ; Aley, DannyElectronic proceedings in theoretical computer science, 2024, Vol.398, p.38-42Full text available |
| 8 |
Material Type: Conference Proceeding
|
|
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra DiscoveryHota, Amela ; Kovács, Zoltán ; Vujic, AlexanderElectronic proceedings in theoretical computer science, 2024, Vol.398, p.110-123Full text available |
| 9 |
Material Type: Conference Proceeding
|
|
Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint SolvingTabet Gonzalez, Salwa ; Janičić, Predrag ; Narboux, JulienElectronic proceedings in theoretical computer science, 2024, Vol.398, p.21-37Full text available |
| 10 |
Material Type: Conference Proceeding
|
|
Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons LearnedAriño-Morera, Belén ; Kovács, Zoltán ; Recio, Tomás ; Tolmos, PiedadElectronic proceedings in theoretical computer science, 2024, Vol.398, p.101-109Full text available |
Results 1 - 10 of 2,452 for General Search
Sorted by:
Sorted by:
Date-newestOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Show only
- Peer-reviewed Journals (1,009)
Refine My Results
Subject
- Science & Technology (2,451)
- Technology (2,449)
- Computer Science (2,434)
- Computer Science, Theory & Methods (2,433)
- Engineering (964)
- Engineering, Electrical & Electronic (728)
- Computer Science, Information Systems (441)
- Computer Science, Artificial Intelligence (301)
- Telecommunications (289)
- Mathematical Models (223)
- Materials Science (204)
- Materials Science, Multidisciplinary (204)
- Computer Simulation (181)
- Computer Science, Hardware & Architecture (145)
- Algorithms (141)
- Mathematical Analysis (107)
- Engineering, Manufacturing (101)
- Automation & Control Systems (101)
- Optimization (89)
- Software (85)
-
More options
Creation Date
- Before2011 (268)
- 2011To2013 (142)
- 2014To2016 (582)
- 2017To2020 (822)
- After 2020 (639)
-
More options
Database/Library
- DOAJ Directory of Open Access Journals (2,042)
- EZB Electronic Journals Library (1,749)
- IngentaConnect Journals (997)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (653)
- EDP Sciences (650)
- Materials Research Database (596)
- Engineered Materials Abstracts (577)
- METADEX (574)
- IEEE Electronic Library (IEL) Conference Proceedings (163)
- Aerospace Database (30)
- Environmental Engineering Abstracts (22)
- Materials Business File (8)
- Recercat (6)
- Aluminium Industry Abstracts (6)
- EBSCOhost Computers and Applied Sciences Complete (3)
- ScienceDirect (3)
- Pollution Abstracts (2)
- Free E- Journals (2)
- arXiv.org (2)
-
More options
Language
- Japanese (4)
- Norwegian (1)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 