skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Results 1 - 20 of 256,003  for All Library Resources

Sorted by: Sorted by: Date-newestOr hit Enter to replace sort method
Results 1 2 3 4 5 next page
Show only
Refined by: resource type: Conference Proceedings remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A comparative study of frames and narratives identified within scientific press releases on ocean climate change and ocean plastic
A comparative study of frames and narratives identified within scientific press releases on ocean climate change and ocean plastic
Material Type:
Conference Proceeding 		Add to My Research

A comparative study of frames and narratives identified within scientific press releases on ocean climate change and ocean plastic

info:eu-repo/semantics/OpenAccess

Digital Resources/Online E-Resources

Citations Cited by
2
Open Source Prover in the Attic
Open Source Prover in the Attic
Material Type:
Conference Proceeding 		Add to My Research

Open Source Prover in the Attic

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.53-61

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.398.9

Full text available

Citations Cited by
3
Towards an Independent Version of Tarski's System of Geometry
Towards an Independent Version of Tarski's System of Geometry
Material Type:
Conference Proceeding 		Add to My Research

Towards an Independent Version of Tarski's System of Geometry

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.73-84

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.398.11

Full text available

Citations Cited by
4
Towards Automatic Transformations of Coq Proof Scripts
Towards Automatic Transformations of Coq Proof Scripts
Material Type:
Conference Proceeding 		Add to My Research

Towards Automatic Transformations of Coq Proof Scripts

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.4-10

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.398.4

Full text available

Citations Cited by
5
Using GXWeb for Theorem Proving and Mathematical Modelling
Using GXWeb for Theorem Proving and Mathematical Modelling
Material Type:
Conference Proceeding 		Add to My Research

Using GXWeb for Theorem Proving and Mathematical Modelling

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.38-42

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.398.7

Full text available

Citations Cited by
6
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
Material Type:
Conference Proceeding 		Add to My Research

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.85-100

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.398.12

Full text available

Citations Cited by
7
Towards Automated Readable Proofs of Ruler and Compass Constructions
Towards Automated Readable Proofs of Ruler and Compass Constructions
Material Type:
Conference Proceeding 		Add to My Research

Towards Automated Readable Proofs of Ruler and Compass Constructions

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.11-20

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.398.5

Full text available

Citations Cited by
8
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
Material Type:
Conference Proceeding 		Add to My Research

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.110-123

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.398.14

Full text available

Citations Cited by
9
Theorem Discovery Amongst Cyclic Polygons
Theorem Discovery Amongst Cyclic Polygons
Material Type:
Conference Proceeding 		Add to My Research

Theorem Discovery Amongst Cyclic Polygons

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.153-164

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.398.18

Full text available

Citations Cited by
10
Improving Angular Speed Uniformity by Piecewise Radical Reparameterization
Improving Angular Speed Uniformity by Piecewise Radical Reparameterization
Material Type:
Conference Proceeding 		Add to My Research

Improving Angular Speed Uniformity by Piecewise Radical Reparameterization

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.165-178

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.398.19

Full text available

Citations Cited by
11
Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers
Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers
Material Type:
Conference Proceeding 		Add to My Research

Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.62-72

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.398.10

Full text available

Citations Cited by
12
3D Space Trajectories and beyond: Abstract Art Creation with 3D Printing
3D Space Trajectories and beyond: Abstract Art Creation with 3D Printing
Material Type:
Conference Proceeding 		Add to My Research

3D Space Trajectories and beyond: Abstract Art Creation with 3D Printing

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.142-152

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.398.17

Full text available

Citations Cited by
13
The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
Material Type:
Conference Proceeding 		Add to My Research

The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.132-141

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.398.16

Full text available

Citations Cited by
14
Showing Proofs, Assessing Difficulty with GeoGebra Discovery
Showing Proofs, Assessing Difficulty with GeoGebra Discovery
Material Type:
Conference Proceeding 		Add to My Research

Showing Proofs, Assessing Difficulty with GeoGebra Discovery

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.43-52

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.398.8

Full text available

Citations Cited by
15
Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
Material Type:
Conference Proceeding 		Add to My Research

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.21-37

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.398.6

Full text available

Citations Cited by
16
Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
Material Type:
Conference Proceeding 		Add to My Research

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.101-109

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.398.13

Full text available

Citations Cited by
17
Using Java Geometry Expert as Guide in the Preparations for Math Contests
Using Java Geometry Expert as Guide in the Preparations for Math Contests
Material Type:
Conference Proceeding 		Add to My Research

Using Java Geometry Expert as Guide in the Preparations for Math Contests

Electronic proceedings in theoretical computer science, 2024, Vol.398, p.124-131

ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.398.15

Full text available

Citations Cited by
18
Memory Simulations, Security and Optimization in a Verified Compiler
Memory Simulations, Security and Optimization in a Verified Compiler
Material Type:
Conference Proceeding 		Add to My Research

Memory Simulations, Security and Optimization in a Verified Compiler

Distributed under a Creative Commons Attribution 4.0 International License ;ISBN: 9798400704888 ;DOI: 10.1145/3636501.3636952

Digital Resources/Online E-Resources

Citations Cited by
19
Monitoring edge-geodetic sets in graphs: extremal graphs, bounds, complexity
Monitoring edge-geodetic sets in graphs: extremal graphs, bounds, complexity
Material Type:
Conference Proceeding 		Add to My Research

Monitoring edge-geodetic sets in graphs: extremal graphs, bounds, complexity

Lecture Notes in Computer Science, 2024, Vol.14508, p.29-43 [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-031-52213-0_3

Digital Resources/Online E-Resources

Citations Cited by
20
Antiproton at rest and in-flight within Intra-Nuclear Cascade Liege model (INCL)
Antiproton at rest and in-flight within Intra-Nuclear Cascade Liege model (INCL)
Material Type:
Conference Proceeding 		Add to My Research

Antiproton at rest and in-flight within Intra-Nuclear Cascade Liege model (INCL)

EPJ Web of conferences, 2024, Vol.292, p.09003 [Peer Reviewed Journal]

EISSN: 2100-014X ;DOI: 10.1051/epjconf/202429209003

Full text available

Citations Cited by

Results 1 - 20 of 256,003  for All Library Resources

Sorted by: Sorted by: Date-newestOr hit Enter to replace sort method
Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (159,216)

Refine My Results

Creation Date 

From To
Refine
  1. Before 1987  (2,111)
  2. 1987 To 1995  (23,902)
  3. 1996 To 2004  (80,755)
  4. 2005 To 2014  (87,570)
  5. After 2014  (66,679)
  6. More options open sub menu

Language 

  1. English  (255,965)
  2. Japanese  (2,516)
  3. French  (359)
  4. German  (212)
  5. Italian  (195)
  6. Norwegian  (106)
  7. Russian  (85)
  8. Spanish  (84)
  9. Swedish  (6)
  10. Catalan  (4)
  11. Portuguese  (3)
  12. Welsh  (1)
  13. Danish  (1)
  14. Arabic  (1)
  15. Czech  (1)
  16. Chinese  (1)
  17. More options open sub menu
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY (84-028) 37 755 057 Feedback
19 Nguyen Huu Tho St. Dist.7, HCM thuvien@tdtu.edu.vn

Copyright © 2017 INSPIRE LIBRARY - TON DUC THANG UNIVERSITY

Searching Remote Databases, Please Wait